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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicalProcess
BiologicalProcess(processus biologique)

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 Processus biologique est une sous-classe de changement interne

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


(rangeSubclass ImpairmentFn BiologicalProcess) Merge.kif 13609-13609 Les valeurs retourn�es par ImpairmentFn sont des sous-classes de processus biologique
(subclass Fermentation BiologicalProcess) Food.kif 3549-3549 Fermentation est une sous-classe de processus biologique
(subclass Metabolism BiologicalProcess) Mid-level-ontology.kif 11427-11427 Metabolism est une sous-classe de processus biologique
(subclass NerveFiring BiologicalProcess) Anatomy.kif 1934-1934 NerveFiring est une sous-classe de processus biologique
(subclass PathologicProcess BiologicalProcess) Merge.kif 10509-10509 Processus pathologique est une sous-classe de processus biologique
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10283-10283 Processus physiologique est une sous-classe de processus biologique
(subclass PsychologicalProcess BiologicalProcess) Merge.kif 10496-10496 Processus psychologique est une sous-classe de processus biologique
(subclass ViralCellInvasion BiologicalProcess) VirusProteinAndCellPart.kif 16-16 ViralCellInvasion est une sous-classe de processus biologique
(termFormat ChineseLanguage BiologicalProcess "生物过程") chinese_format.kif 1073-1073 ViralCellInvasion est une sous-classe de processus biologique
(termFormat EnglishLanguage BiologicalProcess "biological process") english_format.kif 1357-1357 ViralCellInvasion est une sous-classe de processus biologique
(termFormat FrenchLanguage BiologicalProcess "processus biologique") french_format.kif 751-751 ViralCellInvasion est une sous-classe de processus biologique
(termFormat Hindi BiologicalProcess "jEvika prakriyaa ") terms-hindi.txt 283-283 ViralCellInvasion est une sous-classe de processus biologique
(termFormat ItalianLanguage BiologicalProcess "ProcesoBiologico") terms-it.txt 286-286 ViralCellInvasion est une sous-classe de processus biologique
(termFormat JapaneseLanguage BiologicalProcess "生物学的プロセス") japanese_format.kif 2435-2435 ViralCellInvasion est une sous-classe de processus biologique
(termFormat PortugueseLanguage BiologicalProcess "Processo Biologico") portuguese_format.kif 703-703 ViralCellInvasion est une sous-classe de processus biologique
(termFormat cz BiologicalProcess "biological process") terms-cz.txt 322-322 ViralCellInvasion est une sous-classe de processus biologique
(termFormat de BiologicalProcess "biologischer Prozess") terms-de.txt 581-581 ViralCellInvasion est une sous-classe de processus biologique
(termFormat ro BiologicalProcess "proces biologic") relations-ro.kif 772-772 ViralCellInvasion est une sous-classe de processus biologique
(termFormat tg BiologicalProcess "paraan ng buhay") terms-tg.txt 287-287 ViralCellInvasion est une sous-classe de processus biologique

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


(domain lifeStageAchieved 1 BiologicalProcess) VirusProteinAndCellPart.kif 226-226 Le nombre 1 argument de lifeStageAchieved est une instance de processus biologique

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


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 3.0 is open source software produced by Articulate Software and its partners