|
|
  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 13133-13135 | |
| (instance LongTon UnitOfMass) | Mid-level-ontology.kif 13132-13132 |
| 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 2636-2642 |
| 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 13137-13141 |
|
|
|