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 船队总注册吨位 的 1 数量 是 群体instance
(domain fleetGrossRegisteredTonnage 2 PhysicalQuantity) Transportation.kif 986-986 船队总注册吨位 的 2 数量 是 物理量instance
(instance fleetGrossRegisteredTonnage BinaryPredicate) Transportation.kif 984-984 船队总注册吨位二元谓语instance
(subrelation fleetGrossRegisteredTonnage measure) Transportation.kif 987-987 船队总注册吨位计量subrelation

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

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