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 2947-2947 | |
(subclass Divorcing Declaring) | Mid-level-ontology.kif 1014-1014 | Divorcing ist eine teilkategorie von Declaring |
appearance as argument number 2 |
(termFormat ChineseLanguage Divorcing "离婚") | domainEnglishFormat.kif 19998-19998 | |
(termFormat ChineseTraditionalLanguage Divorcing "離婚") | domainEnglishFormat.kif 19997-19997 | |
(termFormat EnglishLanguage Divorcing "divorcing") | domainEnglishFormat.kif 19996-19996 |
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 |
|