No TPTP formula. May not be expressible in strict first order. |
People.kif 506-507 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10438-10438 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10439-10439 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9892-9892 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10446-10446 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10445-10445 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10440-10440 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10443-10443 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10444-10444 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10441-10441 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10437-10437 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10442-10442 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10436-10436 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 505-505 |
Asian ethnicity is an instance of racial ethnic group |