|
|
  ContainerEmpty
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1614-1615 | |
| 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 1613-1613 | 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 1631-1631 | 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 1617-1619 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1621-1628 |
|
| consequent |
|
|
|
|
|
