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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13613-13615
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13612-13612	LongTon e' uma instancia de UnitOfMass

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

navigableForShippingTonnage Area Aquatica and Numero Real LongTon(s) WaterVehicle e' uma instancia de WaterVehicle vesselDisplacement WaterVehicle and Numero Real LongTon(s) Numero Real e' menor ou igual a Numero Real
Area Aquatica e' capaz de fazer TripFn WaterVehicle no role path

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1013-1017	Unidade de Medida e' uma instancia de UnitOfMass fleetDeadWeightTonnage Colecao and Numero Real Unidade de Medida(s) Unidade de Medida e' igual a LongTon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13617-13621	Numero Real e' igual a 1.0 + Numero Real Numero Real LongTon(s) e' igual a Numero Real + 2240.0 PoundMass(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