PoundMass | ![]() |
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 |
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 |
![]() |
(<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 14944-14950 | |
(<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 14665-14670 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass))) |
Mid-level-ontology.kif 14957-14961 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass))) |
Mid-level-ontology.kif 14930-14934 | |
(=> (instance ?X HandGrenade) (exists (?N) (and (measure ?X (MeasureFn ?N PoundMass)) (lessThan ?N 10.0)))) |
Mid-level-ontology.kif 23514-23520 |
statement |
![]() |
(defaultMaximumMeasure Lemur (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 32403-32403 | |
(defaultMaximumMeasure Lion (MeasureFn 600.0 PoundMass)) |
Mid-level-ontology.kif 32289-32289 | |
(defaultMaximumMeasure Parrot (MeasureFn 9.0 PoundMass)) |
Mid-level-ontology.kif 32383-32383 | |
(defaultMaximumMeasure Rhinoceros (MeasureFn 2200.0 PoundMass)) |
Mid-level-ontology.kif 32370-32370 | |
(defaultMeasure Alligator (MeasureFn 790.0 PoundMass)) |
Mid-level-ontology.kif 21890-21890 | |
(defaultMeasure Badger (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 21903-21903 | |
(defaultMeasure Bear (MeasureFn 500.0 PoundMass)) |
Mid-level-ontology.kif 21918-21918 | |
(defaultMeasure Cheetah (MeasureFn 150.0 PoundMass)) |
Mid-level-ontology.kif 32500-32500 | |
(defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass)) |
Mid-level-ontology.kif 32476-32476 | |
(defaultMeasure Ferret (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 32517-32517 | |
(defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass)) |
Mid-level-ontology.kif 32535-32535 | |
(defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 21932-21932 | |
(defaultMeasure Llama (MeasureFn 18.0 PoundMass)) |
Mid-level-ontology.kif 21940-21940 | |
(defaultMeasure Octopus (MeasureFn 33.0 PoundMass)) |
Mid-level-ontology.kif 32436-32436 | |
(defaultMeasure Panda (MeasureFn 240.0 PoundMass)) |
Mid-level-ontology.kif 32422-32422 | |
(defaultMeasure Reindeer (MeasureFn 300.0 PoundMass)) |
Mid-level-ontology.kif 32458-32458 | |
(defaultMeasure Skunk (MeasureFn 5.0 PoundMass)) |
Mid-level-ontology.kif 21949-21949 | |
(equal (MeasureFn 1.0 MetricTon) (MeasureFn 2205.0 PoundMass)) |
Mid-level-ontology.kif 14940-14942 | |
(equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 7340-7342 | |
(forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 14672-14675 |
![]() |
![]() |