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。") Merge.kif 10139-10139
(documentation BiologicalProcess EnglishLanguage "A Process embodied in an Organism.") Merge.kif 10138-10138
(subclass BiologicalProcess InternalChange) Merge.kif 10137-10137

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


(subclass Fermentation BiologicalProcess) Food.kif 1010-1010
(subclass PathologicProcess BiologicalProcess) Merge.kif 10386-10386
(subclass PhysiologicProcess BiologicalProcess) Merge.kif 10154-10154
(subclass PsychologicalProcess BiologicalProcess) Merge.kif 10372-10372
(subclass ViralCellInvasion BiologicalProcess) VirusProteinAndCellPart.kif 16-16
(termFormat ChineseLanguage BiologicalProcess "生物过程") chinese_format.kif 1073-1073
(termFormat EnglishLanguage BiologicalProcess "biological process") english_format.kif 760-760
(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 284-284
(termFormat PortugueseLanguage BiologicalProcess "Processo Biologico") portuguese_format.kif 703-703
(termFormat cz BiologicalProcess "biological process") terms-cz.txt 322-322
(termFormat tg BiologicalProcess "paraan ng buhay") terms-tg.txt 287-287

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


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

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


(=>
    (and
        (instance ?PROC BiologicalProcess)
        (experiencer ?PROC ?ORG))
    (instance ?ORG Organism))
Merge.kif 10148-10152
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))
Merge.kif 10141-10146

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