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


(documentation partyToAgreement EnglishLanguage "(partyToAgreement ?AGENT ?PROP) means that the Agent ?AGENT has committed to the agreement ?PROP.") Mid-level-ontology.kif 12359-12360
(domain partyToAgreement 1 CognitiveAgent) Mid-level-ontology.kif 12363-12363 协议的一方 的 1 数量 是 有认知的主事 的 instance
(domain partyToAgreement 2 Agreement) Mid-level-ontology.kif 12364-12364 协议的一方 的 2 数量 是 协议 的 instance
(instance partyToAgreement BinaryPredicate) Mid-level-ontology.kif 12358-12358 协议的一方 是 二元谓语 的 instance

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


(format ChineseLanguage partyToAgreement "%2 %n 是 %1 的 party 协议") domainEnglishFormat.kif 1907-1907
(format ChineseTraditionalLanguage partyToAgreement "%2 %n 是 %1 的 party 協議") domainEnglishFormat.kif 1906-1906
(format EnglishLanguage partyToAgreement "%2 is %n a party to agreement of %1") domainEnglishFormat.kif 1905-1905
(subrelation accountAt partyToAgreement) FinancialOntology.kif 228-228 帐号在 是 协议的一方 的 subrelation
(subrelation accountHolder partyToAgreement) FinancialOntology.kif 247-247 帐户持有人 是 协议的一方 的 subrelation
(subrelation borrower partyToAgreement) FinancialOntology.kif 1252-1252 借款人 是 协议的一方 的 subrelation
(subrelation financialAccount partyToAgreement) FinancialOntology.kif 3693-3693 financialAccount 是 协议的一方 的 subrelation
(subrelation lender partyToAgreement) FinancialOntology.kif 1238-1238 贷款人 是 协议的一方 的 subrelation
(subrelation optionHolder partyToAgreement) FinancialOntology.kif 2524-2524 期权持有人 是 协议的一方 的 subrelation
(subrelation optionSeller partyToAgreement) FinancialOntology.kif 2537-2537 期权卖方 是 协议的一方 的 subrelation
(termFormat ChineseLanguage partyToAgreement "协议的一方") domainEnglishFormat.kif 44593-44593
(termFormat ChineseTraditionalLanguage partyToAgreement "協議的一方") domainEnglishFormat.kif 44592-44592
(termFormat EnglishLanguage partyToAgreement "party to agreement") domainEnglishFormat.kif 44591-44591

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


(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (instance ?U UnitOfCurrency)
        (askPrice ?Object
            (MeasureFn ?Price ?U) ?Time)
        (lessThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Buy) ?BuyingTime)
                (overlapsTemporally ?Time ?BuyingTime))) ?Broker))		 FinancialOntology.kif 1958-1979
(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Selling ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (bidPrice ?Object
            (MeasureFn ?Price ?U) ?Time)
        (instance ?U UnitOfCurrency)
        (greaterThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Sell) ?SellingTime)
                (overlapsTemporally ?SellingTime ?Time))) ?Broker))		 FinancialOntology.kif 1981-2002
(=>
    (and
        (attribute ?Order MarketOrder)
        (attribute ?Broker Broker)
        (partyToAgreement ?Order ?Broker)
        (orderFor ?Order ?TransactionType ?Shares))
    (holdsObligation
        (KappaFn ?Transaction
            (and
                (instance ?Transaction ?TransactionType)
                (patient ?Transaction ?Shares))) ?Broker))		 FinancialOntology.kif 1930-1939
(=>
    (and
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT1 ?CAA)
        (partyToAgreement ?AGENT2 ?CAA))
    (not
        (enemy ?AGENT1 ?AGENT2)))		 MilitaryProcesses.kif 2312-2318
(=>
    (and
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT_MIL_THIS ?CAA)
        (instance ?AGENT_MIL_THIS MilitaryOrganization)
        (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS)
        (instance ?NATION_THIS Nation)
        (located ?AGENT_MIL_THIS ?NATION_FRIENDLY)
        (instance ?NATION_FRIENDLY Nation))
    (and
        (not
            (equal ?NATION_THIS ?NATION_FRIENDLY))
        (not
            (enemy ?NATION_THIS ?NATION_FRIENDLY))
        (exists (?AGENT_FRIENDLY)
            (and
                (located ?AGENT_FRIENDLY ?NATION_FRIENDLY)
                (partyToAgreement ?AGENT_FRIENDLY ?CAA)
                (not
                    (instance ?AGENT_FRIENDLY MilitaryOrganization))))))		 MilitaryProcesses.kif 2289-2308
(=>
    (and
        (negotiatedPrice ?ENT ?PRICE ?AGREE)
        (partyToAgreement ?SELLER ?AGREE)
        (partyToAgreement ?BUYER ?AGREE)
        (subclass ?ENT Physical))
    (modalAttribute
        (=>
            (and
                (instance ?S Selling)
                (patient ?S ?ITEM)
                (immediateInstance ?ITEM ?ENT)
                (agent ?S ?SELLER)
                (destination ?S ?BUYER))
            (transactionAmount ?S ?PRICE)) Promise))		 Catalog.kif 268-282
