|
|
  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 |
| 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 |
|
|
|