SigningAnAgreement - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SigningAnAgreement Committing)	Geography.kif 4572-4572	Signing an agreement is a subclass of committing
(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 4574-4578	Signing an agreement is a subclass of committing
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 71/ JohnHancockSignature.jpg")	pictureList.kif 10253-10253	Signing an agreement is a subclass of committing
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ c/ cb/ CD_signing.jpg")	pictureList.kif 11831-11831	Signing an agreement is a subclass of committing
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ Mew_signing.jpg")	pictureList.kif 11832-11832	Signing an agreement is a subclass of committing
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 65/ Sizemore_signing.JPG")	pictureList.kif 11833-11833	Signing an agreement is a subclass of committing
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ a/ a1/ Shahar_Peer_signing.JPG")	pictureList.kif 11835-11835	Signing an agreement is a subclass of committing
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Bush_and_Putin_signing_SORT.jpg")	pictureList.kif 11836-11836	Signing an agreement is a subclass of committing

appearance as argument number 2

(termFormat EnglishLanguage SigningAnAgreement "signing an agreement")	domainEnglishFormat.kif 53025-53025
(termFormat ChineseTraditionalLanguage SigningAnAgreement "簽署協議")	domainEnglishFormat.kif 53026-53026
(termFormat ChineseLanguage SigningAnAgreement "签署协议")	domainEnglishFormat.kif 53027-53027

antecedent

(=>
    (instance ?SIGNING SigningAnAgreement)
    (exists (?DOC ?TERMS)
        (and
            (instance ?DOC LinguisticExpression)
            (instance ?TERMS Agreement)
            (containsInformation ?DOC ?TERMS)
            (patient ?SIGNING ?DOC))))

Geography.kif 4580-4587

If X is an instance of signing an agreement, then there exist Y, Z such that Y is an instance of linguistic expression, Z is an instance of agreement, Y contains information Z, and Y is a patient of X

consequent

(=> (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	If X is an instance of marriage certificate, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of signing an agreement (3) X is a patient of Y (4) Z is an instance of wedding (5) X expresses Z (6) Y is a subprocess of Z (7) W is a patient of Z (8) W is an instance of human (9) V is a patient of Z (10) V is an instance of human (11) equal W (12) V (13) W is an agent of Y (14) V is an agent of Y
(=> (instance ?PUB AboveTheLine) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB))))	MilitaryProcesses.kif 983-990	If X is an instance of above the line, then there exist Y, Z such that Y is an instance of signing an agreement, chairmanJC s is an attribute of Z, Z is an agent of Y, and X is a patient of Y
(=> (instance ?PUB BelowTheLine) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H DirectorJS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB))))	MilitaryProcesses.kif 1003-1010	If X is an instance of below the line, then there exist Y, Z such that Y is an instance of signing an agreement, directorJS is an attribute of Z, Z is an agent of Y, and X is a patient of Y
(=> (instance ?PUB ChairmanPublication) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB))))	MilitaryProcesses.kif 1065-1072	If X is an instance of chairman publication, then there exist Y, Z such that Y is an instance of signing an agreement, chairmanJC s is an attribute of Z, Z is an agent of Y, and X is a patient of Y

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: