Divorcing - Sigma Knowledge base Browser

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	Divorcing is a subclass of declaring

appearance as argument number 2

(termFormat ChineseLanguage Divorcing "离婚")	domainEnglishFormat.kif 20013-20013
(termFormat ChineseTraditionalLanguage Divorcing "離婚")	domainEnglishFormat.kif 20012-20012
(termFormat EnglishLanguage Divorcing "divorcing")	domainEnglishFormat.kif 20011-20011

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

If a time interval is an instance of divorcing,
then there exist an entity, another entity,, , another time interval and a third time interval such that the entity is the spouse of the other entity holds during the other time interval and not the entity is the spouse of the other entity holds during the third time interval and the other time interval finishes the time interval and the third time interval starts the time interval

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

KB Term:			Term intersection

English Word: