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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JointOperation

Sigma KEE - Divorcing
Divorcing

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


(documentation Divorcing EnglishLanguage "A LegalAction whereby a marriage (Wedding) is dissolved. This includes annulments.") Mid-level-ontology.kif 1408-1409
(externalImage Divorcing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Yury_Pen-Divorce.jpg") pictureList.kif 2948-2948
(subclass Divorcing Declaring) Mid-level-ontology.kif 1407-1407

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


(termFormat EnglishLanguage Divorcing "divorcing") domainEnglishFormat.kif 3754-3754

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 1410-1419


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners