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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 6261-6264
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 6259-6259 UnitOfMassNonCompositeUnitOfMeasuresubclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7146-7146 AmuUnitOfMassinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7263-7263 原子克UnitOfMassinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6700-6700 公克UnitOfMassinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7277-7277 公斤UnitOfMassinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13613-13613 长吨UnitOfMassinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13597-13597 公吨UnitOfMassinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6746-6746 UnitOfMassinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13322-13322 OunceMassUnitOfMassinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7292-7292 磅质量UnitOfMassinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7300-7300 金属块UnitOfMassinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13588-13588 吨质量UnitOfMassinstance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65659-65659

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7579-7579 AmountsFn 的 3 数量 是 UnitOfMassinstance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6364-6368
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 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