| MetricTon | |
| appearance as argument number 1 |
|
|
| (documentation MetricTon EnglishLanguage "MetricTon is a UnitOfMeasure that represents a weight of 2,205 PoundMass.") | Mid-level-ontology.kif 11197-11198 | |
| (instance MetricTon UnitOfMass) | Mid-level-ontology.kif 11196-11196 | instance MetricTon and UnitOfMass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MetricTon "公吨") | domainEnglishFormat.kif 37297-37297 | termFormat ChineseLanguage, MetricTon and "公吨" |
| (termFormat ChineseTraditionalLanguage MetricTon "公噸") | domainEnglishFormat.kif 37296-37296 | termFormat ChineseTraditionalLanguage, MetricTon and "公噸" |
| (termFormat EnglishLanguage MetricTon "metric ton") | domainEnglishFormat.kif 37295-37295 | termFormat EnglishLanguage, MetricTon and "metric ton" |
| antecedent |
|
|
| (<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205) PoundMass))) |
Mid-level-ontology.kif 11204-11210 | measure Object and MeasureFn RealNumber and MetricTon measure Object and MeasureFn MultiplicationFn RealNumber and 2205 and PoundMass |
| statement |
|
|
| (equal (MeasureFn 1 MetricTon) (MeasureFn 2205 PoundMass)) |
Mid-level-ontology.kif 11200-11202 | equal MeasureFn 1 and MetricTon and MeasureFn 2205 and PoundMass |
|
|
|