TreeView Knowledge Base Browser - Landing

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Landing

Landing(landing)

GCA, aircraft_landing, airplane_landing, crash_land, crash_landing, ditch, emergency_landing, force-land, forced_landing, ground-controlled_approach, instrument_landing, land, landing_approach, port, set_down, splashdown, three-point_landing, touch_down, touchdown, undershoot

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17250-17251
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4761-4761
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17249-17249	Landing is a subclass of translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33223-33223
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33222-33222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33221-33221

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 17253-17260

If a process is an instance of landing,
then there exist an entity and another process such that the entity is not an instance of atmospheric region and the process is located at the entity holds during the end of the time of existence of the process and the other process is a subprocess of the process and the other process is an instance of flying

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