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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OunceMass
OunceMass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13323-13323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13322-13322 OunceMassUnitOfMassinstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13324-13324

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13326-13331 物理measure 实数 OunceMass 若且唯若 那个 物理measure那个 实数 和 16.0 磅质量

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13333-13336 对所有 实数 那个 实数 OunceMass equal 那个 实数 和 16.0 磅质量


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