LongTon - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LongTon

LongTon(long ton)

gross_ton, long_ton, ton

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13614-13616
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13613-13613	Long ton 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 35015-35015
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35014-35014
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35013-35013

antecedent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 2637-2643

If a real number long ton(s) is a navigable for shipping tonnage of a water area and a water vehicle is an instance of water vehicle and another real number long ton(s) is a vessel displacement of the water vehicle and the other real number is less than or equal to the real number,
then the water area is capable of doing the trip of the water vehicle as a path

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1013-1017	If an unit of measure is an instance of unit of mass and a real number the unit of measure(s) is a fleet dead weight tonnage of a collection, then the unit of measure is equal to long ton
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13618-13622	If a real number is equal to 1.0 and the real number, then the real number long ton(s) is equal to the real number and 2240.0 pound mass(s)

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