# 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