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 13994-13995
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13998-13998 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 13999-13999 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 13993-13993 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 1298-1298 borrower is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3804-3804 financial account is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1284-1284 lender is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2583-2583 option holder is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2596-2596 option seller is a subrelation of party to agreement
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 An agreement employs another agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agreement is a party to agreement of the cognitive agent and the other 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 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 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 3.0 is open source software produced by Articulate Software and its partners