No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1631-1631 |
ContainerFull e' &o oposto de ContainerEmpty |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1632-1633 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10723-10723 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10724-10724 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10725-10725 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10729-10729 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10721-10721 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10722-10722 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9956-9956 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10720-10720 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10727-10727 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1630-1630 |
ContainerFull e' uma instancia de Atributo Relacional |