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
-------------------------


s__documentation(s__fleetGrossRegisteredTonnage__m,s__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
s__domain(s__fleetGrossRegisteredTonnage__m,n__1,s__Collection)

Transportation.kif 985-985 The number 1 argument of fleet gross registered tonnage is an instance of collection
s__domain(s__fleetGrossRegisteredTonnage__m,n__2,s__PhysicalQuantity)

Transportation.kif 986-986 The number 2 argument of fleet gross registered tonnage is an instance of physical quantity
s__instance(s__fleetGrossRegisteredTonnage__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Transportation.kif 984-984 fleet gross registered tonnage is an instance of binary predicate
s__subrelation(s__fleetGrossRegisteredTonnage__m,s__measure__m)

Transportation.kif 987-987 fleet gross registered tonnage is a subrelation of measure

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


s__format(s__ChineseLanguage,s__fleetGrossRegisteredTonnage__m,'"%2 %n 是 %1 的 fleet 总注册顿位"')

domainEnglishFormat.kif 1057-1057
s__format(s__ChineseTraditionalLanguage,s__fleetGrossRegisteredTonnage__m,'"%2 %n 是 %1 的 fleet 總註冊頓位"')

domainEnglishFormat.kif 1056-1056
s__format(s__EnglishLanguage,s__fleetGrossRegisteredTonnage__m,'"%2 is %n a fleet gross registered tonnage of %1"')

domainEnglishFormat.kif 1055-1055
s__termFormat(s__ChineseLanguage,s__fleetGrossRegisteredTonnage__m,'"船队总注册吨位"')

domainEnglishFormat.kif 24219-24219
s__termFormat(s__ChineseTraditionalLanguage,s__fleetGrossRegisteredTonnage__m,'"船隊總註冊噸位"')

domainEnglishFormat.kif 24218-24218
s__termFormat(s__EnglishLanguage,s__fleetGrossRegisteredTonnage__m,'"fleet gross registered tonnage"')

domainEnglishFormat.kif 24217-24217

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


( ! [V__FLEET,V__NUMBER,V__UNIT] :
   (((s__instance(V__FLEET,s__Collection) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       (((s__instance(V__UNIT,s__UnitOfMass) &
             s__fleetGrossRegisteredTonnage(V__FLEET,s__MeasureFn(V__NUMBER,V__UNIT)))
       =>
       ((V__UNIT = s__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