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 988-994
(domain fleetGrossRegisteredTonnage 1 Collection) Transportation.kif 985-985
(domain fleetGrossRegisteredTonnage 2 PhysicalQuantity) Transportation.kif 986-986
(instance fleetGrossRegisteredTonnage BinaryPredicate) Transportation.kif 984-984
(subrelation fleetGrossRegisteredTonnage measure) Transportation.kif 987-987

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 24224-24224
(termFormat ChineseTraditionalLanguage fleetGrossRegisteredTonnage "船隊總註冊噸位") domainEnglishFormat.kif 24223-24223
(termFormat EnglishLanguage fleetGrossRegisteredTonnage "fleet gross registered tonnage") domainEnglishFormat.kif 24222-24222

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


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


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 is open source software produced by Articulate Software and its partners