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 and Catalog |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 48-48 | 域子類 catalogItem, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 44-44 | 例 catalogItem and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 45-45 | 例 catalogItem and PartialValuedRelation |
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 |
|
![]() |
![]() |