| PoundMass | |
| appearance as argument number 1 |
|
|
| (documentation PoundMass ChineseLanguage "英制质量单位磅。") | chinese_format.kif 2608-2608 | |
| (documentation PoundMass EnglishLanguage "English mass unit of pounds.") | Merge.kif 7009-7009 | |
| (instance PoundMass UnitOfMass) | Merge.kif 7007-7007 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PoundMass "磅质量") | domainEnglishFormat.kif 46958-46958 | |
| (termFormat ChineseTraditionalLanguage PoundMass "磅質量") | domainEnglishFormat.kif 46957-46957 | |
| (termFormat EnglishLanguage PoundMass "pound mass") | domainEnglishFormat.kif 46956-46956 |
| consequent |
|
|
| (<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205) PoundMass))) |
Mid-level-ontology.kif 11232-11238 | |
| (<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16) PoundMass))) |
Mid-level-ontology.kif 10972-10977 | |
| (=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240) PoundMass))) |
Mid-level-ontology.kif 11245-11249 | |
| (=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2000) PoundMass))) |
Mid-level-ontology.kif 11218-11222 | |
| (=> (instance ?DragonWeapon DragonWeapon) (weight ?DragonWeapon (MeasureFn 33.9 PoundMass))) |
MilitaryDevices.kif 707-710 | |
| (=> (instance ?JavelinWeapon JavelinWeapon) (weight ?JavelinWeapon (MeasureFn 49.5 PoundMass))) |
MilitaryDevices.kif 766-769 | |
| (=> (instance ?X HandGrenade) (and (measure ?X (MeasureFn ?N PoundMass)) (lessThan ?N 10))) |
Mid-level-ontology.kif 19702-19706 |
| statement |
|
|
| (defaultMaximumMeasure Lemur (MeasureFn 20 PoundMass)) |
Mid-level-ontology.kif 28646-28646 | |
| (defaultMaximumMeasure Lion (MeasureFn 600 PoundMass)) |
Mid-level-ontology.kif 28548-28548 | |
| (defaultMaximumMeasure Parrot (MeasureFn 9 PoundMass)) |
Mid-level-ontology.kif 28626-28626 | |
| (defaultMaximumMeasure Rhinoceros (MeasureFn 2200 PoundMass)) |
Mid-level-ontology.kif 28613-28613 | |
| (defaultMeasure Alligator (MeasureFn 790 PoundMass)) |
Mid-level-ontology.kif 18049-18049 | |
| (defaultMeasure Badger (MeasureFn 20 PoundMass)) |
Mid-level-ontology.kif 18062-18062 | |
| (defaultMeasure Bear (MeasureFn 500 PoundMass)) |
Mid-level-ontology.kif 18077-18077 | |
| (defaultMeasure Cheetah (MeasureFn 150 PoundMass)) |
Mid-level-ontology.kif 28743-28743 | |
| (defaultMeasure Crocodile (MeasureFn 2000 PoundMass)) |
Mid-level-ontology.kif 28719-28719 | |
| (defaultMeasure Ferret (MeasureFn 2 PoundMass)) |
Mid-level-ontology.kif 28760-28760 | |
| (defaultMeasure GuineaPig (MeasureFn 2 PoundMass)) |
Mid-level-ontology.kif 28778-28778 | |
| (defaultMeasure Kangaroo (MeasureFn 18 PoundMass)) |
Mid-level-ontology.kif 18091-18091 | |
| (defaultMeasure Llama (MeasureFn 18 PoundMass)) |
Mid-level-ontology.kif 18099-18099 | |
| (defaultMeasure Octopus (MeasureFn 33 PoundMass)) |
Mid-level-ontology.kif 28679-28679 | |
| (defaultMeasure Panda (MeasureFn 240 PoundMass)) |
Mid-level-ontology.kif 28665-28665 | |
| (defaultMeasure Reindeer (MeasureFn 300 PoundMass)) |
Mid-level-ontology.kif 28701-28701 | |
| (defaultMeasure Skunk (MeasureFn 5 PoundMass)) |
Mid-level-ontology.kif 18108-18108 | |
| (equal (MeasureFn 1 MetricTon) (MeasureFn 2205 PoundMass)) |
Mid-level-ontology.kif 11228-11230 | |
| (equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 7011-7013 | |
| (forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16) PoundMass))) |
Mid-level-ontology.kif 10979-10982 |
|
|
|