LongTon - Sigma Knowledge base Browser

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 13461-13463
(instance LongTon UnitOfMass)	Mid-level-ontology.kif 13460-13460	Long ton is an instance of unit of mass

appearance as argument number 2

(termFormat ChineseLanguage LongTon "长吨")	domainEnglishFormat.kif 34993-34993
(termFormat ChineseTraditionalLanguage LongTon "長噸")	domainEnglishFormat.kif 34992-34992
(termFormat EnglishLanguage LongTon "long ton")	domainEnglishFormat.kif 34991-34991

antecedent

(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))

Transportation.kif 2637-2643

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 13465-13469	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)