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 | Die Zahl 1 Argument von recordForAgreement ist ein fall von ContentBearingPhysical %n{nicht} |
(domain recordForAgreement 2 Agreement) | Law.kif 502-502 | Die Zahl 2 Argument von recordForAgreement ist ein fall von Agreement %n{nicht} |
(instance recordForAgreement BinaryPredicate) | Law.kif 491-491 | recordForAgreement ist ein fall von BinaryPredicate %n{nicht} |
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 |