partyToAgreement |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13994-13995 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13998-13998 | 协议的一方 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13999-13999 | 协议的一方 的 2 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13993-13993 | 协议的一方 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1907-1907 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1906-1906 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1905-1905 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 228-228 | 帐号在 是 协议的一方 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 247-247 | 帐户持有人 是 协议的一方 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1298-1298 | 借款人 是 协议的一方 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3804-3804 | financialAccount 是 协议的一方 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1284-1284 | 贷款人 是 协议的一方 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2583-2583 | 期权持有人 是 协议的一方 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2596-2596 | 期权卖方 是 协议的一方 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44616-44616 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44615-44615 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44614-44614 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1981-1990 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2332-2338 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2309-2328 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 311-324 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 276-289 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 573-588 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 554-571 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 515-524 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14149-14163 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14001-14007 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3260-3266 | 协议 employs 另一个 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事 有 雇用 的 attribute 和 那个 协议 是 那个 有认知的主事 的 party 协议 和 那个 另外 协议 是 那个 有认知的主事 的 party 协议 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14072-14077 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1162-1171 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29639-29653 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2309-2328 |
|
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. | Media.kif 153-160 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2058-2063 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 513-526 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20823-20836 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13972-13978 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14170-14176 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14183-14192 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14198-14207 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1473-1481 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14220-14229 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3113-3115 |