No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16727-16728 |
|
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 16726-16726 |
JuniorCollege e' uma sub-classe de PostSecondarySchool |