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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InfectiousDisease

Sigma KEE - InfectiousDisease
InfectiousDisease(infectious disease)
cross_infection, epidemic_disease, foot_rot, infection, infectious, infectious_disease, infective, listeria_meningitis, listeriosis, lower_respiratory_infection, nonsocial_infection, paronychia, protozoal_infection, respiratory_infection, respiratory_tract_infection, upper_respiratory_infection, viral_infection, virus_infection

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5534-5535
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7110-7110
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7111-7111
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7112-7112
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7113-7113
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5533-5533 Infectious disease is a subclass of disease or syndrome

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1598-1598 Malaria is an instance of infectious disease
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5529-5529 Bacterial disease is a subclass of infectious disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1033-1033 Vaccinatable disease is a subclass of infectious disease
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5654-5654 Viral disease is a subclass of infectious disease
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29958-29958
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29957-29957
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29956-29956

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5537-5546


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