| Divorcing
| |
| appearance as argument number 1 |
|
|
| (documentation Divorcing EnglishLanguage "A LegalAction whereby a marriage (Wedding) is dissolved. This includes annulments.") | Mid-level-ontology.kif 1015-1016 | |
| (externalImage Divorcing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Yury_Pen_Divorce.jpg") | pictureList.kif 2946-2946 | |
| (subclass Divorcing Declaring) | Mid-level-ontology.kif 1014-1014 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Divorcing "离婚") | domainEnglishFormat.kif 20007-20007 | |
| (termFormat ChineseTraditionalLanguage Divorcing "離婚") | domainEnglishFormat.kif 20006-20006 | |
| (termFormat EnglishLanguage Divorcing "divorcing") | domainEnglishFormat.kif 20005-20005 |
| antecedent |
|
|
| (=> (instance ?D Divorcing) (exists (?P1 ?P2 ?T1 ?T2) (and (holdsDuring ?T1 (spouse ?P1 ?P2)) (holdsDuring ?T2 (not (spouse ?P1 ?P2))) (finishes ?T1 ?D) (starts ?T2 ?D)))) |
Mid-level-ontology.kif 1018-1027 |
|
|
|