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爱滋病 是 疾病或综合症 的 instance |