| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain systolicBloodPressure 1 Mammal) | Mid-level-ontology.kif 11829-11829 | The number 1 argument of systolic blood pressure is an instance of mammal |
| (domain diastolicBloodPressure 1 Mammal) | Mid-level-ontology.kif 11841-11841 | The number 1 argument of diastolic blood pressure is an instance of mammal |
| (domain restingHeartRate 1 Mammal) | Medicine.kif 115-115 | The number 1 argument of baseline heart rate is an instance of mammal |
| (domain restingBreathingRate 1 Mammal) | Medicine.kif 324-324 | The number 1 argument of resting breathing rate is an instance of mammal |
| (domainSubclass typicalBloodVolume 1 Mammal) | Medicine.kif 5919-5919 | The number 1 argument of typical blood volume is a subclass of mammal |
| consequent |
|
|
| (=> (instance ?P Platelet) (exists (?B ?M) (and (instance ?B Blood) (instance ?M Mammal) (part ?B ?M) (part ?P ?B)))) |
Mid-level-ontology.kif 11598-11605 | If X is an instance of thrombocyte, then there exist Y, Z such that Y is an instance of blood, Z is an instance of mammal, Y is a part of Z, and X is a part of Y |
| (=> (instance ?MILK Milk) (exists (?PROCESS ?MAMMAL) (and (instance ?MAMMAL Mammal) (attribute ?MAMMAL Female) (instrument ?PROCESS ?MAMMAL) (result ?PROCESS ?MILK)))) |
Mid-level-ontology.kif 12275-12282 | If X is an instance of milk, then there exist Y, Z such that Z is an instance of mammal, female is an attribute of Z, Z is an instrument for Y, and X is a result of Y |
| (=> (instance ?HAIR Hair) (exists (?MAMMAL ?TIME) (and (instance ?MAMMAL Mammal) (holdsDuring ?TIME (part ?HAIR ?MAMMAL))))) |
Mid-level-ontology.kif 13217-13223 | If X is an instance of hair, then there exist Y, Z such that Y is an instance of mammal, and X is a part of Y holds during Z |
| (=> (instance ?AT ApplyingTourniquet) (exists (?A ?P ?T) (and (instance ?A AutonomousAgent) (instance ?P Mammal) (holdsDuring (WhenFn ?AT) (attribute ?T Tourniquet)) (destination ?AT ?P) (agent ?AT ?A) (objectTransferred ?AT ?T)))) |
Medicine.kif 68-79 | If X is an instance of applying a tourniquet, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of agent (3) Z is an instance of mammal (4) tourniquet is an attribute of W holds during the time of existence of X (5) X ends up at Z (6) Y is an agent of X (7) the object transferred in X is W |
| (=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting)))))) |
Medicine.kif 4835-4842 | If X is an instance of blood thinner, then X has the purpose there exists Y such that Y is an instance of mammal and impairment in coagulation experiences Y |
|
|
|