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

KB Term:  Term intersection
English Word: 

Sigma KEE - fleetDeadWeightTonnage
fleetDeadWeightTonnage

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


(instance fleetDeadWeightTonnage BinaryPredicate) Transportation.kif 1002-1002 fleet dead weight tonnage is an instance of binary predicate
(domain fleetDeadWeightTonnage 1 CollectionOfObjects) Transportation.kif 1003-1003 The number 1 argument of fleet dead weight tonnage is an instance of collection
(domain fleetDeadWeightTonnage 2 MassMeasure) Transportation.kif 1004-1004 The number 2 argument of fleet dead weight tonnage is an instance of mass measure
(subrelation fleetDeadWeightTonnage measure) Transportation.kif 1005-1005 fleet dead weight tonnage is a subrelation of measure
(documentation fleetDeadWeightTonnage EnglishLanguage "(fleetDeadWeightTonnage ?FLEET ?AMOUNT) means that the CollectionOfObjects of Ships ?FLEET has a total carrying capacity of ?AMOUNT in LongTons. This is the total vesselDeadWeightTonnage of all the vessels combined. Dead Weight Tonnage, or DWT, is the weight of cargo plus stores that a vessel can carry when immersed to the proper load line.") Transportation.kif 1006-1011 fleet dead weight tonnage is a subrelation of measure

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


(format EnglishLanguage fleetDeadWeightTonnage "%2 is %n a fleet dead weight tonnage of %1") domainEnglishFormat.kif 1051-1051
(format ChineseTraditionalLanguage fleetDeadWeightTonnage "%2 %n 是 %1 的 fleet 載重噸位") domainEnglishFormat.kif 1052-1052
(format ChineseLanguage fleetDeadWeightTonnage "%2 %n 是 %1 的 fleet 载重吨位") domainEnglishFormat.kif 1053-1053
(termFormat EnglishLanguage fleetDeadWeightTonnage "fleet dead weight tonnage") domainEnglishFormat.kif 24214-24214
(termFormat ChineseTraditionalLanguage fleetDeadWeightTonnage "艦隊載重噸位") domainEnglishFormat.kif 24215-24215
(termFormat ChineseLanguage fleetDeadWeightTonnage "舰队载重吨位") domainEnglishFormat.kif 24216-24216

antecedent
-------------------------


(=>
    (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
(=>
    (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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners