| PoundMass(磅质量) | |
| appearance as argument number 1 |
|
|
| (documentation PoundMass ChineseLanguage "英制质量单位磅。") | chinese_format.kif 2608-2608 | |
| (documentation PoundMass EnglishLanguage "English mass unit of pounds.") | Merge.kif 7198-7198 | |
| (instance PoundMass UnitOfMass) | Merge.kif 7196-7196 | 磅质量 是 UnitOfMass 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PoundMass "磅质量") | domainEnglishFormat.kif 46947-46947 | |
| (termFormat ChineseTraditionalLanguage PoundMass "磅質量") | domainEnglishFormat.kif 46946-46946 | |
| (termFormat EnglishLanguage PoundMass "pound mass") | domainEnglishFormat.kif 46945-46945 |
| consequent |
|
|
| (<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 13071-13077 | 物理 的 measure 是 实数 公吨 若且唯若 那个 物理 的 measure 是 那个 实数 和 2205.0 磅质量 |
| (<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 12787-12792 | 物理 的 measure 是 实数 OunceMass 若且唯若 那个 物理 的 measure 是 那个 实数 和 16.0 磅质量 |
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass))) |
Mid-level-ontology.kif 13084-13088 | |
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2000.0) PoundMass))) |
Mid-level-ontology.kif 13057-13061 | |
| (=> (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.0))) |
Mid-level-ontology.kif 21329-21334 |
| statement |
|
|
| (defaultMaximumMeasure Lemur (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 29847-29847 | Lemur 的 maximum 预期价值是 20.0 磅质量 |
| (defaultMaximumMeasure Lion (MeasureFn 600.0 PoundMass)) |
Mid-level-ontology.kif 29749-29749 | Lion 的 maximum 预期价值是 600.0 磅质量 |
| (defaultMaximumMeasure Parrot (MeasureFn 9.0 PoundMass)) |
Mid-level-ontology.kif 29827-29827 | Parrot 的 maximum 预期价值是 9.0 磅质量 |
| (defaultMaximumMeasure Rhinoceros (MeasureFn 2200.0 PoundMass)) |
Mid-level-ontology.kif 29814-29814 | Rhinoceros 的 maximum 预期价值是 2200.0 磅质量 |
| (defaultMeasure Alligator (MeasureFn 790.0 PoundMass)) |
Mid-level-ontology.kif 19580-19580 | Alligator 的预期 value 是 790.0 磅质量 |
| (defaultMeasure Badger (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 19593-19593 | Badger 的预期 value 是 20.0 磅质量 |
| (defaultMeasure Bear (MeasureFn 500.0 PoundMass)) |
Mid-level-ontology.kif 19608-19608 | Bear 的预期 value 是 500.0 磅质量 |
| (defaultMeasure Cheetah (MeasureFn 150.0 PoundMass)) |
Mid-level-ontology.kif 29944-29944 | Cheetah 的预期 value 是 150.0 磅质量 |
| (defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass)) |
Mid-level-ontology.kif 29920-29920 | Crocodile 的预期 value 是 2000.0 磅质量 |
| (defaultMeasure Ferret (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 29961-29961 | Ferret 的预期 value 是 2.0 磅质量 |
| (defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 29979-29979 | GuineaPig 的预期 value 是 2.0 磅质量 |
| (defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 19622-19622 | Kangaroo 的预期 value 是 18.0 磅质量 |
| (defaultMeasure Llama (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 19630-19630 | Llama 的预期 value 是 18.0 磅质量 |
| (defaultMeasure Octopus (MeasureFn 33.0 PoundMass)) |
Mid-level-ontology.kif 29880-29880 | Octopus 的预期 value 是 33.0 磅质量 |
| (defaultMeasure Panda (MeasureFn 240.0 PoundMass)) |
Mid-level-ontology.kif 29866-29866 | Panda 的预期 value 是 240.0 磅质量 |
| (defaultMeasure Reindeer (MeasureFn 300.0 PoundMass)) |
Mid-level-ontology.kif 29902-29902 | 驯鹿 的预期 value 是 300.0 磅质量 |
| (defaultMeasure Skunk (MeasureFn 5.0 PoundMass)) |
Mid-level-ontology.kif 19639-19639 | Skunk 的预期 value 是 5.0 磅质量 |
| (equal (MeasureFn 1.0 MetricTon) (MeasureFn 2205.0 PoundMass)) |
Mid-level-ontology.kif 13067-13069 | 1.0 公吨 equal 2205.0 磅质量 |
| (equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 7200-7202 | 实数 磅质量 equal 那个 实数 和 453.59237 公克 |
| (forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 12794-12797 | 对所有 实数 那个 实数 OunceMass equal 那个 实数 和 16.0 磅质量 |
|
|
|