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


# How do I get from my house to the airport?

# 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 ask for the address of my house, and
# to find the airport closest to my house.


ke$ set echo=off, kbmode=opencyc;
ke$ do opencyc od server from airport done;

######## initial MKR question
#####ke$ at time = future {
#####ke$     I do go from my house to the airport
#####ke>	with how = ?
#####ke>     done;
#####ke> };
#####ke$ 

######## simplify the question
#####ke$ I do go from house to airport
#####ke>    with how = ?
#####ke> done;
#####ke$ 

####### map MKR terms to OpenCyc terms (MKE input)
CYC(1): I-TheWord do Translation-LocationChange
CYC(1):     from fromLocation = HumanResidence
CYC(1):     to   toLocation   = Airport-Physical
CYC(1):     with planForTask = ?
CYC(1): done;

####### map MKR syntax to CycL syntax (OpenCyc input)
CYC(1): (#$planForTask ?plan
CYC(1):     (#$Translation-LocationChange #$I-TheWord
CYC(1):         (#$fromLocation #$HumanResidence)
CYC(1):         (#$toLocation   #$Airport-Physical)
CYC(1):      )
CYC(1): )

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