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
-------------------------


s__documentation(s__partyToAgreement__m,s__EnglishLanguage,'(partyToAgreement ?AGENT ?PROP) means that the Agent ?AGENT has committed to the agreement ?PROP.')

Mid-level-ontology.kif 11597-11598
s__domain(s__partyToAgreement__m,1,s__CognitiveAgent)

Mid-level-ontology.kif 11601-11601 The number 1 argument of party to agreement is an instance of cognitive agent
s__domain(s__partyToAgreement__m,2,s__Agreement)

Mid-level-ontology.kif 11602-11602 The number 2 argument of party to agreement is an instance of agreement
s__instance(s__partyToAgreement__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 11596-11596 party to agreement is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__partyToAgreement__m,'%2 is %n a party to agreement of %1')

domainEnglishFormat.kif 485-485
s__subrelation(s__accountAt__m,s__partyToAgreement__m)

FinancialOntology.kif 228-228 account at is a subrelation of party to agreement
s__subrelation(s__accountHolder__m,s__partyToAgreement__m)

FinancialOntology.kif 247-247 account holder is a subrelation of party to agreement
s__subrelation(s__borrower__m,s__partyToAgreement__m)

FinancialOntology.kif 1240-1240 borrower is a subrelation of party to agreement
s__subrelation(s__financialAccount__m,s__partyToAgreement__m)

FinancialOntology.kif 3644-3644 financialAccount is a subrelation of party to agreement
s__subrelation(s__lender__m,s__partyToAgreement__m)

FinancialOntology.kif 1226-1226 lender is a subrelation of party to agreement
s__subrelation(s__optionHolder__m,s__partyToAgreement__m)

FinancialOntology.kif 2506-2506 option holder is a subrelation of party to agreement
s__subrelation(s__optionSeller__m,s__partyToAgreement__m)

FinancialOntology.kif 2519-2519 option seller is a subrelation of party to agreement
s__termFormat(s__EnglishLanguage,s__partyToAgreement__m,'party to agreement')

domainEnglishFormat.kif 7856-7856 "party to agreement" is the printable form of party to agreement in english language

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


( ! [V__AGENT2,V__AGENT1,V__CAA] :
   ((s__instance(V__AGENT2,s__CognitiveAgent)s__and__ms__instance(V__AGENT1,s__CognitiveAgent))
    s__=>((s__instance(V__CAA,s__CivilAffairsAgreement)s__and__ms__partyToAgreement(V__AGENT1,V__CAA)
      s__and__ms__partyToAgreement(V__AGENT2,V__CAA))
  s__=>(s__not__ms__enemy(V__AGENT1,V__AGENT2))))
)

MilitaryProcesses.kif 2299-2305
( ! [V__CAA,V__AGENT_MIL_THIS,V__NATION_THIS,V__NATION_FRIENDLY] :
   ((s__instance(V__CAA,s__CivilAffairsAgreement)s__and__ms__partyToAgreement(V__AGENT_MIL_THIS,V__CAA)
    s__and__ms__instance(V__AGENT_MIL_THIS,s__MilitaryOrganization)s__and__ms__militaryOfArea(V__AGENT_MIL_THIS,V__NATION_THIS)
  s__and__ms__instance(V__NATION_THIS,s__Nation)s__and__ms__located(V__AGENT_MIL_THIS,V__NATION_FRIENDLY)
s__and__ms__instance(V__NATION_FRIENDLY,s__Nation))
s__=>((s__not__m(V__NATION_THISs__equal__mV__NATION_FRIENDLY))
s__and__m(s__not__ms__enemy(V__NATION_THIS,V__NATION_FRIENDLY))
s__and__m(s__exists__m[V__AGENT_FRIENDLY] :
(s__instance(V__AGENT_FRIENDLY,s__CognitiveAgent)s__and__m(s__located(V__AGENT_FRIENDLY,V__NATION_FRIENDLY)
s__and__ms__partyToAgreement(V__AGENT_FRIENDLY,V__CAA)
s__and__m(s__not__ms__instance(V__AGENT_FRIENDLY,s__MilitaryOrganization)))))))
)

MilitaryProcesses.kif 2276-2295
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1946-1964
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1966-1984
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1918-1927
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 617-632
No TPTP formula. May not be expressible in strict first order. Law.kif 598-615
No TPTP formula. May not be expressible in strict first order. Law.kif 559-568
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11766-11780
( ! [V__AGENT,V__CONTENT] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CONTENT,s__Agreement))
    s__=>(s__partyToAgreement(V__AGENT,V__CONTENT)
    s__=>(s__exists__m[V__C] :
       (s__instance(V__C,s__Committing)s__and__ms__agent(V__C,V__AGENT)
      s__and__ms__patient(V__C,V__CONTENT)))))
)

Mid-level-ontology.kif 11604-11610

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


