| MarriageContract
| |
| 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 14138-14140 | |
| (externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Lodewijk_XIV-Marriage.jpg") | pictureList.kif 8586-8586 | |
| (externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ V03p128a01_Ketubah.jpg") | pictureList.kif 9400-9400 | |
| (externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Davy_Crockett_marriage_contract%2C_October_1805.jpg") | pictureList.kif 9402-9402 | |
| (externalImage MarriageContract "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Shinto_married_couple.jpg") | pictureList.kif 9401-9401 | |
| (subAttribute MarriageContract Contract) | Mid-level-ontology.kif 14137-14137 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MarriageContract "婚姻合同") | domainEnglishFormat.kif 36329-36329 | |
| (termFormat ChineseTraditionalLanguage MarriageContract "婚姻合同") | domainEnglishFormat.kif 36328-36328 | |
| (termFormat EnglishLanguage MarriageContract "marriage contract") | domainEnglishFormat.kif 36327-36327 |
| antecedent |
|
|
| (=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 14142-14148 |
|
|
|