consequent

(=>     (instance ?P Platelet)     (exists (?B ?M)         (and             (instance ?B Blood)             (instance ?M Mammal)             (part ?B ?M)             (part ?P ?B))))	Mid-level-ontology.kif 11650-11657	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 12326-12333	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 13286-13292	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 4874-4881	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

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