partyToAgreement |
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 13994-13995 | |
(domain partyToAgreement 1 CognitiveAgent) | Mid-level-ontology.kif 13998-13998 | 域 協議的一方, 1 and CognitiveAgent |
(domain partyToAgreement 2 Agreement) | Mid-level-ontology.kif 13999-13999 | 域 協議的一方, 2 and 協議 |
(instance partyToAgreement BinaryPredicate) | Mid-level-ontology.kif 13993-13993 | 例 協議的一方 and BinaryPredicate |
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 | 子關係 帳號在 and 協議的一方 |
(subrelation accountHolder partyToAgreement) | FinancialOntology.kif 247-247 | 子關係 帳戶持有人 and 協議的一方 |
(subrelation borrower partyToAgreement) | FinancialOntology.kif 1298-1298 | 子關係 借款人 and 協議的一方 |
(subrelation financialAccount partyToAgreement) | FinancialOntology.kif 3804-3804 | 子關係 financialAccount and 協議的一方 |
(subrelation lender partyToAgreement) | FinancialOntology.kif 1284-1284 | 子關係 貸款人 and 協議的一方 |
(subrelation optionHolder partyToAgreement) | FinancialOntology.kif 2583-2583 | 子關係 期權持有人 and 協議的一方 |
(subrelation optionSeller partyToAgreement) | FinancialOntology.kif 2596-2596 | 子關係 期權賣方 and 協議的一方 |
(termFormat ChineseLanguage partyToAgreement "协议的一方") | domainEnglishFormat.kif 44616-44616 | |
(termFormat ChineseTraditionalLanguage partyToAgreement "協議的一方") | domainEnglishFormat.kif 44615-44615 | |
(termFormat EnglishLanguage partyToAgreement "party to agreement") | domainEnglishFormat.kif 44614-44614 |
antecedent |
consequent |
(<=> (employs ?Org ?Agent) (exists (?Employment) (and (property ?Employment Employment) (partyToAgreement ?Employment ?Org) (partyToAgreement ?Employment ?Agent)))) |
FinancialOntology.kif 3260-3266 | 採用 協議 and 協議 CognitiveAgent 屬性 CognitiveAgent and 僱用 協議 是 CognitiveAgent 的 party 協議 協議 是 CognitiveAgent 的 party 協議 |
(=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT))) |
Mid-level-ontology.kif 14072-14077 |
|
(=> (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 29639-29653 |
|
(=> (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 21512-21517 | |
(=> (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 20823-20836 |
|
(=> (instance ?AGREEMENT Agreement) (exists (?AGENT1 ?AGENT2) (and (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (not (equal ?AGENT1 ?AGENT2))))) |
Mid-level-ontology.kif 13972-13978 |
|
(=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 14170-14176 | |
(=> (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 14183-14192 | |
(=> (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 14198-14207 |
|
(=> (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 14220-14229 | |
(=> (unratifiedSignatoryToAgreement ?AGENT ?PROP) (not (partyToAgreement ?AGENT ?PROP))) |
Geography.kif 3113-3115 |
|