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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Deboarding
Deboarding(deboarding)get_off

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17419-17420
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17417-17417 Deboarding is a subclass of translocation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17418-17418 Boarding is internally related to deboarding
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18804-18804
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18803-18803
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18802-18802

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17427-17439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17421-17425

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1989-2000


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



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