TonMass |
appearance as argument number 1 |
(documentation TonMass EnglishLanguage "English mass unit that is equal to 2000 pounds.") | Mid-level-ontology.kif 13588-13588 | |
(instance TonMass UnitOfMass) | Mid-level-ontology.kif 13587-13587 |
appearance as argument number 2 |
(termFormat ChineseLanguage TonMass "吨质量") | domainEnglishFormat.kif 58430-58430 | |
(termFormat ChineseTraditionalLanguage TonMass "噸質量") | domainEnglishFormat.kif 58429-58429 | |
(termFormat EnglishLanguage TonMass "ton mass") | domainEnglishFormat.kif 58428-58428 |
consequent |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass))) |
Mid-level-ontology.kif 13590-13594 | |
(=> (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 |