No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16755-16756 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5042-5042 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4920-4920 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5044-5044 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5046-5046 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5045-5045 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5043-5043 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16754-16754 |
JuniorCollege e' uma sub-classe de PostSecondarySchool |