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. Mid-level-ontology.kif 9671-9676
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9667-9667 Antibiotic is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1284-1284 Oral antibiotic is a subclass of antibiotic
No TPTP formula. May not be expressible in strict first order. WMD.kif 1311-1311 Topical antibiotic is a subclass of antibiotic
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1342-1342 Injected antibiotic is a subclass of antibiotic
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1355-1355 Carbapenem antibiotic is a subclass of antibiotic
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1964-1964 Cephalosporin is a subclass of antibiotic
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3583-3583 Clarithromycin is a subclass of antibiotic
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3800-3800 Doxycycline is a subclass of antibiotic


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