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

Formal Language: 



KB Term:  Term intersection
English Word: 

  onboard

 Sigma KEE - onboard
onboard

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17399-17400
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17401-17401 域 在船上, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17402-17402 域 在船上, 2 and 車輛
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17403-17403 例 在船上 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17404-17404 子關係 在船上 and 位於

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4022-4022
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4021-4021
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4020-4020
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42120-42120
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42119-42119
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42118-42118

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17410-17415
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17406-17408

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