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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiologicalProcess

Sigma KEE - BiologicalProcess
BiologicalProcess(biological process)Fere_phenomenon, GSR, SNP, Tarchanoff_phenomenon, ache, activity, affinity, aftereffect, allergen, alternation_of_generations, anamorphic, anamorphism, anamorphosis, anaphase, anaphasic, animate, antagonism, anthropogenesis, anthropogeny, antisepsis, arouse, asepsis, atavism, autolysis, bacteriolysis, bacterise, bacterize, biochemical_mechanism, biogenesis, biogenic, biogenous, biological_process, biology, biosynthesis, black_out, blistering, blow, bodily_function, bodily_process, body_process, brace, caenogenesis, cainogenesis, cathect, cenogenesis, cenogenetic, climax, come_to, coming, compost...

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 Biological process is a subclass of internal change

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


(subclass Fermentation BiologicalProcess) Food.kif 1010-1010 Fermentation is a subclass of biological process
(subclass PathologicProcess BiologicalProcess) Merge.kif 10444-10444 Pathologic process is a subclass of biological process
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10212-10212 Physiologic process is a subclass of biological process
(subclass PsychologicalProcess BiologicalProcess) Merge.kif 10430-10430 Psychological process is a subclass of biological process
(subclass ViralCellInvasion BiologicalProcess) VirusProteinAndCellPart.kif 16-16 Viral cell invasion is a subclass of biological process
(termFormat ChineseLanguage BiologicalProcess "生物过程") chinese_format.kif 1073-1073 "生物过程" is the printable form of biological process in ChineseLanguage
(termFormat EnglishLanguage BiologicalProcess "biological process") english_format.kif 760-760 "biological process" is the printable form of biological process in english language

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


(domain lifeStageAchieved 1 BiologicalProcess) VirusProteinAndCellPart.kif 177-177 The number 1 argument of life stage achieved is an instance of biological process

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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