# KEHOME/knowledge/applications/SemanticWeb/OpenCyc/WhyChicken.html
# Aug/25/2003
# Why did the chicken cross the road?
# tools used: MKE, OpenCyc
# Notes:
# MKE/OpenCyc is a manual interface at this time,
# using http://rhm.cdepot.net/bin/opencyc
# $ opencyc server
# $ opencyc browser
# OpenCyc does not have enough "common-sense"
# to label this as a joke, or to reason about
# the capabilities of nonhuman animals.
ke$ set echo=off, kbmode=opencyc;
# initial MKR question
ke$ at time = past {
ke> the chicken do cross od the road
ke> with why = ?
ke> done;
ke> };
ke$
# map MKR terms to OopenCyc terms
ke$ Chicken isa NonPersonAnimal;
ke$ CrossRegion isa Translation-LocationChange with SpaceRegion-Empirical;
ke$ at TimeInterval = pastTense-Generic {
ke> the Chicken do CrossRegion od the Roadway
ke> with intends = ?
ke> done;
ke> };
ke$
# map MKR syntax to CycL syntax
(isa Chicken NonPersonAnimal)
#(definition CrossRegion Translation-LocationChange SpaceRegion-Empirical)
(defnIff CrossRegion (and
(isa CrossRegion Translation-LocationChange)
(hasAttributes CrossRegion SpaceRegion-Empirical) ))
(intends ?stm
(TimeInterval pastTense-Generic
(CrossRegion (the Chicken) (the Roadway)) ))
# simplify CycL question
(isa Chicken NonPersonAnimal)
#(definition CrossRegion Translation-LocationChange SpaceRegion-Empirical)
(defnIff CrossRegion (and
(isa CrossRegion Translation-LocationChange)
(hasAttributes CrossRegion SpaceRegion-Empirical) ))
(intends ?stm (CrossRegion Chicken Roadway))
# response from OpenCyc
Status: Suspended, Exhaust
Mt: UniversalVocabularyMt
No answers