| LongTon(长吨) | |
| appearance as argument number 1 |
|
|
| (documentation LongTon EnglishLanguage "LongTon is the UnitOfMeasure, equal to 2,240 PoundMass, which is used to measure Dead Weight Tonnage capacity of Ships.") | Mid-level-ontology.kif 13080-13082 | |
| (instance LongTon UnitOfMass) | Mid-level-ontology.kif 13079-13079 | 长吨 是 UnitOfMass 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LongTon "长吨") | domainEnglishFormat.kif 34998-34998 | |
| (termFormat ChineseTraditionalLanguage LongTon "長噸") | domainEnglishFormat.kif 34997-34997 | |
| (termFormat EnglishLanguage LongTon "long ton") | domainEnglishFormat.kif 34996-34996 |
| antecedent |
|
|
| (=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY)) |
Transportation.kif 2644-2650 |
| consequent |
|
|
| (=> (and (instance ?UNIT UnitOfMass) (fleetDeadWeightTonnage ?FLEET (MeasureFn ?NUMBER ?UNIT))) (equal ?UNIT LongTon)) |
Transportation.kif 1013-1017 | |
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass))) |
Mid-level-ontology.kif 13084-13088 |
|
|
|