| BiologicalProcess | |
| appearance as argument number 1 |
|
|
| (documentation BiologicalProcess ChineseLanguage "这是一个体现在一个 Organism 的 Process。") | chinese_format.kif 2895-2895 | |
| (documentation BiologicalProcess EnglishLanguage "A Process embodied in an Organism.") | Merge.kif 10259-10259 | |
| (documentation BiologicalProcess JapaneseLanguage "Process は、Organism に組み込まれて いる。") | japanese_format.kif 1643-1644 | |
| (subclass BiologicalProcess InternalChange) | Merge.kif 10257-10257 |
| appearance as argument number 2 |
|
|
| (rangeSubclass ImpairmentFn BiologicalProcess) | Merge.kif 13609-13609 | |
| (subclass Fermentation BiologicalProcess) | Food.kif 3549-3549 | |
| (subclass Metabolism BiologicalProcess) | Mid-level-ontology.kif 11427-11427 | |
| (subclass NerveFiring BiologicalProcess) | Anatomy.kif 1934-1934 | |
| (subclass PathologicProcess BiologicalProcess) | Merge.kif 10509-10509 | |
| (subclass PhysiologicProcess BiologicalProcess) | Merge.kif 10283-10283 | |
| (subclass PsychologicalProcess BiologicalProcess) | Merge.kif 10496-10496 | |
| (subclass ViralCellInvasion BiologicalProcess) | VirusProteinAndCellPart.kif 16-16 | |
| (termFormat ChineseLanguage BiologicalProcess "生物过程") | chinese_format.kif 1073-1073 | |
| (termFormat EnglishLanguage BiologicalProcess "biological process") | english_format.kif 1357-1357 | |
| (termFormat FrenchLanguage BiologicalProcess "processus biologique") | french_format.kif 751-751 | |
| (termFormat Hindi BiologicalProcess "jEvika prakriyaa ") | terms-hindi.txt 283-283 | |
| (termFormat ItalianLanguage BiologicalProcess "ProcesoBiologico") | terms-it.txt 286-286 | |
| (termFormat JapaneseLanguage BiologicalProcess "生物学的プロセス") | japanese_format.kif 2435-2435 | |
| (termFormat PortugueseLanguage BiologicalProcess "Processo Biologico") | portuguese_format.kif 703-703 | |
| (termFormat cz BiologicalProcess "biological process") | terms-cz.txt 322-322 | |
| (termFormat de BiologicalProcess "biologischer Prozess") | terms-de.txt 581-581 | |
| (termFormat ro BiologicalProcess "proces biologic") | relations-ro.kif 772-772 | |
| (termFormat tg BiologicalProcess "paraan ng buhay") | terms-tg.txt 287-287 |
| appearance as argument number 3 |
|
|
| (domain lifeStageAchieved 1 BiologicalProcess) | VirusProteinAndCellPart.kif 226-226 |
| antecedent |
|
|
| (=> (and (instance ?PROC BiologicalProcess) (experiencer ?PROC ?ORG)) (instance ?ORG Organism)) |
Merge.kif 10268-10272 | |
| (=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (eventLocated ?PROC ?OBJ)))) |
Merge.kif 10261-10266 |
| consequent |
|
|
| (=> (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) (agent ?P ?ANI) (objectTransferred ?P ?W)))) |
Mid-level-ontology.kif 2624-2637 | |
| (=> (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 661-675 | |
| (=> (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 13560-13569 | |
| (=> (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 464-473 | |
| (=> (instance ?O Organism) (capability BiologicalProcess experiencer ?O)) |
Merge.kif 10279-10281 | |
| (=> (instance ?O Organism) (not (capability BiologicalProcess agent ?O))) |
Merge.kif 10274-10277 | |
| (=> (instance ?S Cholesterol) (exists (?P ?L) (and (instance ?P BiologicalProcess) (eventLocated ?P ?L) (instance ?L Liver) (result ?P ?S)))) |
Mid-level-ontology.kif 9936-9943 | |
| (=> (instance ?SUBSTANCE Mycotoxin) (exists (?FUNGUS ?PROCESS) (and (instance ?FUNGUS FungalAgent) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?FUNGUS) (result ?PROCESS ?SUBSTANCE)))) |
WMD.kif 221-228 | |
| (=> (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 166-178 | |
| (=> (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 988-998 |
|
|
|