| appearance as argument number 1 |
|
| (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 2570-2576 | |
| (domain vesselGrossRegisteredTonnage 1 WaterVehicle) | Transportation.kif 2567-2567 | O argumento numero 1 de vesselGrossRegisteredTonnage e' uma instancia de WaterVehicle |
| (domain vesselGrossRegisteredTonnage 2 PhysicalQuantity) | Transportation.kif 2568-2568 | O argumento numero 2 de vesselGrossRegisteredTonnage e' uma instancia de Quantidade Fisica |
| (instance vesselGrossRegisteredTonnage BinaryPredicate) | Transportation.kif 2566-2566 | vesselGrossRegisteredTonnage e' uma instancia de Predicado Binario |
| (subrelation vesselGrossRegisteredTonnage vesselDisplacement) | Transportation.kif 2569-2569 | vesselGrossRegisteredTonnage e' uma sub-relacao de vesselDisplacement |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage vesselGrossRegisteredTonnage "%2 %n 是 %1 的 vessel 注册净吨位") | domainEnglishFormat.kif 2595-2595 | |
| (format ChineseTraditionalLanguage vesselGrossRegisteredTonnage "%2 %n 是 %1 的 vessel 註冊凈噸位") | domainEnglishFormat.kif 2594-2594 | |
| (format EnglishLanguage vesselGrossRegisteredTonnage "%2 is %n a vessel gross registered tonnage of %1") | domainEnglishFormat.kif 2593-2593 | |
| (termFormat ChineseLanguage vesselGrossRegisteredTonnage "船舶总注册吨位") | domainEnglishFormat.kif 61588-61588 | |
| (termFormat ChineseTraditionalLanguage vesselGrossRegisteredTonnage "船舶總註冊噸位") | domainEnglishFormat.kif 61587-61587 | |
| (termFormat EnglishLanguage vesselGrossRegisteredTonnage "vessel gross registered tonnage") | domainEnglishFormat.kif 61586-61586 |
|
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