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 11603-11604
s__domain(s__partyToAgreement__m,n__1,s__CognitiveAgent)

Mid-level-ontology.kif 11607-11607 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 11608-11608 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 11602-11602 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 1239-1239 borrower is a subrelation of party to agreement
s__subrelation(s__financialAccount__m,s__partyToAgreement__m)

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

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

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

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

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

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

domainEnglishFormat.kif 44507-44507

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
( ! [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 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 11772-11786
( ! [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 11610-11616

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 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
( ! [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 11681-11686
( ! [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 1106-1115
( ! [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 27816-27830
( ! [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 19150-19155
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 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 18477-18490
( ! [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 11581-11587
( ! [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 11793-11799
( ! [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 11806-11815
( ! [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 11821-11830
( ! [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 1414-1422
( ! [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 11843-11852
( ! [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 2972-2974


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