| 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 15555-15557 | |
| (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 15554-15554 |
| 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 15559-15565 |
|
|
|