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

Formal Language: 



KB Term:  Term intersection
English Word: 

  fleetGrossRegisteredTonnage

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 The number 1 argument of fleet gross registered tonnage is an instance of collection
(domain fleetGrossRegisteredTonnage 2 PhysicalQuantity) Transportation.kif 986-986 The number 2 argument of fleet gross registered tonnage is an instance of physical quantity
(instance fleetGrossRegisteredTonnage BinaryPredicate) Transportation.kif 984-984 fleet gross registered tonnage is an instance of binary predicate
(subrelation fleetGrossRegisteredTonnage measure) Transportation.kif 987-987 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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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