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 493-500 | |
(domain recordForAgreement 1 ContentBearingPhysical) | Law.kif 501-501 | The number 1 argument of record for agreement is an instance of content bearing physical |
(domain recordForAgreement 2 Agreement) | Law.kif 502-502 | The number 2 argument of record for agreement is an instance of agreement |
(instance recordForAgreement BinaryPredicate) | Law.kif 491-491 | record for agreement is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage recordForAgreement "%1 是 %2 的 record ") | domainEnglishFormat.kif 4350-4350 | |
(format ChineseTraditionalLanguage recordForAgreement "%1 是 %2 的 record ") | domainEnglishFormat.kif 4349-4349 | |
(format EnglishLanguage recordForAgreement "%1 is the record of %2") | domainEnglishFormat.kif 4348-4348 | |
(termFormat EnglishLanguage recordForAgreement "record for agreement") | domainEnglishFormat.kif 65921-65921 |
antecedent |