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 | Le nombre 2 argument de catalogItem est une instance de Catalog |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 48-48 | Le nombre 1 argument de catalogItem est une sous-classe de entit� |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 44-44 | catalogItem est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 45-45 | catalogItem est une instance de relation partielle |
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 |
|