( ! [V__Agent,V__Org] :
   ((s__instance(V__Agent,s__Agreement)s__and__ms__instance(V__Agent,s__CognitiveAgent)s__and__ms__instance(V__Org,s__Agent)s__and__ms__instance(V__Org,s__Agreement))
    s__=>(s__employs(V__Org,V__Agent)
    s__<=>
    (s__exists__m[V__Employment] :
       (s__instance(V__Employment,s__CognitiveAgent)s__and__m(s__property(V__Employment,s__Employment)s__and__ms__partyToAgreement(V__Employment,V__Org)
      s__and__ms__partyToAgreement(V__Employment,V__Agent))))))
)

FinancialOntology.kif 3151-3157 An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent has an 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
( ! [V__AGENT,V__ATTR,V__PROP,V__AGREEMENT] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__ATTR,s__DeonticAttribute)s__and__ms__instance(V__PROP,s__Proposition)s__and__ms__instance(V__AGREEMENT,s__Agreement))
    s__=>(s__agreementClause(V__PROP,V__ATTR,V__AGREEMENT,V__AGENT)
    s__=>((s__exists__m[V__CLAUSE] :
         (s__instance(V__CLAUSE,s__ContentBearingPhysical)s__and__ms__containsInformation(V__CLAUSE,V__PROP)))
    s__and__ms__partyToAgreement(V__AGENT,V__AGREEMENT))))
)

Mid-level-ontology.kif 11675-11680
( ! [V__Agent,V__Bank,V__Account] :
   ((s__instance(V__Agent,s__Agreement)s__and__ms__instance(V__Agent,s__CognitiveAgent)s__and__ms__instance(V__Bank,s__Agreement)s__and__ms__instance(V__Bank,s__FinancialOrganization))
    s__=>((s__instance(V__Account,s__LiabilityAccount)s__and__ms__accountHolder(V__Account,V__Agent)
      s__and__ms__accountAt(V__Account,V__Bank))
  s__=>(s__exists__m[V__Debt] :
     (s__instance(V__Debt,s__CognitiveAgent)s__and__m(s__property(V__Debt,s__Liability)s__and__ms__partyToAgreement(V__Debt,V__Agent)
    s__and__ms__partyToAgreement(V__Debt,V__Bank))))))
)

FinancialOntology.kif 1107-1116
( ! [V__P,V__A,V__C] :
   ((s__instance(V__P,s__Proposition)s__and__ms__instance(V__A,s__Agent)s__and__ms__instance(V__A,s__Agreement))
    s__=>((s__instance(V__C,s__Confirming)s__and__ms__agent(V__C,V__A)
      s__and__ms__containsInformation(V__C,V__P))
  s__=>(s__exists__m[V__S,V__RA,V__A2] :
     (s__instance(V__A2,s__Agent)s__and__ms__instance(V__A2,s__Agreement)s__and__m(s__instance(V__S,s__Stating)s__and__ms__earlier(V__S,V__C)
    s__and__ms__instance(V__RA,s__ReachingAgreement)s__and__ms__agent(V__S,V__A2)
  s__and__ms__containsInformation(V__RA,V__P)
s__and__ms__containsInformation(V__S,V__P)
s__and__ms__partyToAgreement(V__RA,V__A)
s__and__ms__partyToAgreement(V__RA,V__A2))))))
)

Mid-level-ontology.kif 27810-27824
( ! [V__CAA,V__AGENT_MIL_THIS,V__NATION_THIS,V__NATION_FRIENDLY] :
   ((s__instance(V__CAA,s__CivilAffairsAgreement)s__and__ms__partyToAgreement(V__AGENT_MIL_THIS,V__CAA)
    s__and__ms__instance(V__AGENT_MIL_THIS,s__MilitaryOrganization)s__and__ms__militaryOfArea(V__AGENT_MIL_THIS,V__NATION_THIS)
  s__and__ms__instance(V__NATION_THIS,s__Nation)s__and__ms__located(V__AGENT_MIL_THIS,V__NATION_FRIENDLY)
s__and__ms__instance(V__NATION_FRIENDLY,s__Nation))
s__=>((s__not__m(V__NATION_THISs__equal__mV__NATION_FRIENDLY))
s__and__m(s__not__ms__enemy(V__NATION_THIS,V__NATION_FRIENDLY))
s__and__m(s__exists__m[V__AGENT_FRIENDLY] :
(s__instance(V__AGENT_FRIENDLY,s__CognitiveAgent)s__and__m(s__located(V__AGENT_FRIENDLY,V__NATION_FRIENDLY)
s__and__ms__partyToAgreement(V__AGENT_FRIENDLY,V__CAA)
s__and__m(s__not__ms__instance(V__AGENT_FRIENDLY,s__MilitaryOrganization)))))))
)

MilitaryProcesses.kif 2276-2295
( ! [V__AGENT,V__CONTRACT,V__CLOSE] :
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__AGENT,s__Agreement)s__and__ms__instance(V__CONTRACT,s__CognitiveAgent))
    s__=>((s__instance(V__CLOSE,s__ClosingContract)s__and__ms__agent(V__CLOSE,V__AGENT)
      s__and__ms__destination(V__CLOSE,V__CONTRACT))
  s__=>s__partyToAgreement(V__CONTRACT,V__AGENT)))
)

Mid-level-ontology.kif 19138-19143
No TPTP formula. May not be expressible in strict first order. Media.kif 153-160
( ! [V__Broker] :
   ((s__instance(V__Broker,s__Agreement)s__and__ms__instance(V__Broker,s__Object))
    s__=>(s__attribute(V__Broker,s__Broker)s__=>(s__exists__m[V__Contract] :
         (s__instance(V__Contract,s__ServiceContract)s__and__ms__partyToAgreement(V__Contract,V__Broker)))))
)

FinancialOntology.kif 1990-1995
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 18475-18488
( ! [V__AGREEMENT] :
   (s__instance(V__AGREEMENT,s__Agreement)s__=>(s__exists__m[V__AGENT1,V__AGENT2] :
       (s__instance(V__AGENT1,s__CognitiveAgent)s__and__ms__instance(V__AGENT2,s__CognitiveAgent)s__and__m(s__partyToAgreement(V__AGENT1,V__AGREEMENT)
      s__and__ms__partyToAgreement(V__AGENT2,V__AGREEMENT)
    s__and__m(s__not__m(V__AGENT1s__equal__mV__AGENT2))))))
)

Mid-level-ontology.kif 11575-11581
( ! [V__C] :
   (s__instance(V__C,s__CognitiveAgent)s__=>(s__property(V__C,s__MarriageContract)s__=>(s__exists__m[V__P1,V__P2] :
         (s__instance(V__P1,s__Human)s__and__ms__instance(V__P1,s__Agreement)s__and__ms__instance(V__P2,s__Human)s__and__ms__instance(V__P2,s__Agreement)s__and__m(s__partyToAgreement(V__C,V__P1)
        s__and__ms__partyToAgreement(V__C,V__P2)
      s__and__ms__spouse(V__P1,V__P2))))))
)

Mid-level-ontology.kif 11787-11793
( ! [V__C,V__SELLER,V__BUYER] :
   ((s__instance(V__C,s__Proposition)s__and__ms__instance(V__C,s__CognitiveAgent)s__and__ms__instance(V__SELLER,s__Agent)s__and__ms__instance(V__SELLER,s__Agreement)s__and__ms__instance(V__BUYER,s__Agreement))
    s__=>(s__property(V__C,s__PurchaseContract)s__=>(s__exists__m[V__S] :
         (s__instance(V__S,s__Selling)s__and__ms__agent(V__S,V__SELLER)
        s__and__ms__destination(V__S,V__BUYER)
      s__and__ms__realization(V__S,V__C)
    s__and__ms__partyToAgreement(V__C,V__SELLER)
  s__and__ms__partyToAgreement(V__C,V__BUYER)))))
)

Mid-level-ontology.kif 11800-11809
( ! [V__C,V__CUST,V__SERVICE] :
   ((s__instance(V__C,s__Proposition)s__and__ms__instance(V__C,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__Agreement)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__instance(V__SERVICE,s__Agreement)s__and__ms__instance(V__SERVICE,s__CognitiveAgent))
    s__=>(s__property(V__C,s__ServiceContract)s__=>(s__exists__m[V__SP] :
         (s__instance(V__SP,s__ServiceProcess)s__and__ms__realization(V__SP,V__C)
        s__and__ms__serviceProvider(V__SP,V__SERVICE)
      s__and__ms__serviceRecipient(V__SP,V__CUST)
    s__and__ms__partyToAgreement(V__C,V__SERVICE)
  s__and__ms__partyToAgreement(V__C,V__CUST)))))
)

Mid-level-ontology.kif 11815-11824
( ! [V__Commitment] :
   (s__instance(V__Commitment,s__CognitiveAgent)s__=>(s__property(V__Commitment,s__LoanCommitment)s__=>(s__exists__m[V__Loan,V__Lender,V__Borrower] :
         (s__instance(V__Lender,s__Agreement)s__and__ms__instance(V__Lender,s__CognitiveAgent)s__and__ms__instance(V__Borrower,s__Agreement)s__and__ms__instance(V__Borrower,s__CognitiveAgent)s__and__m(s__instance(V__Loan,s__Loan)s__and__ms__lender(V__Loan,V__Lender)
        s__and__ms__borrower(V__Loan,V__Borrower)
      s__and__ms__partyToAgreement(V__Commitment,V__Lender)
    s__and__ms__partyToAgreement(V__Commitment,V__Borrower))))))
)

FinancialOntology.kif 1416-1424
( ! [V__T] :
   (s__instance(V__T,s__CognitiveAgent)s__=>(s__property(V__T,s__Treaty)s__=>(s__exists__m[V__N1,V__N2] :
         (s__partyToAgreement(V__T,V__N1)
        s__and__ms__partyToAgreement(V__T,V__N2)
      s__and__ms__instance(V__N1,s__Nation)s__and__ms__instance(V__N2,s__Nation)s__and__m(s__not__m(V__N1s__equal__mV__N2))))))
)

Mid-level-ontology.kif 11837-11846
( ! [V__AGENT,V__PROP] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__PROP,s__Agreement))
    s__=>(s__unratifiedSignatoryToAgreement(V__AGENT,V__PROP)
    s__=>(s__not__ms__partyToAgreement(V__AGENT,V__PROP))))
)

Geography.kif 2959-2961


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