No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15240-15242 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9839-9839 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9841-9841 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9840-9840 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9837-9837 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9838-9838 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8803-8803 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9834-9834 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9836-9836 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15239-15239 |
WindowCovering e' uma sub-classe de Artefato |