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 13055-13055
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13054-13054	Ton mass is an instance of UnitOfMass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58397-58397
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58396-58396
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58395-58395

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13057-13061	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 2000.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