No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16112-16113 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6646-6646 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7132-7132 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7133-7133 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16111-16111 |
Jury e' uma sub-classe de GroupOfPeople |