|
|
  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 14193-14195 | |
| (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 14192-14192 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MarriageContract "婚姻合同") | domainEnglishFormat.kif 36323-36323 | |
| (termFormat ChineseTraditionalLanguage MarriageContract "婚姻合同") | domainEnglishFormat.kif 36322-36322 | |
| (termFormat EnglishLanguage MarriageContract "marriage contract") | domainEnglishFormat.kif 36321-36321 |
| antecedent |
|
|
| (=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 14197-14203 |
|
|
|
