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 11209-11211
(instance LongTon UnitOfMass) Mid-level-ontology.kif 11208-11208 Long ton is an instance of UnitOfMass

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage LongTon "长吨") domainEnglishFormat.kif 34927-34927 "长吨" is the printable form of long ton in ChineseLanguage
(termFormat ChineseTraditionalLanguage LongTon "長噸") domainEnglishFormat.kif 34926-34926 "長噸" is the printable form of long ton in ChineseTraditionalLanguage
(termFormat EnglishLanguage LongTon "long ton") domainEnglishFormat.kif 34925-34925 "long ton" is the printable form of long ton in english language

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 2578-2584

consequent
-------------------------


(=>
    (and
        (instance ?UNIT UnitOfMass)
        (fleetDeadWeightTonnage ?FLEET
            (MeasureFn ?NUMBER ?UNIT)))
    (equal ?UNIT LongTon))
Transportation.kif 987-991
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER LongTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2240) PoundMass)))
Mid-level-ontology.kif 11213-11217


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners