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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - partyToAgreement
partyToAgreement

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11602-11603
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11606-11606 The number 1 argument of party to agreement is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11607-11607 The number 2 argument of party to agreement is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11601-11601 party to agreement is an instance of binary predicate

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 account at is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 247-247 account holder is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1239-1239 borrower is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3650-3650 financialAccount is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1225-1225 lender is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2504-2504 option holder is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2517-2517 option seller is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44539-44539 "协议的一方" is the printable form of party to agreement in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44538-44538 "協議的一方" is the printable form of party to agreement in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44537-44537 "party to agreement" is the printable form of party to agreement in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2312-2318
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2289-2308
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1944-1962
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1964-1982
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1916-1925
No TPTP formula. May not be expressible in strict first order. Catalog.kif 262-276
No TPTP formula. May not be expressible in strict first order. Catalog.kif 278-293
No TPTP formula. May not be expressible in strict first order. Catalog.kif 295-309
No TPTP formula. May not be expressible in strict first order. Law.kif 619-634
No TPTP formula. May not be expressible in strict first order. Law.kif 600-617
No TPTP formula. May not be expressible in strict first order. Law.kif 561-570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11771-11785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11609-11615

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3157-3163 An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agent is a party to agreement of the cognitive agent and the agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11680-11685
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1106-1115
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27804-27818
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2289-2308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19139-19144
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 1988-1993
No TPTP formula. May not be expressible in strict first order. Catalog.kif 493-505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18476-18489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11580-11586
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11792-11798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11805-11814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11820-11829
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1414-1422
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11842-11851
No TPTP formula. May not be expressible in strict first order. Geography.kif 2972-2974


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners