recordForAgreement |
appearance as argument number 1 |
![]() |
(documentation recordForAgreement EnglishLanguage "This is a relation between a document or an action that records the propositional content of an Agreement. This could be a written document or a verbal promise as verbal promises are also legally binding under some legal systems. Note that this is a stronger relationship than refers or containsInformation since it entails that the record is the full content of the Proposition and that the Proposition must have the Attribute of being an Agreement, as opposed to some other Proposition.") | Law.kif 499-506 | |
(domain recordForAgreement 1 ContentBearingPhysical) | Law.kif 507-507 | recordForAgreement の数値 1 引数は ContentBearingPhysical の instance では |
(domain recordForAgreement 2 Agreement) | Law.kif 508-508 | recordForAgreement の数値 2 引数は Agreement の instance では |
(instance recordForAgreement BinaryPredicate) | Law.kif 497-497 | recordForAgreement は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage recordForAgreement "%1 是 %2 的 record ") | domainEnglishFormat.kif 4354-4354 | |
(format ChineseTraditionalLanguage recordForAgreement "%1 是 %2 的 record ") | domainEnglishFormat.kif 4353-4353 | |
(format EnglishLanguage recordForAgreement "%1 is the record of %2") | domainEnglishFormat.kif 4352-4352 | |
(termFormat EnglishLanguage recordForAgreement "record for agreement") | domainEnglishFormat.kif 65939-65939 |
antecedent |
![]() |
![]() |
![]() |