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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VaccinatableDisease
VaccinatableDisease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1043-1044
No TPTP formula. May not be expressible in strict first order. WMD.kif 1062-1063
No TPTP formula. May not be expressible in strict first order. WMD.kif 1042-1042 VaccinatableDisease est une sous-classe de InfectiousDisease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 334-334 Botulism est une instance de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1486-1486 Cholera est une instance de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1787-1787 HepatitisA est une instance de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1799-1799 HepatitisB est une instance de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1712-1712 JapaneseEncephalitis est une instance de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1578-1578 Pertussis est une instance de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 412-412 Plague est une instance de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1498-1498 Tetanus est une instance de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1730-1730 Tuberculosis est une instance de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1448-1448 Influenza est une sous-classe de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 2037-2037 TickBorneEncephalitis est une sous-classe de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1409-1409 VenezuelanEquineEncephalitis est une sous-classe de VaccinatableDisease
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61150-61150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61149-61149
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61148-61148

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1046-1059


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