# KEHOME/knowledge/applications/SemanticWeb/OpenCyc/WhyChicken.html
# Aug/29/2003


# Why did the chicken cross the road?

# tools used: MKE, OpenCyc
# Notes:
# OpenCyc is accessed using
#    ke$ do opencyc od server from world done;
# 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;
ke$ do opencyc od server from chicken done;

######## initial MKR question
#####ke$ at time = past {
#####ke> 	the chicken do cross od the road
#####ke>	    with why = ?
#####ke> 	done;
#####ke> };
#####ke$ 

######## simplify the question
#####ke$ chicken do cross od road
#####ke>    with why = ?
#####ke> done;
#####ke$ 

####### map MKR terms to OpenCyc terms (MKE input)
CYC(1): Chicken isa NonPersonAnimal;
CYC(2): CrossRegion isa Translation-LocationChange with SpaceRegion-Empirical;
CYC(3): Chicken do CrossRegion od Roadway
CYC(3):    with intends = ?
CYC(3): done;

####### map MKR syntax to CycL syntax (OpenCyc input)
CYC(1): (ke-create-now "Chicken")
CYC(2): (isa #$Chicken #$NonPersonAnimal)
CYC(3): (ke-create-now "CrossRegion")
CYC(4): (defnIff #$CrossRegion (and
CYC(4):     (isa #$CrossRegion #$Translation-LocationChange)
CYC(4):     (#$hasAttributes #$CrossRegion #$SpaceRegion-Empirical) ))
CYC(5): (#$intends ?STM
CYC(5):     (#$CrossRegion #$Chicken #$Roadway) )

# OpenCyc response
Status: Suspended, Exhaust
Mt: UniversalVocabularyMt
No answers