ContainerEmpty more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1621-1622 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9955-9955 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10717-10717 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10716-10716 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10719-10719 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10718-10718 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1620-1620 | ContainerEmpty est une instance de attribut relationnel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1638-1638 | ContainerFull est l'oppos� de ContainerEmpty |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16908-16908 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16907-16907 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16906-16906 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1624-1626 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1628-1635 |
|
consequent |