| 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 14384-14386 | |
| (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 14383-14383 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MarriageContract "婚姻合同") | domainEnglishFormat.kif 36352-36352 | |
| (termFormat ChineseTraditionalLanguage MarriageContract "婚姻合同") | domainEnglishFormat.kif 36351-36351 | |
| (termFormat EnglishLanguage MarriageContract "marriage contract") | domainEnglishFormat.kif 36350-36350 |
| antecedent |
|
|
| (=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 14388-14394 |
|
|
|