No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15218-15219 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11869-11869 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10261-10261 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11870-11870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11868-11868 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15217-15217 |
Skylight e' uma sub-classe de Window |