Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicalProcess
BiologicalProcess(生物学的プロセス)

appearance as argument number 1
-------------------------


(documentation BiologicalProcess ChineseLanguage "这是一个体现在一个 OrganismProcess。") Merge.kif 10197-10197
(documentation BiologicalProcess EnglishLanguage "A Process embodied in an Organism.") Merge.kif 10196-10196
(subclass BiologicalProcess InternalChange) Merge.kif 10195-10195 subclass 生物学的プロセス and 内部変化

appearance as argument number 2
-------------------------


(subclass Fermentation BiologicalProcess) Food.kif 1010-1010 subclass Fermentation and 生物学的プロセス
(subclass PathologicProcess BiologicalProcess) Merge.kif 10444-10444 subclass 病理学的プロセス and 生物学的プロセス
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10212-10212 subclass 生理学的プロセス and 生物学的プロセス
(subclass PsychologicalProcess BiologicalProcess) Merge.kif 10430-10430 subclass 精神的プロセス and 生物学的プロセス
(subclass ViralCellInvasion BiologicalProcess) VirusProteinAndCellPart.kif 16-16 subclass ViralCellInvasion and 生物学的プロセス
(termFormat ChineseLanguage BiologicalProcess "生物过程") chinese_format.kif 1073-1073 termFormat ChineseLanguage, 生物学的プロセス and "生物过程"
(termFormat EnglishLanguage BiologicalProcess "biological process") english_format.kif 1290-1290 termFormat EnglishLanguage, 生物学的プロセス and "biological process"
(termFormat JapaneseLanguage BiologicalProcess "生物学的プロセス") english_format.kif 1291-1291 termFormat JapaneseLanguage, 生物学的プロセス and "生物学的プロセス"

appearance as argument number 3
-------------------------


(domain lifeStageAchieved 1 BiologicalProcess) VirusProteinAndCellPart.kif 177-177 domain lifeStageAchieved, 1 and 生物学的プロセス

antecedent
-------------------------


(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))
Merge.kif 10206-10210
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))
Merge.kif 10199-10204

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)
            (patient ?P ?W))))
Mid-level-ontology.kif 2621-2634
(=>
    (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
(=>
    (instance ?S Cholesterol)
    (exists (?P ?L)
        (and
            (instance ?P BiologicalProcess)
            (eventLocated ?P ?L)
            (instance ?L Liver)
            (result ?P ?S))))
Mid-level-ontology.kif 8389-8396
(=>
    (instance ?SUBSTANCE Mycotoxin)
    (exists (?FUNGUS ?PROCESS)
        (and
            (instance ?FUNGUS FungalAgent)
            (instance ?PROCESS BiologicalProcess)
            (instrument ?PROCESS ?ORGANISM)
            (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
(=>
    (secretesSubstance ?O ?S)
    (forall (?I1)
        (=>
            (instance ?I1 ?O)
            (exists (?P ?I2)
                (and
                    (instance ?P BiologicalProcess)
                    (eventLocated ?P ?I1)
                    (result ?P ?I2)
                    (instance ?I2 ?S))))))
Mid-level-ontology.kif 10134-10144
(=>
    (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 934-944


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners