SigningAnAgreement![]() ![]() ![]() |
appearance as argument number 1 |
![]() |
(documentation SigningAnAgreement EnglishLanguage "SigningAnAgreement is the class of actions in which an agent affixes a signature, stamp, or other evidence of authorization or attestation to a document. The document and signature may be electronic. Signings count as SocialInteractions even if done in private, because their significance derives from a social context.") | Geography.kif 3277-3281 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Bush_and_Putin_signing_SORT.jpg") | pictureList.kif 11836-11836 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ Mew_signing.jpg") | pictureList.kif 11832-11832 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 65/ Sizemore_signing.JPG") | pictureList.kif 11833-11833 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 71/ JohnHancockSignature.jpg") | pictureList.kif 10253-10253 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ a/ a1/ Shahar_Peer_signing.JPG") | pictureList.kif 11835-11835 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ c/ cb/ CD_signing.jpg") | pictureList.kif 11831-11831 | |
(subclass SigningAnAgreement Committing) | Geography.kif 3275-3275 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage SigningAnAgreement "签署协议") | domainEnglishFormat.kif 53034-53034 | |
(termFormat ChineseTraditionalLanguage SigningAnAgreement "簽署協議") | domainEnglishFormat.kif 53033-53033 | |
(termFormat EnglishLanguage SigningAnAgreement "signing an agreement") | domainEnglishFormat.kif 53032-53032 |
antecedent |
![]() |
(=> (instance ?SIGNING SigningAnAgreement) (exists (?DOC ?TERMS) (and (instance ?DOC LinguisticExpression) (instance ?TERMS Agreement) (containsInformation ?DOC ?TERMS) (patient ?SIGNING ?DOC)))) |
Geography.kif 3283-3290 |
consequent |
![]() |
(=> (instance ?PUB AboveTheLine) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB)))) |
MilitaryProcesses.kif 964-971 | |
(=> (instance ?PUB BelowTheLine) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H DirectorJS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB)))) |
MilitaryProcesses.kif 984-991 | |
(=> (instance ?PUB ChairmanPublication) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB)))) |
MilitaryProcesses.kif 1046-1053 | |
(=> (instance ?TEXT MarriageCertificate) (exists (?S ?W ?A ?B) (and (instance ?S SigningAnAgreement) (patient ?S ?TEXT) (instance ?W Wedding) (represents ?TEXT ?W) (subProcess ?S ?W) (patient ?W ?A) (instance ?A Human) (patient ?W ?B) (instance ?B Human) (not (equal ?A ?B)) (agent ?S ?A) (agent ?S ?B)))) |
Biography.kif 327-343 |
![]() |
![]() |