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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiologicalProcess

Sigma KEE - BiologicalProcess
BiologicalProcess

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 10170-10170
(documentation BiologicalProcess JapaneseLanguage "Process は、Organism に組み込まれて いる。") japanese_format.kif 1643-1644
(subclass BiologicalProcess InternalChange) Merge.kif 10168-10168 BiologicalProcess ist eine teilkategorie von InternalChange

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


(rangeSubclass ImpairmentFn BiologicalProcess) Merge.kif 13516-13516 Die werte die ImpairmentFn zurueckgibt sind teilkategorien von BiologicalProcess
(subclass Fermentation BiologicalProcess) Food.kif 3542-3542 Fermentation ist eine teilkategorie von BiologicalProcess
(subclass Metabolism BiologicalProcess) Mid-level-ontology.kif 10107-10107 Metabolism ist eine teilkategorie von BiologicalProcess
(subclass NerveFiring BiologicalProcess) Anatomy.kif 1899-1899 NerveFiring ist eine teilkategorie von BiologicalProcess
(subclass PathologicProcess BiologicalProcess) Merge.kif 10420-10420 PathologicProcess ist eine teilkategorie von BiologicalProcess
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10194-10194 PhysiologicProcess ist eine teilkategorie von BiologicalProcess
(subclass PsychologicalProcess BiologicalProcess) Merge.kif 10407-10407 PsychologicalProcess ist eine teilkategorie von BiologicalProcess
(subclass ViralCellInvasion BiologicalProcess) VirusProteinAndCellPart.kif 16-16 ViralCellInvasion ist eine teilkategorie von BiologicalProcess
(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 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 222-222 Die Zahl 1 Argument von lifeStageAchieved ist ein fall von BiologicalProcess %n{nicht}

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


(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))
Merge.kif 10179-10183
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))
Merge.kif 10172-10177

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 2155-2168
(=>
    (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 654-668
(=>
    (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 12238-12247
(=>
    (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 10190-10192
(=>
    (instance ?O Organism)
    (not
        (capability BiologicalProcess agent ?O)))
Merge.kif 10185-10188
(=>
    (instance ?S Cholesterol)
    (exists (?P ?L)
        (and
            (instance ?P BiologicalProcess)
            (eventLocated ?P ?L)
            (instance ?L Liver)
            (result ?P ?S))))
Mid-level-ontology.kif 8739-8746
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners