| TonMass | |
| appearance as argument number 1 |
|
|
| (documentation TonMass EnglishLanguage "English mass unit that is equal to 2000 pounds.") | Mid-level-ontology.kif 14928-14928 | |
| (instance TonMass UnitOfMass) | Mid-level-ontology.kif 14927-14927 | TonMass は UnitOfMass の instance では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TonMass "吨质量") | domainEnglishFormat.kif 58438-58438 | |
| (termFormat ChineseTraditionalLanguage TonMass "噸質量") | domainEnglishFormat.kif 58437-58437 | |
| (termFormat EnglishLanguage TonMass "ton mass") | domainEnglishFormat.kif 58436-58436 |
| consequent |
|
|
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass))) |
Mid-level-ontology.kif 14930-14934 | |
| (=> (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 1819-1831 |
|
| (=> (instance ?LCAC LCAC) (maximumPayloadCapacity ?LCAC (MeasureFn 60.0 TonMass))) |
MilitaryDevices.kif 2149-2152 |
|
|
|