customer |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7722-7725 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7720-7720 | 顾客 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7721-7721 | 顾客 的 2 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7713-7713 | 顾客 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7712-7712 | 顾客 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7711-7711 | 顾客 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7714-7714 | 顾客 是 部分值关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 628-628 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 627-627 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 626-626 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 55-55 | guest 是 顾客 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18168-18168 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18167-18167 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18166-18166 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7727-7733 | 施事体 是 有认知的主事 的 customer 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程 在 那个 有认知的主事 结束 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-172 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 130-150 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2392-2407 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 336-350 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 841-862 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 546-561 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7107-7111 | |
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 586-602 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7159-7172 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7758-7762 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 871-897 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 569-589 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 102-121 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3621-3625 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2535-2553 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 9711-9720 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 492-505 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2471-2480 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2154-2166 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1969-1987 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3340-3352 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1827-1848 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 819-822 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 388-407 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 373-382 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3945-3947 |