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

(documentation LongTon EnglishLanguage "LongTon is the UnitOfMeasure, equal to 2,240 PoundMass, which is used to measure Dead Weight Tonnage capacity of Ships.")	Mid-level-ontology.kif 13832-13834
(instance LongTon UnitOfMass)	Mid-level-ontology.kif 13831-13831	Long ton is an instance of unit of mass

appearance as argument number 2

(termFormat ChineseLanguage LongTon "长吨")	domainEnglishFormat.kif 35049-35049
(termFormat ChineseTraditionalLanguage LongTon "長噸")	domainEnglishFormat.kif 35048-35048
(termFormat EnglishLanguage LongTon "long ton")	domainEnglishFormat.kif 35047-35047

antecedent

(=> (and (fleetDeadWeightTonnage ?FLEET (MeasureFn ?T LongTon)) (vesselDeadWeightTonnage ?VESSEL (MeasureFn ?X LongTon)) (member ?VESSEL ?FLEET)) (exists (?L) (and (instance ?L List) (inList ?X ?L) (equal ?T (ListSumFn ?L)))))	Transportation.kif 2729-2739	If a real number long ton(s) is a fleet dead weight tonnage of a collection and another real number long ton(s) is a vessel dead weight tonnage of a water vehicle and the water vehicle is a member of the collection, then there exists a list such that the list is an instance of list and the other real number is a member of the list and the real number is equal to the sum of the list
(=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY))	Transportation.kif 3159-3165	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

(=> (and (instance ?UNIT UnitOfMass) (fleetDeadWeightTonnage ?FLEET (MeasureFn ?NUMBER ?UNIT))) (equal ?UNIT LongTon))	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
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass)))	Mid-level-ontology.kif 13836-13840	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