Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MacOSXTiger
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain lifeStageAchieved 1 BiologicalProcess) | VirusProteinAndCellPart.kif 226-226 | The number 1 argument of life stage achieved is an instance of biological process |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (instance ?O Organism) (not (capability BiologicalProcess agent ?O))) |
Merge.kif 10375-10378 | If X is an instance of organism, then X is not capable of doing biological process as a agent |
| (=> (instance ?O Organism) (capability BiologicalProcess experiencer ?O)) |
Merge.kif 10380-10382 | If X is an instance of organism, then X is capable of doing biological process as a experiencer |
| (=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (experiencer ?P ?ANI) (objectTransferred ?P ?W)))) |
Mid-level-ontology.kif 2761-2774 | If X is an instance of animal, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of biological process (3) Z is an instance of removing (4) Z originates at X (5) W is an instance of sewage (6) X experiences Z (7) the object transferred in Z is W |
| (=> (instance ?S Cholesterol) (exists (?P ?L) (and (instance ?P BiologicalProcess) (eventLocated ?P ?L) (instance ?L Liver) (result ?P ?S)))) |
Mid-level-ontology.kif 10072-10079 | If X is an instance of cholesterol, then there exist Y, Z such that Y is an instance of biological process, Y is located at Z, Z is an instance of liver, and X is a result of Y |
| (=> (and (secretesSubstance ?O ?S) (instance ?I1 ?O)) (exists (?P ?I2) (and (instance ?P BiologicalProcess) (eventLocated ?P ?I1) (result ?P ?I2) (instance ?I2 ?S)))) |
Mid-level-ontology.kif 13808-13817 | If X is a secretes substance of Y and Z is an instance of Y, then there exist W, V such that W is an instance of biological process, W is located at Z, V is a result of W, and V is an instance of X |
| (=> (and (instance ?G Gene) (located ?G ?C) (instance ?C Cell)) (exists (?B ?N ?R) (and (instance ?B BiologicalProcess) (eventLocated ?B ?C) (origin ?B ?G) (result ?B ?N) (instance ?N Nucleotide) (part ?N ?R) (instance ?R RNAMolecule) (located ?R ?C)))) |
VirusProteinAndCellPart.kif 639-653 | If X is an instance of gene, X is located at Y, and Y is an instance of cell, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of biological process (3) Z is located at Y (4) Z originates at X (5) W is a result of Z (6) W is an instance of nucleotide (7) W is a part of V (8) V is an instance of RNA molecule (9) V is located at Y |
| (=> (instance ?SUBSTANCE Toxin) (exists (?ORGANISM ?PROCESS) (and (instance ?ORGANISM ToxicOrganism) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (or (result ?PROCESS ?SUBSTANCE) (exists (?RESULT) (and (result ?PROCESS ?RESULT) (copy ?SUBSTANCE ?RESULT))))))) |
WMD.kif 160-172 | If X is an instance of toxin, then there exist Y, Z such that Y is an instance of toxic organism, Z is an instance of biological process, Y is an instrument for Z, X is a result of Z or there exists W such that W is a result of Z, and X is a copy of W |
| (=> (instance ?SUBSTANCE Mycotoxin) (exists (?FUNGUS ?PROCESS) (and (instance ?FUNGUS FungalAgent) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?FUNGUS) (result ?PROCESS ?SUBSTANCE)))) |
WMD.kif 215-222 | If X is an instance of mycotoxin, then there exist Y, Z such that Y is an instance of fungal agent, Z is an instance of biological process, Y is an instrument for Z, and X is a result of Z |
| (=> (instance ?AGENT ChemicalAgent) (not (exists (?ORGANISM ?PROCESS ?SUBSTANCE) (and (instance ?ORGANISM Organism) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (result ?PROCESS ?SUBSTANCE) (copy ?SUBSTANCE ?AGENT))))) |
WMD.kif 459-468 | If X is an instance of chemical agent, then there don't exist Y, Z, W such that Y is an instance of organism, Z is an instance of biological process, Y is an instrument for Z, W is a result of Z, and W is a copy of X |
| (=> (secretesToxin ?ORGANISM ?TOXIN) (forall (?INSTANCE1) (=> (instance ?INSTANCE1 ?ORGANISM) (exists (?PROCESS ?INSTANCE2) (and (instance ?PROCESS BiologicalProcess) (experiencer ?PROCESS ?INSTANCE1) (result ?PROCESS ?INSTANCE2) (instance ?INSTANCE2 ?TOXIN)))))) |
WMD.kif 984-994 | If X is a secretes toxin of Y, then For all AutonomousAgent Z: if Z is an instance of Y, then there exist W, V such that W is an instance of biological process, Z experiences W, V is a result of W, and V is an instance of X |
|