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 | Le nombre 1 argument de partyToAgreement est une instance de agent cognitif |
(domain partyToAgreement 2 Agreement) | Mid-level-ontology.kif 13999-13999 | Le nombre 2 argument de partyToAgreement est une instance de Agreement |
(instance partyToAgreement BinaryPredicate) | Mid-level-ontology.kif 13993-13993 | partyToAgreement est une instance de pr�dicat binaire |
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 | accountAt est une sous-relation de partyToAgreement |
(subrelation accountHolder partyToAgreement) | FinancialOntology.kif 247-247 | accountHolder est une sous-relation de partyToAgreement |
(subrelation borrower partyToAgreement) | FinancialOntology.kif 1298-1298 | borrower est une sous-relation de partyToAgreement |
(subrelation financialAccount partyToAgreement) | FinancialOntology.kif 3804-3804 | financialAccount est une sous-relation de partyToAgreement |
(subrelation lender partyToAgreement) | FinancialOntology.kif 1284-1284 | lender est une sous-relation de partyToAgreement |
(subrelation optionHolder partyToAgreement) | FinancialOntology.kif 2583-2583 | optionHolder est une sous-relation de partyToAgreement |
(subrelation optionSeller partyToAgreement) | FinancialOntology.kif 2596-2596 | optionSeller est une sous-relation de partyToAgreement |
(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 |