| PoundMass(pound mass) | | lb, pound |
| appearance as argument number 1 |
|
|
| (documentation PoundMass ChineseLanguage "英制质量单位磅。") | chinese_format.kif 2608-2608 | |
| (documentation PoundMass EnglishLanguage "English mass unit of pounds.") | Merge.kif 7338-7338 | |
| (documentation PoundMass JapaneseLanguage "英国の質量単位ポンド。") | japanese_format.kif 1321-1321 | |
| (instance PoundMass UnitOfMass) | Merge.kif 7336-7336 | Pound mass is an instance of unit of mass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PoundMass "磅质量") | domainEnglishFormat.kif 46966-46966 | |
| (termFormat ChineseTraditionalLanguage PoundMass "磅質量") | domainEnglishFormat.kif 46965-46965 | |
| (termFormat EnglishLanguage PoundMass "pound mass") | domainEnglishFormat.kif 46964-46964 |
| consequent |
|
|
| statement |
|
|
| (defaultMaximumMeasure Lemur (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 32403-32403 | The maximum expected value of lemur is 20.0 pound mass(s) |
| (defaultMaximumMeasure Lion (MeasureFn 600.0 PoundMass)) |
Mid-level-ontology.kif 32289-32289 | The maximum expected value of lion is 600.0 pound mass(s) |
| (defaultMaximumMeasure Parrot (MeasureFn 9.0 PoundMass)) |
Mid-level-ontology.kif 32383-32383 | The maximum expected value of parrot is 9.0 pound mass(s) |
| (defaultMaximumMeasure Rhinoceros (MeasureFn 2200.0 PoundMass)) |
Mid-level-ontology.kif 32370-32370 | The maximum expected value of rhinoceros is 2200.0 pound mass(s) |
| (defaultMeasure Alligator (MeasureFn 790.0 PoundMass)) |
Mid-level-ontology.kif 21890-21890 | The expected value of alligator is 790.0 pound mass(s) |
| (defaultMeasure Badger (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 21903-21903 | The expected value of badger is 20.0 pound mass(s) |
| (defaultMeasure Bear (MeasureFn 500.0 PoundMass)) |
Mid-level-ontology.kif 21918-21918 | The expected value of bear is 500.0 pound mass(s) |
| (defaultMeasure Cheetah (MeasureFn 150.0 PoundMass)) |
Mid-level-ontology.kif 32500-32500 | The expected value of cheetah is 150.0 pound mass(s) |
| (defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass)) |
Mid-level-ontology.kif 32476-32476 | The expected value of crocodile is 2000.0 pound mass(s) |
| (defaultMeasure Ferret (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 32517-32517 | The expected value of ferret is 2.0 pound mass(s) |
| (defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 32535-32535 | The expected value of guinea pig is 2.0 pound mass(s) |
| (defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 21932-21932 | The expected value of kangaroo is 18.0 pound mass(s) |
| (defaultMeasure Llama (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 21940-21940 | The expected value of llama is 18.0 pound mass(s) |
| (defaultMeasure Octopus (MeasureFn 33.0 PoundMass)) |
Mid-level-ontology.kif 32436-32436 | The expected value of octopus is 33.0 pound mass(s) |
| (defaultMeasure Panda (MeasureFn 240.0 PoundMass)) |
Mid-level-ontology.kif 32422-32422 | The expected value of panda is 240.0 pound mass(s) |
| (defaultMeasure Reindeer (MeasureFn 300.0 PoundMass)) |
Mid-level-ontology.kif 32458-32458 | The expected value of reindeer is 300.0 pound mass(s) |
| (defaultMeasure Skunk (MeasureFn 5.0 PoundMass)) |
Mid-level-ontology.kif 21949-21949 | The expected value of skunk is 5.0 pound mass(s) |
| (equal (MeasureFn 1.0 MetricTon) (MeasureFn 2205.0 PoundMass)) |
Mid-level-ontology.kif 14940-14942 | equal 1.0 metric ton(s) and 2205.0 pound mass(s) |
| (equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 7340-7342 | equal a real number pound mass(s) and the real number and 453.59237 gram(s) |
| (forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 14672-14675 | For all a real number equal the real number Ounce(s) and the real number and 16.0 pound mass(s) |
|
|
|