| appearance as argument number 1 |
|
|
| s__documentation(s__Antibiotic,s__EnglishLanguage,'A BiologicallyActiveSubstance than can kill instances of Bacterium.') | Mid-level-ontology.kif 9142-9143 | |
| s__externalImage(s__Antibiotic,'http://upload.wikimedia.org/wikipedia/commons/8/81/Amoxicilline.png')
|
pictureList.kif 4505-4505 | |
| s__instance(s__Antibiotic,s__SetOrClass)
|
Mid-level-ontology.kif 9141-9141 |
| appearance as argument number 2 |
|
|
| s__diseaseTreatment(s__Pertussis,s__Antibiotic,s__Ingesting)
|
WMD.kif 1427-1427 | |
| s__diseaseTreatment(s__TyphoidFever,s__Antibiotic,s__Ingesting)
|
WMD.kif 1260-1260 | |
| s__instance(s__Antibiotic,s__SetOrClass)
|
WMD.kif 1185-1185 | |
| s__instance(s__Antibiotic,s__SetOrClass)
|
WMD.kif 1212-1212 | |
| s__termFormat(s__EnglishLanguage,s__Antibiotic,'antibiotic')
|
domainEnglishFormat.kif 1741-1741 |
| antecedent |
|
|
| ( ! [V__DISEASE,V__PROCESS] : (s__diseaseTreatment(V__DISEASE,s__Antibiotic,V__PROCESS) => s__instance(V__DISEASE,s__BacterialDisease)) )
|
WMD.kif 1176-1178 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1168-1174 |
| consequent |
|
|
| ( ! [V__DISEASE] : (s__instance(V__DISEASE,s__ViralDisease) => (? [V__PROCESS] : (~ s__diseaseTreatment(V__DISEASE,s__Antibiotic,V__PROCESS)))) )
|
WMD.kif 1180-1183 |
|
|
|