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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fleetGrossRegisteredTonnage
fleetGrossRegisteredTonnage

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


(documentation fleetGrossRegisteredTonnage EnglishLanguage "(fleetGrossRegisteredTonnage ?FLEET ?AMOUNT) means that the Collection of Ships ?FLEET has a total carrying capacity of ?AMOUNT in RegistryTons. This is the total vesselGrossRegisteredTonnage of all the vessels combined. Gross Registered Tonnage, or GRT, is the capacity of a vessel calculated on an equivalence of 100 cubic feet of sheltered area per ton.") Transportation.kif 977-983
(domain fleetGrossRegisteredTonnage 1 Collection) Transportation.kif 974-974 The number 1 argument of fleet gross registered tonnage is an instance of collection
(domain fleetGrossRegisteredTonnage 2 PhysicalQuantity) Transportation.kif 975-975 The number 2 argument of fleet gross registered tonnage is an instance of physical quantity
(instance fleetGrossRegisteredTonnage BinaryPredicate) Transportation.kif 973-973 fleet gross registered tonnage is an instance of binary predicate
(subrelation fleetGrossRegisteredTonnage measure) Transportation.kif 976-976 fleet gross registered tonnage is a subrelation of measure

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


(format ChineseLanguage fleetGrossRegisteredTonnage "%2 %n 是 %1 的 fleet 总注册顿位") domainEnglishFormat.kif 1057-1057
(format ChineseTraditionalLanguage fleetGrossRegisteredTonnage "%2 %n 是 %1 的 fleet 總註冊頓位") domainEnglishFormat.kif 1056-1056
(format EnglishLanguage fleetGrossRegisteredTonnage "%2 is %n a fleet gross registered tonnage of %1") domainEnglishFormat.kif 1055-1055
(termFormat ChineseLanguage fleetGrossRegisteredTonnage "船队总注册吨位") domainEnglishFormat.kif 24151-24151
(termFormat ChineseTraditionalLanguage fleetGrossRegisteredTonnage "船隊總註冊噸位") domainEnglishFormat.kif 24150-24150
(termFormat EnglishLanguage fleetGrossRegisteredTonnage "fleet gross registered tonnage") domainEnglishFormat.kif 24149-24149

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


(=>
    (and
        (instance ?UNIT UnitOfMass)
        (fleetGrossRegisteredTonnage ?FLEET
            (MeasureFn ?NUMBER ?UNIT)))
    (equal ?UNIT RegistryTon))
Transportation.kif 985-989


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