catalogItem |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 46-47 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 49-49 | catalogItem 的 2 数量 是 Catalog 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 48-48 | catalogItem 的 1 数量 是 实体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 44-44 | catalogItem 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 45-45 | catalogItem 是 部分值关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2966-2966 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2965-2965 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2964-2964 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65790-65790 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 219-223 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 208-212 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 178-182 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 189-201 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 229-233 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 98-107 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 88-93 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 51-62 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 64-76 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 130-137 |