Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fleetDeadWeightTonnage
fleetDeadWeightTonnage

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


(documentation fleetDeadWeightTonnage EnglishLanguage "(fleetDeadWeightTonnage ?FLEET ?AMOUNT) means that the Collection 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 995-1000
(domain fleetDeadWeightTonnage 1 Collection) Transportation.kif 992-992
(domain fleetDeadWeightTonnage 2 MassMeasure) Transportation.kif 993-993
(instance fleetDeadWeightTonnage BinaryPredicate) Transportation.kif 991-991
(subrelation fleetDeadWeightTonnage measure) Transportation.kif 994-994

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


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

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


(=>
    (and
        (instance ?UNIT UnitOfMass)
        (fleetDeadWeightTonnage ?FLEET
            (MeasureFn ?NUMBER ?UNIT)))
    (equal ?UNIT LongTon))
Transportation.kif 1002-1006


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