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 11630-11631
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11634-11634 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 11635-11635 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 11629-11629 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 3651-3651 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 2505-2505 option holder is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2518-2518 option seller is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44539-44539
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44538-44538
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44537-44537

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1945-1963
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1965-1983
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1917-1926
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. 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 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 11799-11813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11637-11643

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3158-3164 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 11708-11713
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 27849-27863
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 19181-19186
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 1989-1994
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 18508-18521
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11608-11614
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11820-11826
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11833-11842
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11848-11857
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 11870-11879
No TPTP formula. May not be expressible in strict first order. Geography.kif 2972-2974


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