SigningAnAgreement - Sigma Knowledge base Browser

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 52948-52948
(termFormat ChineseTraditionalLanguage SigningAnAgreement "簽署協議")	domainEnglishFormat.kif 52947-52947
(termFormat EnglishLanguage SigningAnAgreement "signing an agreement")	domainEnglishFormat.kif 52946-52946

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