consequent

(=>     (attribute ?D Dorsal)     (exists (?O)         (and             (or                 (instance ?O Organism)                 (instance ?O BodyPart))             (not                 (and                     (instance ?O Organism)                     (instance ?O BodyPart)))             (part ?D ?O)             (equal ?B                 (BackFn ?O))             (meetsSpatially ?B ?D))))	Anatomy.kif 2005-2019	If dorsal is an attribute of X, then there exists Y such that Y is an instance of organism or Y is an instance of body part and ~{ Y is an instance of organism } or ~{ Y is an instance of body part } and X is a part of Y and equal Z and the back of Y and Z meets X
(=>     (attribute ?V Ventral)     (exists (?O ?F)         (and             (or                 (instance ?O Organism)                 (instance ?O BodyPart))             (not                 (and                     (instance ?O Organism)                     (instance ?O BodyPart)))             (part ?V ?O)             (equal ?F                 (FrontFn ?O))             (meetsSpatially ?F ?V))))	Anatomy.kif 2026-2040	If ventral is an attribute of X, then there exist Y and Z such that Y is an instance of organism or Y is an instance of body part and ~{ Y is an instance of organism } or ~{ Y is an instance of body part } and X is a part of Y and equal Z and the front of Y and Z meets X
(=>     (instance ?A Abducting)     (exists (?BP ?ORGANISM ?TORSO ?MAF)         (and             (instance ?BP BodyPart)             (instance ?ORGANISM Organism)             (instance ?TORSO Torso)             (not                 (equal ?BP ?TORSO))             (subProcess ?MAF MovingAwayFrom)             (patient ?MAF ?BP)             (patient ?MAF ?TORSO)             (part ?BP ?ORGANISM)             (part ?TORSO ?ORGANISM)             (experiencer ?A Organism)             (moves ?A ?BP))))	Anatomy.kif 2048-2063	If X is an instance of abducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is a subprocess of moving away from (8) Y is a patient of V (9) W is a patient of V (10) Y is a part of Z (11) W is a part of Z (12) organism experiences X (13) Y moves during X
(=>     (instance ?A Adducting)     (exists (?BP ?ORGANISM ?TORSO ?MT)         (and             (instance ?BP BodyPart)             (instance ?ORGANISM Organism)             (instance ?TORSO Torso)             (not                 (equal ?BP ?TORSO))             (instance ?MT MovingTowards)             (subProcess ?MT ?A)             (patient ?MT ?BP)             (patient ?MT ?TORSO)             (part ?BP ?ORGANISM)             (part ?TORSO ?ORGANISM)             (experiencer ?A Organism)             (moves ?A ?BP))))	Anatomy.kif 2072-2088	If X is an instance of adducting, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of body part (3) Z is an instance of organism (4) W is an instance of torso (5) equal Y (6) W (7) V is an instance of moving towards (8) V is a subprocess of X (9) Y is a patient of V (10) W is a patient of V (11) Y is a part of Z (12) W is a part of Z (13) organism experiences X (14) Y moves during X
(=>     (and         (equal ?P             (OrganicObjectFn ?ORG))         (subclass ?P Object))     (or         (subclass ?ORG Organism)         (subclass ?ORG AnatomicalStructure)))	Economy.kif 5594-5601	If equal X and Object made from Y and X is a subclass of object, then Y is a subclass of organism or Y is a subclass of anatomical structure
(=>     (attribute ?FOOD RawAttribute)     (instance ?FOOD         (FoodForFn Organism)))	Food.kif 51-53	If raw food is an attribute of X, then X is an instance of food for organism
(=>     (patient ?RAIN AcidRainfall)     (modalAttribute         (exists (?D ?O ?X ?L)             (and                 (instance ?D Damaging)                 (causes ?RAIN ?D)                 (instrument ?D ?RAIN)                 (instance ?O Organism)                 (instance ?X StationaryArtifact)                 (instance ?L Outdoors)                 (located ?X ?L)                 (located ?O ?L)                 (or                     (patient ?D ?O)                     (patient ?D ?X)))) Possibility))	Geography.kif 3974-3989	If acid rainfall is a patient of X, then All of the following hold: (1) the statement there exist Y, Z,, , W (2) V such that Y is an instance of damaging (3) X causes Y (4) X is an instrument for Y (5) Z is an instance of organism (6) W is an instance of stationary artifact (7) V is an instance of outdoors (8) W is located at V (9) Z is located at V (10) Z is a patient of Y or W is a patient of Y has the modal force of possibility
(=>     (instance ?C Catheter)     (hasPurpose ?C         (exists (?M ?O ?OBJ ?L)             (and                 (instance ?O Organism)                 (instance ?M Motion)                 (moves ?M ?OBJ)                 (orientation ?L ?O Outside)                 (path ?M ?C)                 (or                     (and                         (origin ?M ?L)                         (destination ?M ?O))                     (and                         (origin ?M ?O)                         (destination ?M ?L)))))))	Medicine.kif 525-541	If X is an instance of cannula, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Z is an instance of organism (3) Y is an instance of motion (4) W moves during Y (5) V is outside of to Z (6) X is path along which Y occurs (7) Y originates at V (8) Y ends up at Z or Y originates at Z (9) Y ends up at V
(=>     (instance ?C Catheterization)     (exists (?CATH ?O)         (and             (instance ?CATH Catheter)             (instance ?O Organism)             (objectTransferred ?C ?CATH)             (destination ?C ?O))))	Medicine.kif 547-554	If X is an instance of catheterization, then there exist Y, Z such that Y is an instance of cannula, Z is an instance of organism, the object transferred in X is Y, and X ends up at Z
(=>     (instance ?PROC BiologicalProcess)     (exists (?OBJ)         (and             (instance ?OBJ Organism)             (eventLocated ?PROC ?OBJ))))	Merge.kif 10296-10301	If X is an instance of biological process, then there exists Y such that Y is an instance of organism and X is located at Y
(=>     (and         (instance ?PROC BiologicalProcess)         (experiencer ?PROC ?ORG))     (instance ?ORG Organism))	Merge.kif 10303-10307	If X is an instance of biological process and Y experiences X, then Y is an instance of organism
(=>     (and         (instance ?ACT Ingesting)         (resource ?ACT ?F))     (or         (instance ?F             (FoodForFn Organism))         (instance ?F Medicine)))	Merge.kif 10412-10418	If X is an instance of ingesting and Y is a resource for X, then Y is an instance of food for organism or Y is an instance of medicine
(=>     (instance ?INJ Injuring)     (and         (instance ?INJ Damaging)         (exists (?ORGANISM)             (and                 (instance ?ORGANISM Organism)                 (patient ?INJ ?ORGANISM)))))	Merge.kif 10598-10605	If X is an instance of injuring, then X is an instance of damaging and there exists Y such that Y is an instance of organism and Y is a patient of X
(=>     (instance ?POISON Poisoning)     (exists (?THING)         (and             (patient ?POISON ?THING)             (or                 (instance ?THING Organism)                 (instance ?THING AnatomicalStructure)))))	Merge.kif 10621-10628	If X is an instance of poisoning, then there exists Y such that Y is a patient of X and Y is an instance of organism or Y is an instance of anatomical structure
(=>     (instance ?MOTION BodyMotion)     (exists (?AGENT)         (and             (instance ?AGENT Organism)             (agent ?MOTION ?AGENT))))	Merge.kif 11277-11282	If X is an instance of body motion, then there exists Y such that Y is an instance of organism and Y is an agent of X
(=>     (and         (instance ?PROC TherapeuticProcess)         (patient ?PROC ?BIO))     (or         (instance ?BIO Organism)         (exists (?ORG)             (and                 (instance ?ORG Organism)                 (part ?BIO ?ORG)))))	Merge.kif 12416-12425	If X is an instance of therapeutic process and Y is a patient of X, then Y is an instance of organism or there exists Z such that Z is an instance of organism and Y is a part of Z
(=>     (and         (instance ?KILL Killing)         (agent ?KILL ?AGENT)         (patient ?KILL ?PATIENT))     (and         (instance ?AGENT Organism)         (instance ?PATIENT Organism)))	Merge.kif 12468-12475	If X is an instance of killing, Y is an agent of X, and Z is a patient of X, then Y is an instance of organism and Z is an instance of organism
(=>     (and         (instance ?FUNGUS Fungus)         (inhabits ?FUNGUS ?OBJ))     (instance ?OBJ Organism))	Merge.kif 14606-14610	If X is an instance of fungus and X lives in Y, then Y is an instance of organism
(=>     (and         (instance ?BACTERIUM Bacterium)         (inhabits ?BACTERIUM ?OBJ))     (instance ?OBJ Organism))	Merge.kif 14647-14651	If X is an instance of bacterium and X lives in Y, then Y is an instance of organism
(=>     (and         (instance ?VIRUS Virus)         (inhabits ?VIRUS ?OBJ))     (instance ?OBJ Organism))	Merge.kif 14659-14663	If X is an instance of virus and X lives in Y, then Y is an instance of organism
(=>     (instance ?ANAT AnatomicalStructure)     (exists (?ORGANISM ?TIME)         (and             (instance ?ORGANISM Organism)             (temporalPart ?TIME                 (WhenFn ?ORGANISM))             (holdsDuring ?TIME                 (part ?ANAT ?ORGANISM)))))	Merge.kif 15096-15102	If X is an instance of anatomical structure, then there exist Y, Z such that Y is an instance of organism, Z is a part of the time of existence of Y, and X is a part of Y holds during Z
(=>     (instance ?PART BodyPart)     (exists (?ORGANISM ?TIME)         (and             (instance ?ORGANISM Organism)             (temporalPart ?TIME                 (WhenFn ?ORGANISM))             (holdsDuring ?TIME                 (component ?PART ?ORGANISM)))))	Merge.kif 15130-15136	If X is an instance of body part, then there exist Y, Z such that Y is an instance of organism, Z is a part of the time of existence of Y, and X is a component of Y holds during Z
(=>     (instance ?COVER BodyCovering)     (exists (?BODY)         (and             (superficialPart ?COVER ?BODY)             (or                 (instance ?BODY Organism)                 (instance ?BODY BodyPart)))))	Merge.kif 15252-15259	If X is an instance of body covering, then there exists Y such that X is a superficial part of Y and Y is an instance of organism or Y is an instance of body part
(=>     (instance ?STUFF Tissue)     (exists (?ORGANISM)         (and             (instance ?ORGANISM Organism)             (part ?STUFF ?ORGANISM))))	Merge.kif 15316-15321	If X is an instance of tissue, then there exists Y such that Y is an instance of organism and X is a part of Y
(=>     (instance ?ATTR PsychologicalAttribute)     (=>         (and             (holdsDuring ?TIME                 (attribute ?ORGANISM ?ATTR))             (instance ?ORGANISM Organism))         (holdsDuring ?TIME             (attribute ?ORGANISM Living))))	Merge.kif 18477-18483	Assuming X is an instance of psychological attribute, it follows that: if X is an attribute of Y holds during Z and Y is an instance of organism, then living is an attribute of Y holds during Z
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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