TreeView Knowledge Base Browser

appearance as argument number 1

(subclass MarriageContract Contract)	Mid-level-ontology.kif 15769-15769	Marriage contract is a subclass of contract
(documentation MarriageContract EnglishLanguage "An Contract between a married couple about how assets owned by the couple will be distributed in the event that the couple is divorced.")	Mid-level-ontology.kif 15770-15772	Marriage contract is a subclass of contract
(externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Lodewijk_XIV_Marriage.jpg")	pictureList.kif 8585-8585	Marriage contract is a subclass of contract
(externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ V03p128a01_Ketubah.jpg")	pictureList.kif 9399-9399	Marriage contract is a subclass of contract
(externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Shinto_married_couple.jpg")	pictureList.kif 9400-9400	Marriage contract is a subclass of contract
(externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Davy_Crockett_marriage_contract%2C_October_1805.jpg")	pictureList.kif 9401-9401	Marriage contract is a subclass of contract

appearance as argument number 2

(termFormat EnglishLanguage MarriageContract "marriage contract")	domainEnglishFormat.kif 36323-36323
(termFormat ChineseTraditionalLanguage MarriageContract "婚姻合同")	domainEnglishFormat.kif 36324-36324
(termFormat ChineseLanguage MarriageContract "婚姻合同")	domainEnglishFormat.kif 36325-36325

antecedent

(=>
    (instance ?C MarriageContract)
    (exists (?P1 ?P2)
        (and
            (partyToAgreement ?P1 ?C)
            (partyToAgreement ?P2 ?C)
            (spouse ?P1 ?P2))))

If X is an instance of marriage contract, then there exist Y, Z such that X is a party to agreement of Y, X is a party to agreement of Z, and Y is the spouse of Z