No TPTP formula. May not be expressible in strict first order. |
People.kif 476-484 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9299-9299 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8524-8524 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9300-9300 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9301-9301 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 475-475 |
Hiv aids is an instance of disease or syndrome |