    # 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