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 2978-2982 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Bush_and_Putin_signing_SORT.jpg") | pictureList.kif 11870-11870 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ Mew_signing.jpg") | pictureList.kif 11866-11866 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 65/ Sizemore_signing.JPG") | pictureList.kif 11867-11867 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 71/ JohnHancockSignature.jpg") | pictureList.kif 10276-10276 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ a/ a1/ Shahar_Peer_signing.JPG") | pictureList.kif 11869-11869 | |
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ c/ cb/ CD_signing.jpg") | pictureList.kif 11865-11865 | |
(subclass SigningAnAgreement Committing) | Geography.kif 2976-2976 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage SigningAnAgreement "签署协议") | domainEnglishFormat.kif 53024-53024 | |
(termFormat ChineseTraditionalLanguage SigningAnAgreement "簽署協議") | domainEnglishFormat.kif 53023-53023 | |
(termFormat EnglishLanguage SigningAnAgreement "signing an agreement") | domainEnglishFormat.kif 53022-53022 |
antecedent |
![]() |
(=> (instance ?SIGNING SigningAnAgreement) (exists (?DOC ?TERMS) (and (instance ?DOC LinguisticExpression) (instance ?TERMS Agreement) (containsInformation ?DOC ?TERMS) (patient ?SIGNING ?DOC)))) |
Geography.kif 2984-2991 |
consequent |
![]() |
(=> (instance ?PUB AboveTheLine) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB)))) |
MilitaryProcesses.kif 963-970 | |
(=> (instance ?PUB BelowTheLine) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H DirectorJS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB)))) |
MilitaryProcesses.kif 983-990 | |
(=> (instance ?PUB ChairmanPublication) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB)))) |
MilitaryProcesses.kif 1045-1052 |
![]() |
![]() |