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

KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicalProcess
BiologicalProcess

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


(subclass BiologicalProcess InternalChange) Merge.kif 10358-10358
(documentation BiologicalProcess EnglishLanguage "A Process embodied in an Organism.") Merge.kif 10360-10360

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


(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10384-10384
(subclass PsychologicalProcess BiologicalProcess) Merge.kif 10618-10618
(subclass PathologicProcess BiologicalProcess) Merge.kif 10631-10631
(rangeSubclass ImpairmentFn BiologicalProcess) Merge.kif 13780-13780
(subclass Metabolism BiologicalProcess) Mid-level-ontology.kif 11525-11525
(subclass NerveFiring BiologicalProcess) Anatomy.kif 1922-1922
(subclass Fermentation BiologicalProcess) Food.kif 3580-3580
(subclass ViralCellInvasion BiologicalProcess) VirusProteinAndCellPart.kif 16-16
(termFormat EnglishLanguage BiologicalProcess "biological process") english_format.kif 1361-1361

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


(domain lifeStageAchieved 1 BiologicalProcess) VirusProteinAndCellPart.kif 226-226

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


(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))		 Merge.kif 10362-10367
(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))		 Merge.kif 10369-10373

consequent
-------------------------


(=>
    (instance ?O Organism)
    (not
        (capability BiologicalProcess agent ?O)))		 Merge.kif 10375-10378
(=>
    (instance ?O Organism)
    (capability BiologicalProcess experiencer ?O))		 Merge.kif 10380-10382
(=>
    (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)
            (experiencer ?P ?ANI)
            (objectTransferred ?P ?W))))		 Mid-level-ontology.kif 2761-2774
(=>
    (instance ?S Cholesterol)
    (exists (?P ?L)
        (and
            (instance ?P BiologicalProcess)
            (eventLocated ?P ?L)
            (instance ?L Liver)
            (result ?P ?S))))		 Mid-level-ontology.kif 10072-10079
(=>
    (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 13808-13817
(=>
    (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 639-653
(=>
    (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 160-172
(=>
    (instance ?SUBSTANCE Mycotoxin)
    (exists (?FUNGUS ?PROCESS)
        (and
            (instance ?FUNGUS FungalAgent)
            (instance ?PROCESS BiologicalProcess)
            (instrument ?PROCESS ?FUNGUS)
            (result ?PROCESS ?SUBSTANCE))))		 WMD.kif 215-222
(=>
    (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
(=>
    (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 984-994


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners