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 3119-3123
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Bush_and_Putin_signing_SORT.jpg")	pictureList.kif 11843-11843
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ Mew_signing.jpg")	pictureList.kif 11839-11839
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 65/ Sizemore_signing.JPG")	pictureList.kif 11840-11840
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 71/ JohnHancockSignature.jpg")	pictureList.kif 10255-10255
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ a/ a1/ Shahar_Peer_signing.JPG")	pictureList.kif 11842-11842
(externalImage SigningAnAgreement "http://upload.wikimedia.org/wikipedia/ commons/ c/ cb/ CD_signing.jpg")	pictureList.kif 11838-11838
(subclass SigningAnAgreement Committing)	Geography.kif 3117-3117	子類簽署協議 and Committing

appearance as argument number 2

(termFormat ChineseLanguage SigningAnAgreement "签署协议")	domainEnglishFormat.kif 53032-53032
(termFormat ChineseTraditionalLanguage SigningAnAgreement "簽署協議")	domainEnglishFormat.kif 53031-53031
(termFormat EnglishLanguage SigningAnAgreement "signing an agreement")	domainEnglishFormat.kif 53030-53030

antecedent

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

Geography.kif 3125-3132

例 Process and 簽署協議
內容承載物理 Proposition 例內容承載物理 and LinguisticExpression 例 Proposition and 協議包含信息內容承載物理 and Proposition 患者 Process and 內容承載物理

consequent

(=> (instance ?PUB AboveTheLine) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB))))	MilitaryProcesses.kif 964-971	例 Entity and 在線以上 Process AutonomousAgent 例 Process and 簽署協議 attribute AutonomousAgent and 主席JCs agent Process and AutonomousAgent 患者 Process and Entity
(=> (instance ?PUB BelowTheLine) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H DirectorJS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB))))	MilitaryProcesses.kif 984-991	例 Entity and 在線下面 Process AutonomousAgent 例 Process and 簽署協議 attribute AutonomousAgent and 導演.JS agent Process and AutonomousAgent 患者 Process and Entity
(=> (instance ?PUB ChairmanPublication) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB))))	MilitaryProcesses.kif 1046-1053	例 Entity and 主席出版物 Process AutonomousAgent 例 Process and 簽署協議 attribute AutonomousAgent and 主席JCs agent Process and AutonomousAgent 患者 Process and Entity
(=> (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 319-335	例 Entity and MarriageCertificate Process Process, AutonomousAgent and AutonomousAgent 例 Process and 簽署協議患者 Process and Entity 例 Process and 婚禮代表 Entity and Process 子過程 Process and Process 患者 Process and AutonomousAgent 例 AutonomousAgent and Human 患者 Process and AutonomousAgent 例 AutonomousAgent and Human 等於 AutonomousAgent and AutonomousAgent agent Process and AutonomousAgent agent Process and AutonomousAgent

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: