    # 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