Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. WMD.kif 198-198 Bacterial agent is a subclass of toxic organism
No TPTP formula. May not be expressible in strict first order. WMD.kif 199-199 Bacterial agent is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order. WMD.kif 246-246 Rickettsial agent is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 279-279 Bacillus anthracis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 317-317 Clostridium botulinum is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 340-340 Clostridium perfringens is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 355-355 Burkholderia mallei is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 371-371 Burkholderia pseudomallei is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 386-386 Brucella bacterium is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 399-399 Yersinia pestis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1000-1000 Salmonella typhimurium is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1006-1006 Salmonella partyphi is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1203-1203 Francisella tularensis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1244-1244 Neisseria gonorrhoeae is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1331-1331 Shigella dysenteriae is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1352-1352 Salmonella typhi is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1363-1363 Giardia lamblia is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1369-1369 Serratia marcenscens is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1429-1429 Staphylococcus aureus is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1492-1492 Vibrio cholera is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1506-1506 Clostridium tetani is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1585-1585 Bordetella pertussis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1591-1591 Yersinia pseudotuberculosis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1595-1595 Chlamydia psittaci is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1719-1719 Escherichia coli0157 h7 is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1725-1725 Mycobacterium tuberculosis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1748-1748 Streptococcus a is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1849-1849 Bacillus cereus is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1877-1877 Legionella is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1896-1896 Corynebacterium diphtheriae is a subclass of bacterial agent


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