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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TakingOff

Sigma KEE - TakingOff
TakingOff

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17236-17237
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6913-6913
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8034-8034
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. Mid-level-ontology.kif 17235-17235 TakingOff est une sous-classe de Translocation

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2478-2478 Le domaine de AbortedLaunchFn est une instance de TakingOff
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56857-56857
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56856-56856
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56855-56855

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2477-2477 Le nombre 2 argument de AbortedLaunchFn est une instance de TakingOff

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 17239-17246

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