MarriageContract(marriage contract)![]() ![]() ![]() ![]() | ![]() | man_and_wife, marriage, marriage_ceremony, marriage_contract, marriage_settlement, married_couple, matrimony, spousal_relationship, union, wedding, wedlock |
appearance as argument number 1 |
![]() |
(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 15094-15096 | |
(externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Lodewijk_XIV_Marriage.jpg") | pictureList.kif 8585-8585 | |
(externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ V03p128a01_Ketubah.jpg") | pictureList.kif 9399-9399 | |
(externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Davy_Crockett_marriage_contract%2C_October_1805.jpg") | pictureList.kif 9401-9401 | |
(externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Shinto_married_couple.jpg") | pictureList.kif 9400-9400 | |
(subAttribute MarriageContract Contract) | Mid-level-ontology.kif 15093-15093 | Marriage contract is a subattribute of contract |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage MarriageContract "婚姻合同") | domainEnglishFormat.kif 36349-36349 | |
(termFormat ChineseTraditionalLanguage MarriageContract "婚姻合同") | domainEnglishFormat.kif 36348-36348 | |
(termFormat EnglishLanguage MarriageContract "marriage contract") | domainEnglishFormat.kif 36347-36347 |
antecedent |
![]() |
(=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 15098-15104 |
|
![]() |
![]() |