| PoundMass(pound mass) | | lb, pound, pound_mass, 磅質量, 磅质量 |
| appearance as argument number 1 |
|
|
| (documentation PoundMass ChineseLanguage "英制质量单位磅。") | chinese_format.kif 2608-2608 | |
| (documentation PoundMass EnglishLanguage "English mass unit of pounds.") | Merge.kif 6871-6871 | |
| (instance PoundMass UnitOfMass) | Merge.kif 6869-6869 | Pound mass is an instance of UnitOfMass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PoundMass "磅质量") | domainEnglishFormat.kif 46903-46903 | "磅质量" is the printable form of pound mass in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage PoundMass "磅質量") | domainEnglishFormat.kif 46902-46902 | "磅質量" is the printable form of pound mass in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage PoundMass "pound mass") | domainEnglishFormat.kif 46901-46901 | "pound mass" is the printable form of pound mass in english language |
| consequent |
|
|
| statement |
|
|
| (defaultMaximumMeasure Lemur (MeasureFn 20 PoundMass)) |
Mid-level-ontology.kif 28602-28602 | The maximum expected value of lemur is 20 pound mass(s) |
| (defaultMaximumMeasure Lion (MeasureFn 600 PoundMass)) |
Mid-level-ontology.kif 28504-28504 | The maximum expected value of lion is 600 pound mass(s) |
| (defaultMaximumMeasure Parrot (MeasureFn 9 PoundMass)) |
Mid-level-ontology.kif 28582-28582 | The maximum expected value of parrot is 9 pound mass(s) |
| (defaultMaximumMeasure Rhinoceros (MeasureFn 2200 PoundMass)) |
Mid-level-ontology.kif 28569-28569 | The maximum expected value of rhinoceros is 2200 pound mass(s) |
| (defaultMeasure Alligator (MeasureFn 790 PoundMass)) |
Mid-level-ontology.kif 18018-18018 | The expected value of Alligator is 790 pound mass(s) |
| (defaultMeasure Badger (MeasureFn 20 PoundMass)) |
Mid-level-ontology.kif 18031-18031 | The expected value of Badger is 20 pound mass(s) |
| (defaultMeasure Bear (MeasureFn 500 PoundMass)) |
Mid-level-ontology.kif 18046-18046 | The expected value of Bear is 500 pound mass(s) |
| (defaultMeasure Cheetah (MeasureFn 150 PoundMass)) |
Mid-level-ontology.kif 28699-28699 | The expected value of cheetah is 150 pound mass(s) |
| (defaultMeasure Crocodile (MeasureFn 2000 PoundMass)) |
Mid-level-ontology.kif 28675-28675 | The expected value of crocodile is 2000 pound mass(s) |
| (defaultMeasure Ferret (MeasureFn 2 PoundMass)) |
Mid-level-ontology.kif 28716-28716 | The expected value of ferret is 2 pound mass(s) |
| (defaultMeasure GuineaPig (MeasureFn 2 PoundMass)) |
Mid-level-ontology.kif 28734-28734 | The expected value of guinea pig is 2 pound mass(s) |
| (defaultMeasure Kangaroo (MeasureFn 18 PoundMass)) |
Mid-level-ontology.kif 18060-18060 | The expected value of Kangaroo is 18 pound mass(s) |
| (defaultMeasure Llama (MeasureFn 18 PoundMass)) |
Mid-level-ontology.kif 18068-18068 | The expected value of Llama is 18 pound mass(s) |
| (defaultMeasure Octopus (MeasureFn 33 PoundMass)) |
Mid-level-ontology.kif 28635-28635 | The expected value of octopus is 33 pound mass(s) |
| (defaultMeasure Panda (MeasureFn 240 PoundMass)) |
Mid-level-ontology.kif 28621-28621 | The expected value of panda is 240 pound mass(s) |
| (defaultMeasure Reindeer (MeasureFn 300 PoundMass)) |
Mid-level-ontology.kif 28657-28657 | The expected value of reindeer is 300 pound mass(s) |
| (defaultMeasure Skunk (MeasureFn 5 PoundMass)) |
Mid-level-ontology.kif 18077-18077 | The expected value of Skunk is 5 pound mass(s) |
| (equal (MeasureFn 1 MetricTon) (MeasureFn 2205 PoundMass)) |
Mid-level-ontology.kif 11200-11202 | 1 Metric ton(s) is equal to 2205 pound mass(s) |
| (equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 6873-6875 | A real number pound mass(s) is equal to the real number and 453.59237 gram(s) |
| (forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16) PoundMass))) |
Mid-level-ontology.kif 10951-10954 | For all a real number the real number Ounce(s) is equal to the real number and 16 pound mass(s) |
|
|
|