| TonMass | |
| appearance as argument number 1 |
|
|
| (documentation TonMass EnglishLanguage "English mass unit that is equal to 2000 pounds.") | Mid-level-ontology.kif 13616-13616 | |
| (instance TonMass UnitOfMass) | Mid-level-ontology.kif 13615-13615 | TonMass è un' istanza di UnitOfMass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TonMass "吨质量") | domainEnglishFormat.kif 58432-58432 | |
| (termFormat ChineseTraditionalLanguage TonMass "噸質量") | domainEnglishFormat.kif 58431-58431 | |
| (termFormat EnglishLanguage TonMass "ton mass") | domainEnglishFormat.kif 58430-58430 |
| consequent |
|
|
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass))) |
Mid-level-ontology.kif 13618-13622 |
|
| (=> (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 |
|
|
|