# 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