| (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 2751-2757 |
|
| (domain vesselGrossRegisteredTonnage 1 WaterVehicle) |
Transportation.kif 2748-2748 |
The number 1 argument of vessel gross registered tonnage is an instance of water vehicle |
| (domain vesselGrossRegisteredTonnage 2 PhysicalQuantity) |
Transportation.kif 2749-2749 |
The number 2 argument of vessel gross registered tonnage is an instance of physical quantity |
| (instance vesselGrossRegisteredTonnage BinaryPredicate) |
Transportation.kif 2747-2747 |
vessel gross registered tonnage is an instance of binary predicate |
| (subrelation vesselGrossRegisteredTonnage vesselDisplacement) |
Transportation.kif 2750-2750 |
vessel gross registered tonnage is a subrelation of vessel displacement |