No TPTP formula. May not be expressible in strict first order. |
People.kif 536-552 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10045-10045 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11127-11127 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 534-534 |
HazaraEthnicity est une instance de groupe ethnique |
No TPTP formula. May not be expressible in strict first order. |
People.kif 535-535 |
HazaraEthnicity est une sous-collection appartenant � AsianEthnicity |