| appearance as argument number 1 |
|
| (documentation partyToAgreement EnglishLanguage "(partyToAgreement ?AGENT ?PROP) means that the AutonomousAgent ?AGENT has committed to the agreement ?PROP.") | Mid-level-ontology.kif 14212-14213 | |
| (domain partyToAgreement 1 CognitiveAgent) | Mid-level-ontology.kif 14216-14216 | |
| (domain partyToAgreement 2 Agreement) | Mid-level-ontology.kif 14217-14217 | |
| (instance partyToAgreement BinaryPredicate) | Mid-level-ontology.kif 14211-14211 |
| 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 accountHolder partyToAgreement) | FinancialOntology.kif 247-247 | |
| (subrelation borrower partyToAgreement) | FinancialOntology.kif 1298-1298 | |
| (subrelation financialAccount partyToAgreement) | FinancialOntology.kif 3804-3804 | |
| (subrelation lender partyToAgreement) | FinancialOntology.kif 1284-1284 | |
| (subrelation optionHolder partyToAgreement) | FinancialOntology.kif 2583-2583 | |
| (subrelation optionSeller partyToAgreement) | FinancialOntology.kif 2596-2596 | |
| (termFormat ChineseLanguage partyToAgreement "协议的一方") | domainEnglishFormat.kif 44649-44649 | |
| (termFormat ChineseTraditionalLanguage partyToAgreement "協議的一方") | domainEnglishFormat.kif 44648-44648 | |
| (termFormat EnglishLanguage partyToAgreement "party to agreement") | domainEnglishFormat.kif 44647-44647 |
| 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 2008-2029 | |
| (=> (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 2031-2052 | |
| (=> (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 1981-1990 | |
| (=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT1 ?CAA) (partyToAgreement ?AGENT2 ?CAA)) (not (enemy ?AGENT1 ?AGENT2))) |
MilitaryProcesses.kif 2332-2338 | |
| (=> (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 2309-2328 | |
| (=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (agreementClause (exists (?B ?ITEM) (and (instance ?B Buying) (patient ?B ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?B ?BUYER) (origin ?B ?SELLER) (transactionAmount ?B ?PRICE))) Obligation ?AGREE ?SELLER)) |
Catalog.kif 311-324 | |
| (=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (modalAttribute (exists (?S ?ITEM) (and (instance ?S Selling) (patient ?S ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?S ?SELLER) (destination ?S ?BUYER) (transactionAmount ?S ?PRICE))) Promise)) |
Catalog.kif 276-289 | |
| (=> (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 573-588 | |
| (=> (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 554-571 | |
| (=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (attribute ?A1 Sober))) |
Law.kif 515-524 | |
| (=> (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 14367-14381 | |
| (=> (partyToAgreement ?AGENT ?CONTENT) (exists (?C) (and (instance ?C Committing) (agent ?C ?AGENT) (patient ?C ?CONTENT)))) |
Mid-level-ontology.kif 14219-14225 |
| consequent |
|
|
| (<=> (employs ?Org ?Agent) (exists (?Employment) (and (property ?Employment Employment) (partyToAgreement ?Employment ?Org) (partyToAgreement ?Employment ?Agent)))) |
FinancialOntology.kif 3260-3266 | |
| (=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT))) |
Mid-level-ontology.kif 14290-14295 | |
| (=> (and (instance ?Account LiabilityAccount) (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (exists (?Debt) (and (property ?Debt Liability) (partyToAgreement ?Debt ?Agent) (partyToAgreement ?Debt ?Bank)))) |
FinancialOntology.kif 1162-1171 | |
| (=> (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 29923-29937 | |
| (=> (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 2309-2328 | |
| (=> (and (instance ?CLOSE ClosingContract) (agent ?CLOSE ?AGENT) (destination ?CLOSE ?CONTRACT)) (partyToAgreement ?CONTRACT ?AGENT)) |
Mid-level-ontology.kif 21770-21775 | |
| (=> (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 ?Broker ?Contract)))) |
FinancialOntology.kif 2058-2063 | |
| (=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?SELLER ?CUSTOMER) (and (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?CUSTOMER ?AGREE) (modalAttribute (exists (?R ?O) (and (instance ?R Renting) (instance ?O ?OBJ) (patient ?R ?O) (agent ?R ?SELLER) (destination ?R ?CUSTOMER))) Obligation)))) |
Catalog.kif 513-526 | |
| (=> (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 21081-21094 | |
| (=> (instance ?AGREEMENT Agreement) (exists (?AGENT1 ?AGENT2) (and (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (not (equal ?AGENT1 ?AGENT2))))) |
Mid-level-ontology.kif 14190-14196 | |
| (=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 14388-14394 | |
| (=> (property ?C PurchaseContract) (exists (?S ?SELLER ?BUYER) (and (instance ?S Selling) (agent ?S ?SELLER) (destination ?S ?BUYER) (realization ?S ?C) (partyToAgreement ?C ?SELLER) (partyToAgreement ?C ?BUYER)))) |
Mid-level-ontology.kif 14401-14410 | |
| (=> (property ?C ServiceContract) (exists (?SP ?SERVICE ?CUST) (and (instance ?SP ServiceProcess) (realization ?SP ?C) (serviceProvider ?SP ?SERVICE) (serviceRecipient ?SP ?CUST) (partyToAgreement ?C ?SERVICE) (partyToAgreement ?C ?CUST)))) |
Mid-level-ontology.kif 14416-14425 | |
| (=> (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 1473-1481 | |
| (=> (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 14438-14447 | |
| (=> (unratifiedSignatoryToAgreement ?AGENT ?PROP) (not (partyToAgreement ?AGENT ?PROP))) |
Geography.kif 3113-3115 |
|
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