Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  partyToAgreement

 Sigma KEE - partyToAgreement
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners