|
|
  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 13613-13615 | |
| (instance LongTon UnitOfMass) | Mid-level-ontology.kif 13612-13612 | LongTon e' uma instancia de UnitOfMass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LongTon "长吨") | domainEnglishFormat.kif 35015-35015 | |
| (termFormat ChineseTraditionalLanguage LongTon "長噸") | domainEnglishFormat.kif 35014-35014 | |
| (termFormat EnglishLanguage LongTon "long ton") | domainEnglishFormat.kif 35013-35013 |
| 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 2637-2643 |
|
| 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 13617-13621 |
|
|
|
|