| Organism(organism) | | Bittacidae, Panorpidae, Pyrrophyta, acephalous, achondritic, acid-loving, acidophilic, acidophilous, aciduric, aerobiosis, alkaline-loving, allopatric, amorphous, amphibiotic, amphidiploid, aneuploid, animate_thing, apivorous, arboreal, arboreous, armed, artificial, atavist, awnless, barbed, barbellate, bearded, being, benthos, biological_group, biology, biont, biota, biotic, biotype, biotypic, biparous, bloodsucking, brachiate, briary, briery, bristled, bristly, burred, burry, canescent, carnivorous, carrier, chondritic, class... |
| appearance as argument number 1 |
|
|
| (subclass Organism OrganicObject) | Merge.kif 14667-14667 | Organism is a subclass of organic object |
| (subclass Organism AutonomousAgent) | Merge.kif 14668-14668 | Organism is a subclass of agent |
| (disjoint Organism Artifact) | Merge.kif 14669-14669 | Organism is disjoint from artifact |
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14670-14670 | Organism is exhaustively partitioned into animal, plant, fungus, and microorganism |
| (documentation Organism EnglishLanguage "Generally, a living individual, including all Plants and Animals.") | Merge.kif 14671-14672 | Organism is exhaustively partitioned into animal, plant, fungus, and microorganism |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (eventLocated ?PROC ?OBJ)))) |
Merge.kif 10362-10367 | 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 10369-10373 | If X is an instance of biological process and Y experiences X, then Y is an instance of organism |
| (=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (patient ?INJ ?ORGANISM))))) |
Merge.kif 10685-10692 | 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 10708-10715 | 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 11371-11376 | 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 12530-12539 | 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 12582-12589 | 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 14743-14747 | 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 14784-14788 | 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 14796-14800 | 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 15230-15236 | 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 15264-15270 | 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 15373-15380 | 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 15437-15442 | 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 18611-18617 | 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 |
| (=> (and (instance ?REM OrganismRemains) (holdsDuring (WhenFn ?REM) (part ?OBJ ?REM))) (exists (?ORG) (and (instance ?ORG Organism) (earlier (WhenFn ?ORG) (WhenFn ?REM)) (finishes (WhenFn ?REM) (WhenFn ?ORG)) (holdsDuring (WhenFn ?ORG) (part ?OBJ ?ORG))))) |
Mid-level-ontology.kif 32-43 | If X is an instance of organism remains and Y is a part of X holds during the time of existence of X, then there exists Z such that Z is an instance of organism, the time of existence of Z happens earlier than the time of existence of X, the time of existence of X finishes the time of existence of Z, and Y is a part of Z holds during the time of existence of Z |
| (=> (instance ?VOCAL Vocalizing) (exists (?CORD ?ORGANISM) (and (instance ?CORD VocalCords) (instrument ?VOCAL ?CORD) (part ?CORD ?ORGANISM) (instance ?ORGANISM Organism)))) |
Mid-level-ontology.kif 778-785 | If X is an instance of vocalizing, then there exist Y, Z such that Y is an instance of vocal cords, Y is an instrument for X, Y is a part of Z, and Z is an instance of organism |
| (=> (instance ?X Excrement) (exists (?PROC ?ORG) (and (instance ?ORG Organism) (instance ?PROC PhysiologicProcess) (result ?PROC ?X) (agent ?PROC ?ORG)))) |
Mid-level-ontology.kif 2638-2645 | If X is an instance of excrement, then there exist Y, Z such that Z is an instance of organism, Y is an instance of physiologic process, X is a result of Y, and Z is an agent of Y |
| (=> (instance ?PROC Excreting) (exists (?ORG ?WASTE ?PART) (and (instance ?ORG Organism) (agent ?PROC ?ORG) (patient ?PROC ?WASTE) (instance ?WASTE Excrement) (instance ?PART BodyPart) (instrument ?PROC ?PART)))) |
Mid-level-ontology.kif 2689-2698 | If X is an instance of excreting, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of organism (3) Y is an agent of X (4) Z is a patient of X (5) Z is an instance of excrement (6) W is an instance of body part (7) W is an instrument for X |
| (=> (and (instance ?I Infecting) (experiencer ?I ?H)) (exists (?T ?R ?O) (and (instance ?T Translocation) (moves ?T ?O) (instance ?O Organism) (instance ?R Replication) (experiencer ?R ?O) (subProcess ?T ?I) (subProcess ?R ?I)))) |
Mid-level-ontology.kif 6928-6940 | If X is an instance of infecting and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of translocation (3) moves Z (4) V (5) V is an instance of organism (6) W is an instance of replication (7) V experiences W (8) Z is a subprocess of X (9) W is a subprocess of X |
| (=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine))) |
Mid-level-ontology.kif 10705-10711 | 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 |
| (=> (and (instance ?CHEW Chewing) (resource ?CHEW ?FOOD)) (instance ?FOOD (FoodForFn Organism))) |
Mid-level-ontology.kif 13015-13019 | If X is an instance of chewing and Y is a resource for X, then Y is an instance of food for organism |
| (=> (attribute ?ORG Greedy) (exists (?OBJ) (and (instance ?ORG Organism) (instance ?OBJ Physical) (desires ?ORG (possesses ?ORG ?OBJ)) (not (modalAttribute (possesses ?ORG ?OBJ) Necessity))))) |
Mid-level-ontology.kif 21686-21694 | If greedy is an attribute of X, then there exists Y such that X is an instance of organism, Y is an instance of physical, X desires X possesses Y, and the statement X doesn't possess Y doesn't have the modal force of necessity |
| (=> (subclass ?F Fertilisation) (capability ?F patient Organism)) |
Mid-level-ontology.kif 26227-26229 | If X is a subclass of conceiving, then organism is capable of doing X as a patient |
| (=> (attribute ?O Mortal) (and (instance ?O Organism) (capability Death experiencer ?O))) |
Mid-level-ontology.kif 26520-26524 | If mortal is an attribute of X, then X is an instance of organism and X is capable of doing death as a experiencer |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|