(=>
    (and
        (negotiatedPrice ?ENT ?PRICE ?AGREE)
        (partyToAgreement ?SELLER ?AGREE)
        (partyToAgreement ?BUYER ?AGREE)
        (subclass ?ENT Proposition))
    (modalAttribute
        (=>
            (and
                (immediateInstance ?ITEM ?ENT)
                (realization ?PROCESS ?ITEM)
                (instance ?S Selling)
                (patient ?S ?PROCESS)
                (agent ?S ?SELLER)
                (destination ?S ?BUYER))
            (transactionAmount ?S ?PRICE)) Promise))		 Catalog.kif 284-299
(=>
    (and
        (negotiatedPrice ?ENT ?PRICE ?AGREE)
        (partyToAgreement ?SELLER ?AGREE)
        (partyToAgreement ?BUYER ?AGREE))
    (exists (?B)
        (agreementClause
            (=>
                (and
                    (instance ?B Buying)
                    (patient ?B ?ITEM)
                    (immediateInstance ?ITEM ?ENT)
                    (agent ?B ?BUYER)
                    (origin ?B ?SELLER))
                (transactionAmount ?B ?PRICE)) Obligation ?AGREE ?SELLER)))		 Catalog.kif 301-315
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (located ?PROC ?LOC)
        (instance ?LOC GeopoliticalArea)
        (ageOfMajorityForProcess
            (MeasureFn ?N YearDuration) ?LOC ?PROC)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (and
            (age ?A1
                (MeasureFn ?N2 YearDuration))
            (greaterThan ?N2 ?N))))		 Law.kif 621-636
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (located ?PROC ?LOC)
        (instance ?LOC Nation)
        (located ?PROC ?LOC2)
        (instance ?LOC2 GeopoliticalArea)
        (ageOfMajorityForProcess
            (MeasureFn ?N2 YearDuration) ?LOC ?PROC)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (holdsDuring
            (WhenFn ?PROC)
            (and
                (age ?A1
                    (MeasureFn ?N3 YearDuration))
                (greaterThan ?N3 ?N2))))
    (attribute ?AG Legal))		 Law.kif 602-619
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))		 Law.kif 563-572
(=>
    (and
        (property ?AGREEMENT Contract)
        (partyToAgreement ?AGENT1 ?AGREEMENT)
        (partyToAgreement ?AGENT2 ?AGREEMENT)
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT1)
        (realization ?PROC ?PROP)
        (not
            (consistent ?PROP ?AGREEMENT)))
    (modalAttribute
        (exists (?LEGAL)
            (and
                (instance ?LEGAL LegalAction)
                (plaintiff ?LEGAL ?AGENT2)
                (defendant ?LEGAL ?AGENT1))) Possibility))		 Mid-level-ontology.kif 12514-12528
(=>
    (partyToAgreement ?AGENT ?CONTENT)
    (exists (?C)
        (and
            (instance ?C Committing)
            (agent ?C ?AGENT)
            (patient ?C ?CONTENT))))		 Mid-level-ontology.kif 12366-12372

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


(<=>
    (employs ?Org ?Agent)
    (exists (?Employment)
        (and
            (property ?Employment Employment)
            (partyToAgreement ?Employment ?Org)
            (partyToAgreement ?Employment ?Agent))))		 FinancialOntology.kif 3200-3206 施事体 employs 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事 有 雇用 的 attribute 和 那个 施事体 是 那个 有认知的主事 的 party 协议 和 那个 协议 是 那个 有认知的主事 的 party 协议
