| StrepThroat | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3598-3598 | diseaseMedicine StrepThroat, Clarithromycin and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1756-1758 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1755-1755 | StrepThroat e' uma instancia de BacterialDisease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1749-1749 | biochemicalAgentSyndrome StreptococcusA and StrepThroat |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55604-55604 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55603-55603 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55602-55602 |
|
|
|