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



KB Term:  Term intersection
English Word: 

  vesselGrossRegisteredTonnage

Sigma KEE - vesselGrossRegisteredTonnage
vesselGrossRegisteredTonnage

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


(instance vesselGrossRegisteredTonnage BinaryPredicate) Transportation.kif 2796-2796 vessel gross registered tonnage is an instance of binary predicate
(domain vesselGrossRegisteredTonnage 1 WaterVehicle) Transportation.kif 2797-2797 The number 1 argument of vessel gross registered tonnage is an instance of water vehicle
(domain vesselGrossRegisteredTonnage 2 PhysicalQuantity) Transportation.kif 2798-2798 The number 2 argument of vessel gross registered tonnage is an instance of physical quantity
(subrelation vesselGrossRegisteredTonnage vesselDisplacement) Transportation.kif 2799-2799 vessel gross registered tonnage is a subrelation of vessel displacement
(documentation vesselGrossRegisteredTonnage EnglishLanguage "(vesselGrossRegisteredTonnage ?VESSEL ?AMOUNT) means that the WaterVehicle ?VESSEL has a carrying capacity when fully loaded of ?AMOUNT, where ?AMOUNT is the Gross Registered Tonnage (GRT) of the vessel, which is based on the total sheltered volume of the vessel measured in hundreds of cubic feet, and converted to gross tons at an equivalence of 100 cubic feet per ton.") Transportation.kif 2800-2806 vessel gross registered tonnage is a subrelation of vessel displacement

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


(format EnglishLanguage vesselGrossRegisteredTonnage "%2 is %n a vessel gross registered tonnage of %1") domainEnglishFormat.kif 2589-2589
(format ChineseTraditionalLanguage vesselGrossRegisteredTonnage "%2 %n 是 %1 的 vessel 註冊凈噸位") domainEnglishFormat.kif 2590-2590
(format ChineseLanguage vesselGrossRegisteredTonnage "%2 %n 是 %1 的 vessel 注册净吨位") domainEnglishFormat.kif 2591-2591
(termFormat EnglishLanguage vesselGrossRegisteredTonnage "vessel gross registered tonnage") domainEnglishFormat.kif 61587-61587
(termFormat ChineseTraditionalLanguage vesselGrossRegisteredTonnage "船舶總註冊噸位") domainEnglishFormat.kif 61588-61588
(termFormat ChineseLanguage vesselGrossRegisteredTonnage "船舶总注册吨位") domainEnglishFormat.kif 61589-61589


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners