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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VaccinatableDisease

 Sigma KEE - VaccinatableDisease
VaccinatableDisease(可預防的疾病)

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


(documentation VaccinatableDisease EnglishLanguage "A disease for which there is an effective vaccine for Humans.") WMD.kif 1043-1044
(documentation VaccinatableDisease EnglishLanguage "A treatment that is effective in preventing a VaccinatableDisease.") WMD.kif 1062-1063
(subclass VaccinatableDisease InfectiousDisease) WMD.kif 1042-1042 子類 可預防的疾病 and 傳染病

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


(instance Botulism VaccinatableDisease) WMD.kif 334-334 例 肉毒中毒 and 可預防的疾病
(instance Cholera VaccinatableDisease) WMD.kif 1486-1486 例 霍亂 and 可預防的疾病
(instance HepatitisA VaccinatableDisease) WMD.kif 1787-1787 例 A型肝炎 and 可預防的疾病
(instance HepatitisB VaccinatableDisease) WMD.kif 1799-1799 例 B型肝炎 and 可預防的疾病
(instance JapaneseEncephalitis VaccinatableDisease) WMD.kif 1712-1712 例 日本腦炎 and 可預防的疾病
(instance Pertussis VaccinatableDisease) WMD.kif 1578-1578 例 百日咳 and 可預防的疾病
(instance Plague VaccinatableDisease) WMD.kif 412-412 例 鼠疫 and 可預防的疾病
(instance Tetanus VaccinatableDisease) WMD.kif 1498-1498 例 破傷風 and 可預防的疾病
(instance Tuberculosis VaccinatableDisease) WMD.kif 1730-1730 例 結核 and 可預防的疾病
(subclass Influenza VaccinatableDisease) WMD.kif 1448-1448 子類 流感 and 可預防的疾病
(subclass TickBorneEncephalitis VaccinatableDisease) WMD.kif 2037-2037 子類 蜱傳腦炎 and 可預防的疾病
(subclass VenezuelanEquineEncephalitis VaccinatableDisease) WMD.kif 1409-1409 子類 委內瑞拉馬腦炎 and 可預防的疾病
(termFormat ChineseLanguage VaccinatableDisease "可预防的疾病") domainEnglishFormat.kif 61148-61148
(termFormat ChineseTraditionalLanguage VaccinatableDisease "可預防的疾病") domainEnglishFormat.kif 61147-61147
(termFormat EnglishLanguage VaccinatableDisease "vaccinatable disease") domainEnglishFormat.kif 61146-61146

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


(=>
    (instance ?DISEASE VaccinatableDisease)
    (exists (?VACCINE ?HUMAN ?PUT)
        (and
            (instance ?VACCINE Vaccine)
            (instance ?PUT Putting)
            (destination ?PUT ?HUMAN)
            (instance ?HUMAN Human)
            (modalAttribute
                (holdsDuring
                    (FutureFn
                        (WhenFn ?PUT))
                    (not
                        (attribute ?HUMAN ?DISEASE))) Likely))))		 WMD.kif 1046-1059


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