(=>
    (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
    (and
        (exists (?CLAUSE)
            (containsInformation ?CLAUSE ?PROP))
        (partyToAgreement ?AGENT ?AGREEMENT)))		 Mid-level-ontology.kif 12437-12442
(=>
    (and
        (instance ?Account LiabilityAccount)
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (exists (?Debt)
        (and
            (property ?Debt Liability)
            (partyToAgreement ?Debt ?Agent)
            (partyToAgreement ?Debt ?Bank))))		 FinancialOntology.kif 1116-1125
(=>
    (and
        (instance ?C Confirming)
        (agent ?C ?A)
        (containsInformation ?C ?P))
    (exists (?S ?RA ?A2)
        (and
            (instance ?S Stating)
            (earlier ?S ?C)
            (instance ?RA ReachingAgreement)
            (agent ?S ?A2)
            (containsInformation ?RA ?P)
            (containsInformation ?S ?P)
            (partyToAgreement ?RA ?A)
            (partyToAgreement ?RA ?A2))))		 Mid-level-ontology.kif 27789-27803
(=>
    (and
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT_MIL_THIS ?CAA)
        (instance ?AGENT_MIL_THIS MilitaryOrganization)
        (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS)
        (instance ?NATION_THIS Nation)
        (located ?AGENT_MIL_THIS ?NATION_FRIENDLY)
        (instance ?NATION_FRIENDLY Nation))
    (and
        (not
            (equal ?NATION_THIS ?NATION_FRIENDLY))
        (not
            (enemy ?NATION_THIS ?NATION_FRIENDLY))
        (exists (?AGENT_FRIENDLY)
            (and
                (located ?AGENT_FRIENDLY ?NATION_FRIENDLY)
                (partyToAgreement ?AGENT_FRIENDLY ?CAA)
                (not
                    (instance ?AGENT_FRIENDLY MilitaryOrganization))))))		 MilitaryProcesses.kif 2289-2308
(=>
    (and
        (instance ?CLOSE ClosingContract)
        (agent ?CLOSE ?AGENT)
        (destination ?CLOSE ?CONTRACT))
    (partyToAgreement ?CONTRACT ?AGENT))		 Mid-level-ontology.kif 19578-19583
(=>
    (and
        (instance ?RA ReachingAgreement)
        (agent ?RA ?AGENT)
        (result ?RA ?PROP)
        (instance ?PROP Agreement))
    (holdsDuring
        (FutureFn
            (WhenFn ?RA))
        (partyToAgreement ?AGENT ?PROP)))		 Media.kif 153-160
(=>
    (attribute ?Broker Broker)
    (exists (?Contract)
        (and
            (instance ?Contract ServiceContract)
            (partyToAgreement ?Contract ?Broker))))		 FinancialOntology.kif 2008-2013
(=>
    (contractedRentalPrice ?OBJ ?QUANT ?AGREE)
    (exists (?SELLER ?CUSTOMER)
        (and
            (partyToAgreement ?SELLER ?AGREE)
            (partyToAgreement ?CUSTOMER ?AGREE)
            (modalAttribute
                (exists (?R)
                    (and
                        (instance ?R Renting)
                        (patient ?R ?OBJ)
                        (agent ?R ?SELLER)
                        (destination ?R ?CUSTOMER))) Obligation))))		 Catalog.kif 504-516
(=>
    (contractor ?BUILDING ?CONTRACTOR)
    (exists (?CONTRACT ?AGENT)
        (and
            (property ?CONTRACT Contract)
            (partyToAgreement ?AGENT ?CONTRACT)
            (partyToAgreement ?CONTRACTOR ?CONTRACT)
            (confersObligation
                (exists (?CONSTRUCT ?BUILDING2)
                    (and
                        (instance ?CONSTRUCT Constructing)
                        (agent ?CONSTRUCT ?CONTRACTOR)
                        (result ?CONSTRUCT ?BUILDING2)
                        (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR))))		 Mid-level-ontology.kif 18926-18939
(=>
    (instance ?AGREEMENT Agreement)
    (exists (?AGENT1 ?AGENT2)
        (and
            (partyToAgreement ?AGENT1 ?AGREEMENT)
            (partyToAgreement ?AGENT2 ?AGREEMENT)
            (not
                (equal ?AGENT1 ?AGENT2)))))		 Mid-level-ontology.kif 12337-12343
(=>
    (property ?C MarriageContract)
    (exists (?P1 ?P2)
        (and
            (partyToAgreement ?C ?P1)
            (partyToAgreement ?C ?P2)
            (spouse ?P1 ?P2))))		 Mid-level-ontology.kif 12535-12541
(=>
    (property ?C PurchaseContract)
    (exists (?S)
        (and
            (instance ?S Selling)
            (agent ?S ?SELLER)
            (destination ?S ?BUYER)
            (realization ?S ?C)
            (partyToAgreement ?C ?SELLER)
            (partyToAgreement ?C ?BUYER))))		 Mid-level-ontology.kif 12548-12557
(=>
    (property ?C ServiceContract)
    (exists (?SP)
        (and
            (instance ?SP ServiceProcess)
            (realization ?SP ?C)
            (serviceProvider ?SP ?SERVICE)
            (serviceRecipient ?SP ?CUST)
            (partyToAgreement ?C ?SERVICE)
            (partyToAgreement ?C ?CUST))))		 Mid-level-ontology.kif 12563-12572
(=>
    (property ?Commitment LoanCommitment)
    (exists (?Loan ?Lender ?Borrower)
        (and
            (instance ?Loan Loan)
            (lender ?Loan ?Lender)
            (borrower ?Loan ?Borrower)
            (partyToAgreement ?Commitment ?Lender)
            (partyToAgreement ?Commitment ?Borrower))))		 FinancialOntology.kif 1427-1435
(=>
    (property ?T Treaty)
    (exists (?N1 ?N2)
        (and
            (partyToAgreement ?T ?N1)
            (partyToAgreement ?T ?N2)
            (instance ?N1 Nation)
            (instance ?N2 Nation)
            (not
                (equal ?N1 ?N2)))))		 Mid-level-ontology.kif 12585-12594
(=>
    (unratifiedSignatoryToAgreement ?AGENT ?PROP)
    (not
        (partyToAgreement ?AGENT ?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