consequent

(=>     (instance ?P Platelet)     (exists (?B ?M)         (and             (instance ?B Blood)             (instance ?M Mammal)             (part ?B ?M)             (part ?P ?B))))	Mid-level-ontology.kif 11568-11575	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 12241-12248	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 13183-13189	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 67-78	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 4836-4843	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners