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 7204-7204 | |
(instance PoundMass UnitOfMass) | Merge.kif 7202-7202 | Pound mass is an instance of UnitOfMass |
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 |
![]() |
statement |
![]() |
(defaultMaximumMeasure Lemur (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 29871-29871 | The maximum expected value of lemur is 20.0 pound mass(s) |
(defaultMaximumMeasure Lion (MeasureFn 600.0 PoundMass)) |
Mid-level-ontology.kif 29773-29773 | The maximum expected value of lion is 600.0 pound mass(s) |
(defaultMaximumMeasure Parrot (MeasureFn 9.0 PoundMass)) |
Mid-level-ontology.kif 29851-29851 | The maximum expected value of parrot is 9.0 pound mass(s) |
(defaultMaximumMeasure Rhinoceros (MeasureFn 2200.0 PoundMass)) |
Mid-level-ontology.kif 29838-29838 | The maximum expected value of rhinoceros is 2200.0 pound mass(s) |
(defaultMeasure Alligator (MeasureFn 790.0 PoundMass)) |
Mid-level-ontology.kif 19604-19604 | The expected value of Alligator is 790.0 pound mass(s) |
(defaultMeasure Badger (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 19617-19617 | The expected value of Badger is 20.0 pound mass(s) |
(defaultMeasure Bear (MeasureFn 500.0 PoundMass)) |
Mid-level-ontology.kif 19632-19632 | The expected value of Bear is 500.0 pound mass(s) |
(defaultMeasure Cheetah (MeasureFn 150.0 PoundMass)) |
Mid-level-ontology.kif 29968-29968 | The expected value of cheetah is 150.0 pound mass(s) |
(defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass)) |
Mid-level-ontology.kif 29944-29944 | The expected value of crocodile is 2000.0 pound mass(s) |
(defaultMeasure Ferret (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 29985-29985 | The expected value of ferret is 2.0 pound mass(s) |
(defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 30003-30003 | The expected value of guinea pig is 2.0 pound mass(s) |
(defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 19646-19646 | The expected value of Kangaroo is 18.0 pound mass(s) |
(defaultMeasure Llama (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 19654-19654 | The expected value of Llama is 18.0 pound mass(s) |
(defaultMeasure Octopus (MeasureFn 33.0 PoundMass)) |
Mid-level-ontology.kif 29904-29904 | The expected value of octopus is 33.0 pound mass(s) |
(defaultMeasure Panda (MeasureFn 240.0 PoundMass)) |
Mid-level-ontology.kif 29890-29890 | The expected value of panda is 240.0 pound mass(s) |
(defaultMeasure Reindeer (MeasureFn 300.0 PoundMass)) |
Mid-level-ontology.kif 29926-29926 | The expected value of reindeer is 300.0 pound mass(s) |
(defaultMeasure Skunk (MeasureFn 5.0 PoundMass)) |
Mid-level-ontology.kif 19663-19663 | The expected value of Skunk is 5.0 pound mass(s) |
(equal (MeasureFn 1.0 MetricTon) (MeasureFn 2205.0 PoundMass)) |
Mid-level-ontology.kif 13071-13073 | 1.0 Metric ton(s) is equal to 2205.0 pound mass(s) |
(equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 7206-7208 | 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.0) PoundMass))) |
Mid-level-ontology.kif 12798-12801 | For all a real number the real number Ounce(s) is equal to the real number and 16.0 pound mass(s) |
![]() |
![]() |