Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Divorcing
Divorcing(divorcing)

appearance as argument number 1
-------------------------


(subclass Divorcing Declaring) Mid-level-ontology.kif 1017-1017 Divorcing is a subclass of declaring
(documentation Divorcing EnglishLanguage "A LegalAction whereby a marriage (Wedding) is dissolved. This includes annulments.") Mid-level-ontology.kif 1018-1019 Divorcing is a subclass of declaring
(externalImage Divorcing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Yury_Pen_Divorce.jpg") pictureList.kif 2946-2946 Divorcing is a subclass of declaring

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Divorcing "divorcing") domainEnglishFormat.kif 19998-19998
(termFormat ChineseTraditionalLanguage Divorcing "離婚") domainEnglishFormat.kif 19999-19999
(termFormat ChineseLanguage Divorcing "离婚") domainEnglishFormat.kif 20000-20000

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 1021-1030 If X is an instance of divorcing, then there exist Y, Z,, , W, V such that Y is the spouse of Z holds during W, Y is the spouse of Z holds during V, W finishes X, and V starts X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners