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 12743-12744
s__domain(s__partyToAgreement__m,n__1,s__CognitiveAgent)

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

Mid-level-ontology.kif 12748-12748 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 12742-12742 party to agreement is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__partyToAgreement__m,'"%2 %n 是 %1 的 party 协议"')

domainEnglishFormat.kif 1907-1907
s__format(s__ChineseTraditionalLanguage,s__partyToAgreement__m,'"%2 %n 是 %1 的 party 協議"')

domainEnglishFormat.kif 1906-1906
s__format(s__EnglishLanguage,s__partyToAgreement__m,'"%2 is %n a party to agreement of %1"')

domainEnglishFormat.kif 1905-1905
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 1252-1252 borrower is a subrelation of party to agreement
s__subrelation(s__financialAccount__m,s__partyToAgreement__m)

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

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

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

FinancialOntology.kif 2537-2537 option seller is a subrelation of party to agreement
s__termFormat(s__ChineseLanguage,s__partyToAgreement__m,'"协议的一方"')

domainEnglishFormat.kif 44593-44593
s__termFormat(s__ChineseTraditionalLanguage,s__partyToAgreement__m,'"協議的一方"')

domainEnglishFormat.kif 44592-44592
s__termFormat(s__EnglishLanguage,s__partyToAgreement__m,'"party to agreement"')

domainEnglishFormat.kif 44591-44591

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1958-1979
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-2002
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1930-1939
( ! [V__AGENT2,V__AGENT1,V__CAA] :
   (((s__instance(V__AGENT2,s__CognitiveAgent) &
         s__instance(V__AGENT1,s__CognitiveAgent))
       =>
       (((s__instance(V__CAA,s__CivilAffairsAgreement) &
             s__partyToAgreement(V__AGENT1,V__CAA)
           &
           s__partyToAgreement(V__AGENT2,V__CAA))
       =>
       (~(s__enemy(V__AGENT1,V__AGENT2))))))
)
)

MilitaryProcesses.kif 2312-2318
( ! [V__NATION_FRIENDLY,V__CAA,V__NATION_THIS,V__AGENT_MIL_THIS] :
   (((s__instance(V__CAA,s__CivilAffairsAgreement) &
         s__partyToAgreement(V__AGENT_MIL_THIS,V__CAA)
       &
       s__instance(V__AGENT_MIL_THIS,s__MilitaryOrganization) &
       s__militaryOfArea(V__AGENT_MIL_THIS,V__NATION_THIS)
     &
     s__instance(V__NATION_THIS,s__Nation) &
     s__located(V__AGENT_MIL_THIS,V__NATION_FRIENDLY)
   &
   s__instance(V__NATION_FRIENDLY,s__Nation))
=>
((~((V__NATION_THIS = V__NATION_FRIENDLY))
     &
     ~(s__enemy(V__NATION_THIS,V__NATION_FRIENDLY))
   &
   ( ? [V__AGENT_FRIENDLY] :
     ((s__instance(V__AGENT_FRIENDLY,s__CognitiveAgent) &
         (s__located(V__AGENT_FRIENDLY,V__NATION_FRIENDLY)
         &
         s__partyToAgreement(V__AGENT_FRIENDLY,V__CAA)
       &
       ~(s__instance(V__AGENT_FRIENDLY,s__MilitaryOrganization)))))))))
)
)

MilitaryProcesses.kif 2289-2308
No TPTP formula. May not be expressible in strict first order. Catalog.kif 268-282
No TPTP formula. May not be expressible in strict first order. Catalog.kif 284-299
No TPTP formula. May not be expressible in strict first order. Catalog.kif 301-315
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 12898-12912
( ! [V__AGENT,V__CONTENT] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CONTENT,s__Agreement))
       =>
       ((s__partyToAgreement(V__AGENT,V__CONTENT)
         =>
         (( ? [V__C] :
             ((s__instance(V__C,s__Committing) &
                 s__agent(V__C,V__AGENT)
               &
               s__patient(V__C,V__CONTENT))))))))
)
)

Mid-level-ontology.kif 12750-12756

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


( ! [V__Agent,V__Org] :
   (((s__instance(V__Agent,s__Agreement) &
         s__instance(V__Agent,s__CognitiveAgent) &
         s__instance(V__Org,s__Agent) &
         s__instance(V__Org,s__Agreement))
       =>
       (((s__employs(V__Org,V__Agent)
           =>
           ( ? [V__Employment] :
             ((s__instance(V__Employment,s__CognitiveAgent) &
                 (s__property(V__Employment,s__Employment) &
                   s__partyToAgreement(V__Employment,V__Org)
                 &
                 s__partyToAgreement(V__Employment,V__Agent))))))
     &
     (( ? [V__Employment] :
         ((s__instance(V__Employment,s__CognitiveAgent) &
             (s__property(V__Employment,s__Employment) &
               s__partyToAgreement(V__Employment,V__Org)
             &
             s__partyToAgreement(V__Employment,V__Agent)))))
   =>
   s__employs(V__Org,V__Agent)))))
)
)

FinancialOntology.kif 3200-3206 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
( ! [V__AGENT,V__ATTR,V__PROP,V__AGREEMENT] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ATTR,s__DeonticAttribute) &
         s__instance(V__PROP,s__Proposition) &
         s__instance(V__AGREEMENT,s__Agreement))
       =>
       ((s__agreementClause(V__PROP,V__ATTR,V__AGREEMENT,V__AGENT)
         =>
         ((( ? [V__CLAUSE] :
               ((s__instance(V__CLAUSE,s__ContentBearingPhysical) &
                   s__containsInformation(V__CLAUSE,V__PROP))))
           &
           s__partyToAgreement(V__AGENT,V__AGREEMENT))))))
)
)

Mid-level-ontology.kif 12821-12826
( ! [V__Agent,V__Account,V__Bank] :
   (((s__instance(V__Agent,s__Agreement) &
         s__instance(V__Agent,s__CognitiveAgent) &
         s__instance(V__Bank,s__Agreement) &
         s__instance(V__Bank,s__FinancialOrganization))
       =>
       (((s__instance(V__Account,s__LiabilityAccount) &
             s__accountHolder(V__Account,V__Agent)
           &
           s__accountAt(V__Account,V__Bank))
       =>
       (( ? [V__Debt] :
           ((s__instance(V__Debt,s__CognitiveAgent) &
               (s__property(V__Debt,s__Liability) &
                 s__partyToAgreement(V__Debt,V__Agent)
               &
               s__partyToAgreement(V__Debt,V__Bank)))))))))
)
)

FinancialOntology.kif 1116-1125
( ! [V__P,V__A,V__C] :
   (((s__instance(V__P,s__Proposition) &
         s__instance(V__A,s__Agent) &
         s__instance(V__A,s__Agreement))
       =>
       (((s__instance(V__C,s__Confirming) &
             s__agent(V__C,V__A)
           &
           s__containsInformation(V__C,V__P))
       =>
       (( ? [V__S, V__RA, V__A2] :
           ((s__instance(V__A2,s__Agent) &
               s__instance(V__A2,s__Agreement) &
               (s__instance(V__S,s__Stating) &
                 s__earlier(V__S,V__C)
               &
               s__instance(V__RA,s__ReachingAgreement) &
               s__agent(V__S,V__A2)
             &
             s__containsInformation(V__RA,V__P)
           &
           s__containsInformation(V__S,V__P)
         &
         s__partyToAgreement(V__RA,V__A)
       &
       s__partyToAgreement(V__RA,V__A2)))))))))
)
)

Mid-level-ontology.kif 28247-28261
( ! [V__NATION_FRIENDLY,V__CAA,V__NATION_THIS,V__AGENT_MIL_THIS] :
   (((s__instance(V__CAA,s__CivilAffairsAgreement) &
         s__partyToAgreement(V__AGENT_MIL_THIS,V__CAA)
       &
       s__instance(V__AGENT_MIL_THIS,s__MilitaryOrganization) &
       s__militaryOfArea(V__AGENT_MIL_THIS,V__NATION_THIS)
     &
     s__instance(V__NATION_THIS,s__Nation) &
     s__located(V__AGENT_MIL_THIS,V__NATION_FRIENDLY)
   &
   s__instance(V__NATION_FRIENDLY,s__Nation))
=>
((~((V__NATION_THIS = V__NATION_FRIENDLY))
     &
     ~(s__enemy(V__NATION_THIS,V__NATION_FRIENDLY))
   &
   ( ? [V__AGENT_FRIENDLY] :
     ((s__instance(V__AGENT_FRIENDLY,s__CognitiveAgent) &
         (s__located(V__AGENT_FRIENDLY,V__NATION_FRIENDLY)
         &
         s__partyToAgreement(V__AGENT_FRIENDLY,V__CAA)
       &
       ~(s__instance(V__AGENT_FRIENDLY,s__MilitaryOrganization)))))))))
)
)

MilitaryProcesses.kif 2289-2308
( ! [V__AGENT,V__CONTRACT,V__CLOSE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__AGENT,s__Agreement) &
         s__instance(V__CONTRACT,s__CognitiveAgent))
       =>
       (((s__instance(V__CLOSE,s__ClosingContract) &
             s__agent(V__CLOSE,V__AGENT)
           &
           s__destination(V__CLOSE,V__CONTRACT))
       =>
       (s__partyToAgreement(V__CONTRACT,V__AGENT)))))
)
)

Mid-level-ontology.kif 20023-20028
No TPTP formula. May not be expressible in strict first order. Media.kif 153-160
( ! [V__Broker] :
   (((s__instance(V__Broker,s__Agreement) &
         s__instance(V__Broker,s__Object))
       =>
       ((s__attribute(V__Broker,s__Broker) =>
           (( ? [V__Contract] :
               ((s__instance(V__Contract,s__ServiceContract) &
                   s__partyToAgreement(V__Contract,V__Broker))))))))
   )
)

FinancialOntology.kif 2008-2013
No TPTP formula. May not be expressible in strict first order. Catalog.kif 504-516
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19371-19384
( ! [V__AGREEMENT] :
   ((s__instance(V__AGREEMENT,s__Agreement) =>
       (( ? [V__AGENT1, V__AGENT2] :
           ((s__instance(V__AGENT1,s__CognitiveAgent) &
               s__instance(V__AGENT2,s__CognitiveAgent) &
               (s__partyToAgreement(V__AGENT1,V__AGREEMENT)
               &
               s__partyToAgreement(V__AGENT2,V__AGREEMENT)
             &
             ~((V__AGENT1 = V__AGENT2))))))))
)
)

Mid-level-ontology.kif 12721-12727
( ! [V__C] :
   ((s__instance(V__C,s__CognitiveAgent) =>
       ((s__property(V__C,s__MarriageContract) =>
           (( ? [V__P1, V__P2] :
               ((s__instance(V__P1,s__Human) &
                   s__instance(V__P1,s__Agreement) &
                   s__instance(V__P2,s__Human) &
                   s__instance(V__P2,s__Agreement) &
                   (s__partyToAgreement(V__C,V__P1)
                   &
                   s__partyToAgreement(V__C,V__P2)
                 &
                 s__spouse(V__P1,V__P2)))))))))
)
)

Mid-level-ontology.kif 12919-12925
( ! [V__C,V__SELLER,V__BUYER] :
   (((s__instance(V__C,s__Proposition) &
         s__instance(V__C,s__CognitiveAgent) &
         s__instance(V__SELLER,s__Agent) &
         s__instance(V__SELLER,s__Agreement) &
         s__instance(V__BUYER,s__Agreement))
       =>
       ((s__property(V__C,s__PurchaseContract) =>
           (( ? [V__S] :
               ((s__instance(V__S,s__Selling) &
                   s__agent(V__S,V__SELLER)
                 &
                 s__destination(V__S,V__BUYER)
               &
               s__realization(V__S,V__C)
             &
             s__partyToAgreement(V__C,V__SELLER)
           &
           s__partyToAgreement(V__C,V__BUYER))))))))
)
)

Mid-level-ontology.kif 12932-12941
( ! [V__C,V__CUST,V__SERVICE] :
   (((s__instance(V__C,s__Proposition) &
         s__instance(V__C,s__CognitiveAgent) &
         s__instance(V__CUST,s__Agreement) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__SERVICE,s__Agreement) &
         s__instance(V__SERVICE,s__CognitiveAgent))
       =>
       ((s__property(V__C,s__ServiceContract) =>
           (( ? [V__SP] :
               ((s__instance(V__SP,s__ServiceProcess) &
                   s__realization(V__SP,V__C)
                 &
                 s__serviceProvider(V__SP,V__SERVICE)
               &
               s__serviceRecipient(V__SP,V__CUST)
             &
             s__partyToAgreement(V__C,V__SERVICE)
           &
           s__partyToAgreement(V__C,V__CUST))))))))
)
)

Mid-level-ontology.kif 12947-12956
( ! [V__Commitment] :
   ((s__instance(V__Commitment,s__CognitiveAgent) =>
       ((s__property(V__Commitment,s__LoanCommitment) =>
           (( ? [V__Loan, V__Lender, V__Borrower] :
               ((s__instance(V__Lender,s__Agreement) &
                   s__instance(V__Lender,s__CognitiveAgent) &
                   s__instance(V__Borrower,s__Agreement) &
                   s__instance(V__Borrower,s__CognitiveAgent) &
                   (s__instance(V__Loan,s__Loan) &
                     s__lender(V__Loan,V__Lender)
                   &
                   s__borrower(V__Loan,V__Borrower)
                 &
                 s__partyToAgreement(V__Commitment,V__Lender)
               &
               s__partyToAgreement(V__Commitment,V__Borrower)))))))))
)
)

FinancialOntology.kif 1427-1435
( ! [V__T] :
   ((s__instance(V__T,s__CognitiveAgent) =>
       ((s__property(V__T,s__Treaty) =>
           (( ? [V__N1, V__N2] :
               ((s__partyToAgreement(V__T,V__N1)
                 &
                 s__partyToAgreement(V__T,V__N2)
               &
               s__instance(V__N1,s__Nation) &
               s__instance(V__N2,s__Nation) &
               ~((V__N1 = V__N2)))))))))
)
)

Mid-level-ontology.kif 12969-12978
( ! [V__AGENT,V__PROP] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__PROP,s__Agreement))
       =>
       ((s__unratifiedSignatoryToAgreement(V__AGENT,V__PROP)
         =>
         (~(s__partyToAgreement(V__AGENT,V__PROP))))))
)
)

Geography.kif 2994-2996


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