Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Organism(organism)
more pictures... |  | 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 |
|
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| ! [V__O] : ((s__instance(V__O,s__Organism) => ~(s__capability(s__BiologicalProcess,s__agent,V__O))) )
|
Merge.kif 10375-10378 | If X is an instance of organism, then X is not capable of doing biological process as a agent |
| ! [V__O] : ((s__instance(V__O,s__Organism) => s__capability(s__BiologicalProcess,s__experiencer,V__O)) )
|
Merge.kif 10380-10382 | If X is an instance of organism, then X is capable of doing biological process as a experiencer |
| ! [V__DEATH : $i,V__ORG : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__ORG, s__Organism) & s__experiencer(V__DEATH, V__ORG)) => ( ? [V__REM:$i, V__OBJ:$i] : ((s__result(V__DEATH, V__REM) & s__instance(V__REM, s__OrganicObject) & s__holdsDuring(s__FutureFn(s__WhenFn(V__DEATH)), s__attribute(V__REM, s__Dead)) & (s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__REM)) => s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__ORG)))))))) | Merge.kif 10450-10469 | If X is an instance of death, Y is an instance of organism, and Y experiences X, then there exist Z and W such that Z is a result of X and Z is an instance of organic object and dead is an attribute of Z holds during after the time of existence of X and W is a part of Z holds during immediately after the time of existence of XW is a part of Y holds during immediately before the time of existence of X |
| ! [V__INJ,V__ORGANISM] : (((s__instance(V__INJ,s__Damaging) & s__instance(V__ORGANISM,s__Organism) & s__patient(V__INJ,V__ORGANISM)) => s__instance(V__INJ,s__Injuring)) )
|
Merge.kif 10694-10699 | If X is an instance of damaging, Y is an instance of organism, and Y is a patient of X, then X is an instance of injuring |
| ! [V__O] : ((s__instance(V__O,s__Organism) => s__capability(s__Killing,s__agent,V__O)) )
|
Merge.kif 12609-12611 | If X is an instance of organism, then X is capable of doing killing as a agent |
| ! [V__O] : ((s__instance(V__O,s__Organism) => s__capability(s__Killing,s__patient,V__O)) )
|
Merge.kif 12613-12615 | If X is an instance of organism, then X is capable of doing killing as a patient |
| ! [V__ORGANISM] : ((s__instance(V__ORGANISM,s__Organism) => (? [V__BIRTH] : ((s__instance(V__BIRTH,s__Birth) & s__experiencer(V__BIRTH,V__ORGANISM))))) )
|
Merge.kif 14674-14679 | If X is an instance of organism, then there exists Y such that Y is an instance of birth and X experiences Y |
| ! [V__SUBSTANCE,V__ANIMAL] : (((s__instance(V__SUBSTANCE,s__AnimalSubstance) & s__instance(V__ANIMAL,s__Organism) & s__part(V__SUBSTANCE,V__ANIMAL)) => s__instance(V__ANIMAL,s__Animal)) )
|
Merge.kif 15128-15133 | If X is an instance of animal substance, Y is an instance of organism, and X is a part of Y, then Y is an instance of animal |
| ! [V__SUBSTANCE,V__PLANT] : (((s__instance(V__SUBSTANCE,s__PlantSubstance) & s__instance(V__PLANT,s__Organism) & s__part(V__SUBSTANCE,V__PLANT)) => s__instance(V__PLANT,s__Plant)) )
|
Merge.kif 15139-15144 | If X is an instance of plant substance, Y is an instance of organism, and X is a part of Y, then Y is an instance of plant |
| ! [V__STRUCTURE,V__ANIMAL] : (((s__instance(V__STRUCTURE,s__AnimalAnatomicalStructure) & s__instance(V__ANIMAL,s__Organism) & s__part(V__STRUCTURE,V__ANIMAL)) => s__instance(V__ANIMAL,s__Animal)) )
|
Merge.kif 15296-15301 | If X is an instance of animal anatomical structure, Y is an instance of organism, and X is a part of Y, then Y is an instance of animal |
| ! [V__STRUCTURE,V__PLANT] : (((s__instance(V__STRUCTURE,s__PlantAnatomicalStructure) & s__instance(V__PLANT,s__Organism) & s__part(V__STRUCTURE,V__PLANT)) => s__instance(V__PLANT,s__Plant)) )
|
Merge.kif 15307-15312 | If X is an instance of plant anatomical structure, Y is an instance of organism, and X is a part of Y, then Y is an instance of plant |
| ! [V__A1 : $i,V__A2 : $i,V__T1 : $i] : (((s__holdsDuring(V__T1, s__legalRelation(V__A1, V__A2)) & s__instance(V__A1, s__Organism) & s__instance(V__A2, s__Organism)) => s__holdsDuring(V__T1, s__relative(V__A1, V__A2)))) | Merge.kif 16683-16688 | If there is a legal relation between X and Y holds during Z, X is an instance of organism, and Y is an instance of organism, then Y is a relative of X holds during Z |
| ! [V__CHILD,V__PARENT,V__CLASS] : (((s__instance(V__CHILD,s__Organism) & s__instance(V__PARENT,s__Organism) & s__instance(V__CLASS,s__Class)) => ((s__parent(V__CHILD,V__PARENT) & s__subclass(V__CLASS,s__Organism) & s__instance(V__PARENT,V__CLASS)) => s__instance(V__CHILD,V__CLASS))) )
|
Merge.kif 16738-16743 | If X is a parent of Y, Z is a subclass of organism, and X is an instance of Z, then Y is an instance of Z |
| ! [V__ORGANISM] : ((s__instance(V__ORGANISM,s__Organism) => (? [V__PARENT] : ((s__instance(V__PARENT,s__Organism) & s__parent(V__ORGANISM,V__PARENT))))) )
|
Merge.kif 16755-16758 | If X is an instance of organism, then there exists Y such that Y is a parent of X |
| ! [V__ORGANISM : $i,V__PROCESS : $i] : (((s__instance(V__ORGANISM, s__Organism) & s__agent(V__PROCESS, V__ORGANISM)) => s__holdsDuring(s__WhenFn(V__PROCESS), s__attribute(V__ORGANISM, s__Living)))) | Merge.kif 18425-18429 | If X is an instance of organism and X is an agent of Y, then living is an attribute of X holds during the time of existence of Y |
| ! [V__ORG] : ((s__instance(V__ORG,s__Organism) => (? [V__ATTR] : ((s__instance(V__ATTR,s__AnimacyAttribute) & s__attribute(V__ORG,V__ATTR))))) )
|
Merge.kif 18437-18442 | If X is an instance of organism, then there exists Y such that Y is an instance of animacy attribute and Y is an attribute of X |
| ! [V__BODY,V__ORG] : (((s__instance(V__BODY,s__ReproductiveBody) & s__part(V__BODY,V__ORG) & s__instance(V__ORG,s__Organism)) => s__attribute(V__ORG,s__Female)) )
|
Merge.kif 18458-18463 | If X is an instance of reproductive body, X is a part of Y, and Y is an instance of organism, then female is an attribute of Y |
| ! [V__ORG] : ((s__instance(V__ORG,s__Organism) => (? [V__ATTR] : ((s__instance(V__ATTR,s__DevelopmentalAttribute) & s__attribute(V__ORG,V__ATTR))))) )
|
Merge.kif 18499-18504 | If X is an instance of organism, then there exists Y such that Y is an instance of developmental attribute and Y is an attribute of X |
| ! [V__REM,V__DEATH,V__ORG] : (((s__instance(V__REM,s__OrganicObject) & s__instance(V__DEATH,s__Death) & s__instance(V__ORG,s__Organism) & s__experiencer(V__DEATH,V__ORG) & s__result(V__DEATH,V__REM)) => s__instance(V__REM,s__OrganismRemains)) )
|
Mid-level-ontology.kif 45-52 | If X is an instance of organic object, Y is an instance of death, Z is an instance of organism, Z experiences Y, and X is a result of Y, then X is an instance of organism remains |
| ! [V__DEATH : $i,V__OBJ : $i,V__ORG : $i,V__REM : $i,V__T1 : $i,V__T2 : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__REM, s__OrganismRemains) & s__instance(V__ORG, s__Organism) & s__holdsDuring(V__T2, s__part(V__OBJ, V__REM)) & s__holdsDuring(V__T1, s__part(V__OBJ, V__ORG)) & s__earlier(V__T1, V__T2) & s__result(V__DEATH, V__REM)) => s__experiencer(V__DEATH, V__ORG))) | Mid-level-ontology.kif 61-70 | If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Y is a result of X, then Z experiences X |
| ! [V__DEATH : $i,V__OBJ : $i,V__ORG : $i,V__REM : $i,V__T1 : $i,V__T2 : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__REM, s__OrganismRemains) & s__instance(V__ORG, s__Organism) & s__holdsDuring(V__T2, s__part(V__OBJ, V__REM)) & s__holdsDuring(V__T1, s__part(V__OBJ, V__ORG)) & s__earlier(V__T1, V__T2) & s__experiencer(V__DEATH, V__ORG)) => s__result(V__DEATH, V__REM))) | Mid-level-ontology.kif 72-81 | If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Z experiences X, then Y is a result of X |
| ! [V__ORG : $i] : ((s__instance(V__ORG, s__Organism) => s__holdsDuring(s__WhenFn(V__ORG), s__attribute(V__ORG, s__Living)))) | Mid-level-ontology.kif 83-86 | If X is an instance of organism, then living is an attribute of X holds during the time of existence of X |
| ! [V__GUN : $i,V__LM : $real,V__LM1 : $real,V__O : $i,V__U : $i] : (((s__instance(V__GUN, s__Gun) & s__instance(V__U, s__UnitOfLength) & s__effectiveRange(V__GUN, s__MeasureFn(V__LM, V__U)) & s__distance(V__GUN, V__O, s__MeasureFn(V__LM1, V__U)) & s__instance(V__O, s__Organism) & ~(( ? [V__O2:$i] : (s__between(V__O, V__O2, V__GUN)))) & ($lesseq(V__LM1,V__LM))) => ( ? [V__KILLING:$i] : (s__capability(s__KappaFn(V__KILLING, (s__instance(V__KILLING, s__Killing) & s__patient(V__KILLING, V__O))), s__instrument, V__GUN))))) | Mid-level-ontology.kif 1684-1703 | If All of the following hold: (1) X is an instance of gun (2) Y is an instance of unit of length (3) Z Y(s) is an effective range of X (4) the distance between X and W is V Y(s) (5) W is an instance of organism (6) there doesn't exist U such that U is between W and X (7) V is less than or equal to Z, then there exists T such that X is capable of doing the class described by T as a instrument |
| ! [V__O] : ((s__instance(V__O,s__Organism) => s__attribute(V__O,s__Mortal)) )
|
Mid-level-ontology.kif 26572-26574 | If X is an instance of organism, then mortal is an attribute of X |
| ! [V__P,V__M,V__X] : (((s__instance(V__P,s__ForestProduct) & s__instance(V__M,s__Manufacture) & s__result(V__M,V__P) & s__patient(V__M,V__X) & s__instance(V__X,s__Organism)) => (? [V__A,V__F] : ((s__instance(V__A,s__Agriculture) & s__result(V__A,V__X) & s__eventLocated(V__A,V__F) & s__instance(V__F,s__Forest))))) )
|
Economy.kif 5559-5571 | If X is an instance of forest product, Y is an instance of manufacture, X is a result of Y, Z is a patient of Y, and Z is an instance of organism, then there exist W, V such that W is an instance of agriculture, Z is a result of W, W is located at V, and V is an instance of forest |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| ! [V__PROC] : ((s__instance(V__PROC,s__BiologicalProcess) => (? [V__OBJ] : ((s__instance(V__OBJ,s__Organism) & s__eventLocated(V__PROC,V__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 |
| ! [V__ORG,V__PROC] : ((s__instance(V__ORG,s__AutonomousAgent) => ((s__instance(V__PROC,s__BiologicalProcess) & s__experiencer(V__PROC,V__ORG)) => s__instance(V__ORG,s__Organism))) )
|
Merge.kif 10369-10373 | If X is an instance of biological process and Y experiences X, then Y is an instance of organism |
| ! [V__INJ] : ((s__instance(V__INJ,s__Injuring) => (s__instance(V__INJ,s__Damaging) & (? [V__ORGANISM] : ((s__instance(V__ORGANISM,s__Organism) & s__patient(V__INJ,V__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 |
| ! [V__POISON] : ((s__instance(V__POISON,s__Poisoning) => (? [V__THING] : ((s__patient(V__POISON,V__THING) & (s__instance(V__THING,s__Organism) | s__instance(V__THING,s__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 |
| ! [V__MOTION] : ((s__instance(V__MOTION,s__BodyMotion) => (? [V__AGENT] : ((s__instance(V__AGENT,s__Organism) & s__agent(V__MOTION,V__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 |
| ! [V__BIO,V__PROC] : ((s__instance(V__BIO,s__Object) => ((s__instance(V__PROC,s__TherapeuticProcess) & s__patient(V__PROC,V__BIO)) => (s__instance(V__BIO,s__Organism) | (? [V__ORG] : ((s__instance(V__ORG,s__Organism) & s__part(V__BIO,V__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 |
| ! [V__AGENT,V__KILL,V__PATIENT] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((s__instance(V__KILL,s__Killing) & s__agent(V__KILL,V__AGENT) & s__patient(V__KILL,V__PATIENT)) => (s__instance(V__AGENT,s__Organism) & s__instance(V__PATIENT,s__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 |
| ! [V__OBJ,V__FUNGUS] : ((s__instance(V__OBJ,s__Object) => ((s__instance(V__FUNGUS,s__Fungus) & s__inhabits(V__FUNGUS,V__OBJ)) => s__instance(V__OBJ,s__Organism))) )
|
Merge.kif 14743-14747 | If X is an instance of fungus and X lives in Y, then Y is an instance of organism |
| ! [V__OBJ,V__BACTERIUM] : ((s__instance(V__OBJ,s__Object) => ((s__instance(V__BACTERIUM,s__Bacterium) & s__inhabits(V__BACTERIUM,V__OBJ)) => s__instance(V__OBJ,s__Organism))) )
|
Merge.kif 14784-14788 | If X is an instance of bacterium and X lives in Y, then Y is an instance of organism |
| ! [V__OBJ,V__VIRUS] : ((s__instance(V__OBJ,s__Object) => ((s__instance(V__VIRUS,s__Virus) & s__inhabits(V__VIRUS,V__OBJ)) => s__instance(V__OBJ,s__Organism))) )
|
Merge.kif 14796-14800 | If X is an instance of virus and X lives in Y, then Y is an instance of organism |
| ! [V__ANAT : $i] : ((s__instance(V__ANAT, s__AnatomicalStructure) => ( ? [V__ORGANISM:$i, V__TIME:$i] : ((s__instance(V__ORGANISM, s__Organism) & s__temporalPart(V__TIME, s__WhenFn(V__ORGANISM)) & s__holdsDuring(V__TIME, s__part(V__ANAT, V__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 |
| ! [V__PART : $i] : ((s__instance(V__PART, s__BodyPart) => ( ? [V__ORGANISM:$i, V__TIME:$i] : ((s__instance(V__ORGANISM, s__Organism) & s__temporalPart(V__TIME, s__WhenFn(V__ORGANISM)) & s__holdsDuring(V__TIME, s__component(V__PART, V__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 |
| ! [V__COVER] : ((s__instance(V__COVER,s__BodyCovering) => (? [V__BODY] : ((s__superficialPart(V__COVER,V__BODY) & (s__instance(V__BODY,s__Organism) | s__instance(V__BODY,s__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 |
| ! [V__STUFF] : ((s__instance(V__STUFF,s__Tissue) => (? [V__ORGANISM] : ((s__instance(V__ORGANISM,s__Organism) & s__part(V__STUFF,V__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 |
| ! [V__ATTR : $i,V__ORGANISM : $i,V__TIME : $i] : ((s__instance(V__ATTR, s__PsychologicalAttribute) => ((s__holdsDuring(V__TIME, s__attribute(V__ORGANISM, V__ATTR)) & s__instance(V__ORGANISM, s__Organism)) => s__holdsDuring(V__TIME, s__attribute(V__ORGANISM, s__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 |
| ! [V__OBJ : $i,V__REM : $i] : (((s__instance(V__REM, s__OrganismRemains) & s__holdsDuring(s__WhenFn(V__REM), s__part(V__OBJ, V__REM))) => ( ? [V__ORG:$i] : ((s__instance(V__ORG, s__Organism) & s__earlier(s__WhenFn(V__ORG), s__WhenFn(V__REM)) & s__finishes(s__WhenFn(V__REM), s__WhenFn(V__ORG)) & s__holdsDuring(s__WhenFn(V__ORG), s__part(V__OBJ, V__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 |
| ! [V__VOCAL] : ((s__instance(V__VOCAL,s__Vocalizing) => (? [V__CORD,V__ORGANISM] : ((s__instance(V__CORD,s__VocalCords) & s__instrument(V__VOCAL,V__CORD) & s__part(V__CORD,V__ORGANISM) & s__instance(V__ORGANISM,s__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 |
| ! [V__X] : ((s__instance(V__X,s__Excrement) => (? [V__PROC,V__ORG] : ((s__instance(V__ORG,s__Organism) & s__instance(V__PROC,s__PhysiologicProcess) & s__result(V__PROC,V__X) & s__agent(V__PROC,V__ORG))))) )
|
Mid-level-ontology.kif 2666-2673 | 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 |
| ! [V__PROC] : ((s__instance(V__PROC,s__Excreting) => (? [V__ORG,V__WASTE,V__PART] : ((s__instance(V__ORG,s__Organism) & s__agent(V__PROC,V__ORG) & s__patient(V__PROC,V__WASTE) & s__instance(V__WASTE,s__Excrement) & s__instance(V__PART,s__BodyPart) & s__instrument(V__PROC,V__PART))))) )
|
Mid-level-ontology.kif 2717-2726 | 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 |
| ! [V__H,V__I] : ((s__instance(V__H,s__AutonomousAgent) => ((s__instance(V__I,s__Infecting) & s__experiencer(V__I,V__H)) => (? [V__T,V__R,V__O] : ((s__instance(V__T,s__Translocation) & s__moves(V__T,V__O) & s__instance(V__O,s__Organism) & s__instance(V__R,s__Replication) & s__experiencer(V__R,V__O) & s__subProcess(V__T,V__I) & s__subProcess(V__R,V__I)))))) )
|
Mid-level-ontology.kif 6966-6978 | 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) V moves during Z (4) V is an instance of organism (5) W is an instance of replication (6) V experiences W (7) Z is a subprocess of X (8) W is a subprocess of X |
| ! [V__F,V__ACT] : ((s__instance(V__F,s__Object) => ((s__instance(V__ACT,s__Ingesting) & s__resource(V__ACT,V__F)) => (s__instance(V__F,s__FoodForFn(s__Organism)) | s__instance(V__F,s__Medicine)))) )
|
Mid-level-ontology.kif 10743-10749 | 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 |
| ! [V__FOOD,V__CHEW] : ((s__instance(V__FOOD,s__Object) => ((s__instance(V__CHEW,s__Chewing) & s__resource(V__CHEW,V__FOOD)) => s__instance(V__FOOD,s__FoodForFn(s__Organism)))) )
|
Mid-level-ontology.kif 13054-13058 | If X is an instance of chewing and Y is a resource for X, then Y is an instance of food for organism |
| ! [V__ORG : $i] : ((s__attribute(V__ORG, s__Greedy) => ( ? [V__OBJ:$i] : ((s__instance(V__ORG, s__Organism) & s__instance(V__OBJ, s__Physical) & s__desires(V__ORG, s__possesses(V__ORG, V__OBJ)) & ~(s__modalAttribute(s__possesses(V__ORG, V__OBJ), s__Necessity))))))) | Mid-level-ontology.kif 21732-21740 | 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 |
| ! [V__F] : (((s__instance(V__F,s__Class) & s__subclass(V__F,s__Process)) => (s__subclass(V__F,s__Fertilisation) => s__capability(V__F,s__patient,s__Organism))) )
|
Mid-level-ontology.kif 26273-26275 | If X is a subclass of conceiving, then organism is capable of doing X as a patient |
| ! [V__O] : ((s__instance(V__O,s__Object) => (s__attribute(V__O,s__Mortal) => (s__instance(V__O,s__Organism) & s__capability(s__Death,s__experiencer,V__O)))) )
|
Mid-level-ontology.kif 26566-26570 | 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 |
|