Treaty - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Treaty "条约")	domainEnglishFormat.kif 59139-59139
(termFormat ChineseTraditionalLanguage Treaty "條約")	domainEnglishFormat.kif 59138-59138
(termFormat EnglishLanguage Treaty "treaty")	domainEnglishFormat.kif 59137-59137

antecedent

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

Mid-level-ontology.kif 15148-15157

consequent

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

Geography.kif 3039-3041