Treaty - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Treaty Contract)	Mid-level-ontology.kif 15820-15820	Treaty is a subclass of contract
(documentation Treaty EnglishLanguage "Any Contract which holds between two or more Nations.")	Mid-level-ontology.kif 15821-15822	Treaty is a subclass of contract
(externalImage Treaty "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Bush_and_Putin_signing_SORT.jpg")	pictureList.kif 10306-10306	Treaty is a subclass of contract

appearance as argument number 2

(termFormat EnglishLanguage Treaty "treaty")	domainEnglishFormat.kif 59101-59101
(termFormat ChineseTraditionalLanguage Treaty "條約")	domainEnglishFormat.kif 59102-59102
(termFormat ChineseLanguage Treaty "条约")	domainEnglishFormat.kif 59103-59103

antecedent

(=>
    (instance ?T Treaty)
    (exists (?N1 ?N2)
        (and
            (partyToAgreement ?T ?N1)
            (partyToAgreement ?T ?N2)
            (instance ?N1 Nation)
            (instance ?N2 Nation)
            (not
                (equal ?N1 ?N2)))))

If X is an instance of treaty, then All of the following hold: (1) there exist Y (2) Z such that Y is a party to agreement of X (3) Z is a party to agreement of X (4) Y is an instance of nation (5) Z is an instance of nation (6) equal Y (7) Z

consequent

(=>
(instance ?T TreatyDocument)
(attribute ?T Treaty))