Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  LongTon

 Sigma KEE - LongTon
LongTon(long ton)gross_ton, long_ton, ton

appearance as argument number 1
-------------------------


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

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


(termFormat EnglishLanguage LongTon "long ton") domainEnglishFormat.kif 35017-35017
(termFormat ChineseTraditionalLanguage LongTon "長噸") domainEnglishFormat.kif 35018-35018
(termFormat ChineseLanguage LongTon "长吨") domainEnglishFormat.kif 35019-35019

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 2784-2794 If X long ton(s) is a fleet dead weight tonnage of Y, Z long ton(s) is a vessel dead weight tonnage of W, and W is a member of Y, then there exists V such that V is an instance of list, Z is a member of V, equal X, and the sum of V
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))		 Transportation.kif 3711-3717 If X long ton(s) is a navigable for shipping tonnage of Y, Z is an instance of water vehicle, W long ton(s) is a vessel displacement of Z, and W is less than or equal to X, then Y is capable of doing the trip of Z as a path

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


(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER LongTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2240.0) PoundMass)))		 Mid-level-ontology.kif 15181-15185 If equal X, 1.0, and X, then equal X long ton(s) and X and 2240.0 pound mass(s)
(=>
    (and
        (instance ?UNIT UnitOfMass)
        (fleetDeadWeightTonnage ?FLEET
            (MeasureFn ?NUMBER ?UNIT)))
    (equal ?UNIT LongTon))		 Transportation.kif 1013-1017 If X is an instance of unit of mass and Y X(s) is a fleet dead weight tonnage of Z, then equal X and long ton


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners