destination |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1868-1871 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2448-2454 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 491-495 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2444-2444 | 终点 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2445-2445 | 终点 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2442-2442 | 终点 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2443-2443 | 终点 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2446-2446 | 终点 是 参与活动 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 93-93 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 93-93 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 69-69 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 71-71 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1895-1895 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 21-21 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 105-105 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 81-81 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 104-104 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 112-112 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 88-88 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 68-68 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 158-158 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19272-19272 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 94-94 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19271-19271 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19270-19270 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 29-29 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 159-159 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1818-1828 | 过程 是 退出 的 instance 和 金融账户 是 金融账户 的 instance 和 那个 金融账户 的 currency 是 那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程 是 罚款 的 instance 和 那个 另外 过程 在 那个 金融账户 的 currency 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 那个 金融账户 的 liqudity 是 高流动性 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29779-29788 | |
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. | Communications.kif 202-214 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2585-2603 |
|
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 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6447-6459 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29620-29632 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3759-3784 |
|
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. | FinancialOntology.kif 759-775 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1256-1264 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18679-18695 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 693-707 |
|
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. | Merge.kif 11656-11666 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21512-21517 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 171-177 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 552-561 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 564-569 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 228-235 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23583-23589 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11587-11592 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
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. | FinancialOntology.kif 3635-3642 | 有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 机构 employs 那个 有认知的主事 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 另一个 有认知的主事 结束 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16852-16861 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 487-499 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 655-667 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 408-419 | |
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. | FinancialOntology.kif 1261-1271 | |
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. | ComputingBrands.kif 3545-3550 | |
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. | FinancialOntology.kif 807-816 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1347-1358 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2567-2583 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 151-167 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11141-11151 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 354-365 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1212-1222 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 686-699 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 701-714 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 759-775 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1043-1052 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1115-1124 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 44-59 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |