No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1449-1449 |
Fever is a disease symptom of influenza |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1450-1450 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4734-4734 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1448-1448 |
Influenza is a subclass of vaccinatable disease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1447-1447 |
Influenza is a subclass of viral disease |