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 13460-13461 | |
(domain partyToAgreement 1 CognitiveAgent) | Mid-level-ontology.kif 13464-13464 | The number 1 argument of party to agreement is an instance of cognitive agent |
(domain partyToAgreement 2 Agreement) | Mid-level-ontology.kif 13465-13465 | The number 2 argument of party to agreement is an instance of agreement |
(instance partyToAgreement BinaryPredicate) | Mid-level-ontology.kif 13459-13459 | party to agreement is an instance of binary predicate |
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 | account at is a subrelation of party to agreement |
(subrelation accountHolder partyToAgreement) | FinancialOntology.kif 247-247 | account holder is a subrelation of party to agreement |
(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 |
![]() |
consequent |
![]() |
![]() |
![]() |