| PoundMass(磅質量) | |
| appearance as argument number 1 |
|
|
| (documentation PoundMass ChineseLanguage "英制质量单位磅。") | chinese_format.kif 2608-2608 | |
| (documentation PoundMass EnglishLanguage "English mass unit of pounds.") | Merge.kif 7294-7294 | |
| (documentation PoundMass JapaneseLanguage "英国の質量単位ポンド。") | japanese_format.kif 1321-1321 | |
| (instance PoundMass UnitOfMass) | Merge.kif 7292-7292 | 例 磅質量 and UnitOfMass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PoundMass "磅质量") | domainEnglishFormat.kif 46964-46964 | |
| (termFormat ChineseTraditionalLanguage PoundMass "磅質量") | domainEnglishFormat.kif 46963-46963 | |
| (termFormat EnglishLanguage PoundMass "pound mass") | domainEnglishFormat.kif 46962-46962 |
| consequent |
|
|
| (<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 13605-13611 | 測量 Physical and 測量 RealNumber and 公噸 測量 Physical and 測量 乘法 RealNumber and 2205.0 and 磅質量 |
| (<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 13326-13331 | 測量 Physical and 測量 RealNumber and OunceMass 測量 Physical and 測量 部 RealNumber and 16.0 and 磅質量 |
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass))) |
Mid-level-ontology.kif 13618-13622 |
|
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass))) |
Mid-level-ontology.kif 13591-13595 |
|
| (=> (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) (exists (?N) (and (measure ?X (MeasureFn ?N PoundMass)) (lessThan ?N 10.0)))) |
Mid-level-ontology.kif 21871-21877 |
|
| statement |
|
|
| (defaultMaximumMeasure Lemur (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 30469-30469 | Lemur 的 maximum 預期價值是 測量 20.0 and 磅質量 |
| (defaultMaximumMeasure Lion (MeasureFn 600.0 PoundMass)) |
Mid-level-ontology.kif 30371-30371 | Lion 的 maximum 預期價值是 測量 600.0 and 磅質量 |
| (defaultMaximumMeasure Parrot (MeasureFn 9.0 PoundMass)) |
Mid-level-ontology.kif 30449-30449 | Parrot 的 maximum 預期價值是 測量 9.0 and 磅質量 |
| (defaultMaximumMeasure Rhinoceros (MeasureFn 2200.0 PoundMass)) |
Mid-level-ontology.kif 30436-30436 | Rhinoceros 的 maximum 預期價值是 測量 2200.0 and 磅質量 |
| (defaultMeasure Alligator (MeasureFn 790.0 PoundMass)) |
Mid-level-ontology.kif 20273-20273 | Alligator 的預期 value 是 測量 790.0 and 磅質量 |
| (defaultMeasure Badger (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 20286-20286 | Badger 的預期 value 是 測量 20.0 and 磅質量 |
| (defaultMeasure Bear (MeasureFn 500.0 PoundMass)) |
Mid-level-ontology.kif 20301-20301 | Bear 的預期 value 是 測量 500.0 and 磅質量 |
| (defaultMeasure Cheetah (MeasureFn 150.0 PoundMass)) |
Mid-level-ontology.kif 30566-30566 | Cheetah 的預期 value 是 測量 150.0 and 磅質量 |
| (defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass)) |
Mid-level-ontology.kif 30542-30542 | Crocodile 的預期 value 是 測量 2000.0 and 磅質量 |
| (defaultMeasure Ferret (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30583-30583 | Ferret 的預期 value 是 測量 2.0 and 磅質量 |
| (defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30601-30601 | GuineaPig 的預期 value 是 測量 2.0 and 磅質量 |
| (defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20315-20315 | Kangaroo 的預期 value 是 測量 18.0 and 磅質量 |
| (defaultMeasure Llama (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 20323-20323 | Llama 的預期 value 是 測量 18.0 and 磅質量 |
| (defaultMeasure Octopus (MeasureFn 33.0 PoundMass)) |
Mid-level-ontology.kif 30502-30502 | Octopus 的預期 value 是 測量 33.0 and 磅質量 |
| (defaultMeasure Panda (MeasureFn 240.0 PoundMass)) |
Mid-level-ontology.kif 30488-30488 | Panda 的預期 value 是 測量 240.0 and 磅質量 |
| (defaultMeasure Reindeer (MeasureFn 300.0 PoundMass)) |
Mid-level-ontology.kif 30524-30524 | 馴鹿 的預期 value 是 測量 300.0 and 磅質量 |
| (defaultMeasure Skunk (MeasureFn 5.0 PoundMass)) |
Mid-level-ontology.kif 20332-20332 | Skunk 的預期 value 是 測量 5.0 and 磅質量 |
| (equal (MeasureFn 1.0 MetricTon) (MeasureFn 2205.0 PoundMass)) |
Mid-level-ontology.kif 13601-13603 | 等於 測量 1.0 and 公噸 and 測量 2205.0 and 磅質量 |
| (equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 7296-7298 | 等於 測量 RealNumber and 磅質量 and 測量 乘法 RealNumber and 453.59237 and 公克 |
| (forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 13333-13336 | RealNumber 等於 測量 RealNumber and OunceMass and 測量 部 RealNumber and 16.0 and 磅質量 |
|
|
|