TreeView Knowledge Base Browser - TonMass

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TonMass

TonMass(ton mass)

net_ton, short_ton, ton

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13589-13589
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13588-13588	Ton mass is an instance of unit of mass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58430-58430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58429-58429
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58428-58428

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13591-13595	If a real number is equal to 1.0 and the real number, then the real number ton mass(s) is equal to the real number and 2205.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1662-1674	If a self connected object is an instance of Amphibious Assault Vehicle, then the length of the self connected object is 7.94 meter(s) and the width of the self connected object is 3.27 meter(s) and 22.8 ton mass(s) is a weight of the self connected object and the height of the self connected object is 3.26 meter(s) and 480.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1992-1995	If a vehicle is an instance of LCAC, then 60.0 ton mass(s) is a maximum payload capacity of the vehicle

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