| QFever(Q fever) | | Q_fever |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1116-1116 | 0.01 is a disease mortality of Q fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1115-1115 | Fever is a disease symptom of Q fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1117-1119 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1114-1114 | Q fever is an instance of bacterial disease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1201-1201 | Q fever is a biochemical agent syndrome of coxiella burnetii |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48254-48254 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48253-48253 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48252-48252 |
|
|
|