potentialCustomer |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 804-806 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 807-807 | potentialCustomer 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 808-808 | potentialCustomer 的 2 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 803-803 | potentialCustomer 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4186-4186 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4185-4185 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4184-4184 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65912-65912 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 772-795 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 810-817 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 819-822 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 762-767 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2883-2892 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2903-2914 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2864-2873 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 732-742 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2925-2940 |
|