| TonMass | |
| appearance as argument number 1 |
|
|
| (documentation TonMass EnglishLanguage "English mass unit that is equal to 2000 pounds.") | Mid-level-ontology.kif 13055-13055 | |
| (instance TonMass UnitOfMass) | Mid-level-ontology.kif 13054-13054 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TonMass "吨质量") | domainEnglishFormat.kif 58397-58397 | |
| (termFormat ChineseTraditionalLanguage TonMass "噸質量") | domainEnglishFormat.kif 58396-58396 | |
| (termFormat EnglishLanguage TonMass "ton mass") | domainEnglishFormat.kif 58395-58395 |
| consequent |
|
|
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2000.0) PoundMass))) |
Mid-level-ontology.kif 13057-13061 | |
| (=> (instance ?AAV AAV) (and (length ?AAV (MeasureFn 7.94 Meter)) (width ?AAV (MeasureFn 3.27 Meter)) (weight ?AAV (MeasureFn 22.8 TonMass)) (height ?AAV (MeasureFn 3.26 Meter)) (effectiveRange ?AAV (MeasureFn 480.0 Kilometer)))) |
MilitaryDevices.kif 1662-1674 | |
| (=> (instance ?LCAC LCAC) (maximumPayloadCapacity ?LCAC (MeasureFn 60.0 TonMass))) |
MilitaryDevices.kif 1992-1995 |
|
|
|