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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicalProcess
BiologicalProcess

VerbNet: tingle-40.8.2|smart, other_cos-45.4|quicken, other_cos-45.4|energize, change_bodily_state-40.8.4|zonk_out, other_cos-45.4|energize, marvel-31.3|swoon, other_cos-45.4|energize, other_cos-45.4|energize, marvel-31.3|swoon, entity_specific_cos-45.5|ferment, other_cos-45.4|freshen, tingle-40.8.2|smart, amuse-31.1|invigorate, change_bodily_state-40.8.4|zonk_out, other_cos-45.4|quicken, other_cos-45.4|quicken, other_cos-45.4|quicken, other_cos-45.4|freshen, other_cos-45.4|freshen, amuse-31.1|invigorate, other_cos-45.4|quicken, other_cos-45.4|quicken, other_cos-45.4|quicken, other_cos-45.4|quicken, tingle-40.8.2|smart, entity_specific_cos-45.5|ferment, other_cos-45.4|energize, marvel-31.3|swoon, entity_specific_cos-45.5|ferment, other_cos-45.4|quicken, entity_specific_cos-45.5|ferment, change_bodily_state-40.8.4|zonk_out,


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


(documentation BiologicalProcess ChineseLanguage "这是一个体现在一个 OrganismProcess。") chinese_format.kif 2895-2895
(documentation BiologicalProcess EnglishLanguage "A Process embodied in an Organism.") Merge.kif 9523-9523
(subclass BiologicalProcess InternalChange) Merge.kif 9521-9521 subclass BiologicalProcess and InternalChange

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


(subclass Fermentation BiologicalProcess) Food.kif 965-965 subclass Fermentation and BiologicalProcess
(subclass PathologicProcess BiologicalProcess) Merge.kif 9761-9761 subclass PathologicProcess and BiologicalProcess
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 9538-9538 subclass PhysiologicProcess and BiologicalProcess
(subclass PsychologicalProcess BiologicalProcess) Merge.kif 9748-9748 subclass PsychologicalProcess and BiologicalProcess
(subclass ViralCellInvasion BiologicalProcess) VirusProteinAndCellPart.kif 16-16 subclass ViralCellInvasion and BiologicalProcess
(termFormat ChineseLanguage BiologicalProcess "生物过程") chinese_format.kif 1073-1073
(termFormat EnglishLanguage BiologicalProcess "biological process") english_format.kif 1362-1362

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


(domain lifeStageAchieved 1 BiologicalProcess) VirusProteinAndCellPart.kif 177-177 domain lifeStageAchieved, 1 and BiologicalProcess

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


(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))
Merge.kif 9532-9536
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))
Merge.kif 9525-9530

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 2616-2629
(=>
    (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 8392-8399
(=>
    (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
(=>
    (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 10137-10147
(=>
    (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 943-953


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