Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TakingOff

Sigma KEE - TakingOff
TakingOff(taking off)
lift_off, liftoff, take_off, takeoff

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16656-16657
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6914-6914
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8035-8035
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8036-8036
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8037-8037
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16655-16655 Taking off is a subclass of translocation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2477-2477 The range of aborted launch is an instance of taking off
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56836-56836
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56835-56835
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56834-56834

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2476-2476 The number 2 argument of aborted launch is an instance of taking off

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1398-1407
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1409-1418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16659-16666

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 963-966


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners