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 13464-13465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13468-13468 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 13469-13469 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 13463-13463 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 1297-1297 borrower is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3756-3756 financialAccount is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1283-1283 lender is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2591-2591 option holder is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2604-2604 option seller is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44593-44593
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44592-44592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44591-44591

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2017-2038
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2040-2061
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1990-1999
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2331-2337
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2308-2327
No TPTP formula. May not be expressible in strict first order. Catalog.kif 306-319
No TPTP formula. May not be expressible in strict first order. Catalog.kif 271-284
No TPTP formula. May not be expressible in strict first order. Law.kif 621-636
No TPTP formula. May not be expressible in strict first order. Law.kif 602-619
No TPTP formula. May not be expressible in strict first order. Law.kif 563-572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13619-13633
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13471-13477

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3267-3273 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 13542-13547
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1161-1170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29051-29065
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2308-2327
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20829-20834
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 2067-2072
No TPTP formula. May not be expressible in strict first order. Catalog.kif 508-520
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20164-20177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13442-13448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13640-13646
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13653-13662
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13668-13677
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1472-1480
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13690-13699
No TPTP formula. May not be expressible in strict first order. Geography.kif 3035-3037


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