TreeView Knowledge Base Browser

appearance as argument number 1

(instance PoundMass UnitOfMass)	Merge.kif 7430-7430	Pound mass is an instance of unit of mass
(documentation PoundMass EnglishLanguage "English mass unit of pounds.")	Merge.kif 7432-7432	Pound mass is an instance of unit of mass

appearance as argument number 2

(termFormat EnglishLanguage PoundMass "pound mass")	domainEnglishFormat.kif 46957-46957
(termFormat ChineseTraditionalLanguage PoundMass "磅質量")	domainEnglishFormat.kif 46958-46958
(termFormat ChineseLanguage PoundMass "磅质量")	domainEnglishFormat.kif 46959-46959

antecedent

(=>
    (and
        (instance ?H HumanAdult)
        (measure ?H
            (MeasureFn ?N PoundMass)))
    (and
        (bloodVolume ?H
            (MeasureFn ?N2 Liter))
        (equal ?N2
            (DivisionFn
                (MultiplicationFn ?N 0.07) 2.33))))

Medicine.kif 5945-5954

If X is an instance of human adult and the measure of X is Y pound mass(s), then X has Z liter(s) of blood and equal Z, Y, 0.07, and 2.33

consequent

(<=> (measure ?OBJECT (MeasureFn ?NUMBER OunceMass)) (measure ?OBJECT (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass)))	Mid-level-ontology.kif 14890-14895	The measure of X is Y Ounce(s) if and only if the measure of X is Y and 16.0 pound mass(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass)))	Mid-level-ontology.kif 15154-15158	If equal X, 1.0, and X, then equal X ton mass(s) and X and 2205.0 pound mass(s)
(<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205.0) PoundMass)))	Mid-level-ontology.kif 15168-15174	The measure of X is Y metric ton(s) if and only if the measure of X is Y and 2205.0 pound mass(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass)))	Mid-level-ontology.kif 15181-15185	If equal X, 1.0, and X, then equal X long ton(s) and X and 2240.0 pound mass(s)
(=> (instance ?X HandGrenade) (exists (?N) (and (measure ?X (MeasureFn ?N PoundMass)) (lessThan ?N 10.0))))	Mid-level-ontology.kif 24162-24168	If X is an instance of hand grenade, then there exists Y such that the measure of X is Y pound mass(s) and Y is less than 10.0
(=> (instance ?DragonWeapon DragonWeapon) (weight ?DragonWeapon (MeasureFn 33.9 PoundMass)))	MilitaryDevices.kif 864-867	If X is an instance of dragon weapon, then 33.9 pound mass(s) is a weight of X
(=> (instance ?JavelinWeapon JavelinWeapon) (weight ?JavelinWeapon (MeasureFn 49.5 PoundMass)))	MilitaryDevices.kif 923-926	If X is an instance of javelin weapon, then 49.5 pound mass(s) is a weight of X

statement

(equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram))	Merge.kif 7434-7436	equal X pound mass(s) and X and 453.59237 gram(s)
(equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))	Mid-level-ontology.kif 14897-14899	equal X Ounce(s) and X and 16.0 pound mass(s)
(equal (MeasureFn 1.0 MetricTon) (MeasureFn 2205.0 PoundMass))	Mid-level-ontology.kif 15164-15166	equal 1.0 metric ton(s) and 2205.0 pound mass(s)
(defaultMeasure Alligator (MeasureFn 790.0 PoundMass))	Mid-level-ontology.kif 22522-22522	The expected value of alligator is 790.0 pound mass(s)
(defaultMeasure Badger (MeasureFn 20.0 PoundMass))	Mid-level-ontology.kif 22535-22535	The expected value of badger is 20.0 pound mass(s)
(defaultMeasure Bear (MeasureFn 500.0 PoundMass))	Mid-level-ontology.kif 22547-22547	The expected value of bear is 500.0 pound mass(s)
(defaultMeasure Kangaroo (MeasureFn 18.0 PoundMass))	Mid-level-ontology.kif 22558-22558	The expected value of kangaroo is 18.0 pound mass(s)
(defaultMeasure Llama (MeasureFn 18.0 PoundMass))	Mid-level-ontology.kif 22566-22566	The expected value of llama is 18.0 pound mass(s)
(defaultMeasure Skunk (MeasureFn 5.0 PoundMass))	Mid-level-ontology.kif 22573-22573	The expected value of skunk is 5.0 pound mass(s)
(defaultMaximumMeasure Lion (MeasureFn 600.0 PoundMass))	Mid-level-ontology.kif 33018-33018	The maximum expected value of lion is 600.0 pound mass(s)
(defaultMaximumMeasure Rhinoceros (MeasureFn 2200.0 PoundMass))	Mid-level-ontology.kif 33095-33095	The maximum expected value of rhinoceros is 2200.0 pound mass(s)
(defaultMaximumMeasure Parrot (MeasureFn 9.0 PoundMass))	Mid-level-ontology.kif 33108-33108	The maximum expected value of parrot is 9.0 pound mass(s)
(defaultMaximumMeasure Lemur (MeasureFn 20.0 PoundMass))	Mid-level-ontology.kif 33124-33124	The maximum expected value of lemur is 20.0 pound mass(s)
(defaultMeasure Panda (MeasureFn 240.0 PoundMass))	Mid-level-ontology.kif 33143-33143	The expected value of panda is 240.0 pound mass(s)
(defaultMeasure Octopus (MeasureFn 33.0 PoundMass))	Mid-level-ontology.kif 33157-33157	The expected value of octopus is 33.0 pound mass(s)
(defaultMeasure Reindeer (MeasureFn 300.0 PoundMass))	Mid-level-ontology.kif 33178-33178	The expected value of reindeer is 300.0 pound mass(s)
(defaultMeasure Crocodile (MeasureFn 2000.0 PoundMass))	Mid-level-ontology.kif 33195-33195	The expected value of crocodile is 2000.0 pound mass(s)
(defaultMeasure Cheetah (MeasureFn 150.0 PoundMass))	Mid-level-ontology.kif 33215-33215	The expected value of cheetah is 150.0 pound mass(s)
(defaultMeasure Ferret (MeasureFn 2.0 PoundMass))	Mid-level-ontology.kif 33230-33230	The expected value of ferret is 2.0 pound mass(s)
(defaultMeasure GuineaPig (MeasureFn 2.0 PoundMass))	Mid-level-ontology.kif 33248-33248	The expected value of guinea pig is 2.0 pound mass(s)
(defaultMinimumMeasure BathTub (MeasureFn 70 PoundMass))	DimensioningAmenities.kif 35-35	The minimum expected value of tub is 70 pound mass(s)
(defaultMaximumMeasure BathTub (MeasureFn 200 PoundMass))	DimensioningAmenities.kif 36-36	The maximum expected value of tub is 200 pound mass(s)
(defaultMinimumMeasure WhirlpoolTub (MeasureFn 130 PoundMass))	DimensioningAmenities.kif 46-46	The minimum expected value of whirlpool tub is 130 pound mass(s)
(defaultMaximumMeasure WhirlpoolTub (MeasureFn 200 PoundMass))	DimensioningAmenities.kif 47-47	The maximum expected value of whirlpool tub is 200 pound mass(s)
(defaultMinimumMeasure GrecianTub (MeasureFn 100 PoundMass))	DimensioningAmenities.kif 57-57	The minimum expected value of grecian tub is 100 pound mass(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: