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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfMass

 Sigma KEE - UnitOfMass
UnitOfMass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4064-4064
No TPTP formula. May not be expressible in strict first order. Merge.kif 6262-6265
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1093-1095
No TPTP formula. May not be expressible in strict first order. Merge.kif 6260-6260 子類 UnitOfMass and NonCompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7147-7147 例 amu and UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7264-7264 例 原子克 and UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 6701-6701 例 公克 and UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7278-7278 例 公斤 and UnitOfMass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13640-13640 例 長噸 and UnitOfMass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13624-13624 例 公噸 and UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 6747-6747 例 痣 and UnitOfMass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13349-13349 例 OunceMass and UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7293-7293 例 磅質量 and UnitOfMass
No TPTP formula. May not be expressible in strict first order. Merge.kif 7301-7301 例 金屬塊 and UnitOfMass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13615-13615 例 噸質量 and UnitOfMass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65661-65661

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7580-7580 域 AmountsFn, 3 and UnitOfMass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6365-6369
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1013-1017
No TPTP formula. May not be expressible in strict first order. Transportation.kif 996-1000

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 803-810
No TPTP formula. May not be expressible in strict first order. WMD.kif 860-867


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