# 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