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 |
Hazara ethnicity is an instance of ethnic group |
No TPTP formula. May not be expressible in strict first order. |
People.kif 535-535 |
Hazara ethnicity is a proper sub-collection of asian ethnicity |