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 | 例 空容器 and RelationalAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1638-1638 | 相反的屬性 容器滿了 and 空容器 |
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 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2830-2855 |
|