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


KB Term:  Term intersection
English Word: 

  DefinedContributionPlan

 Sigma KEE - Aborting
Aborting(aborting)
more pictures...		abort

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


(subclass Aborting Removing) Mid-level-ontology.kif 23675-23675 Aborting is a subclass of removing
(documentation Aborting EnglishLanguage "Removing a human fetus from a Pregnant woman in such a way that the fetus cannot survive.") Mid-level-ontology.kif 23676-23677 Aborting is a subclass of removing
(externalImage Aborting "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ FrenchPeriodicalPills_January61845%2CBostonDailyTimes.jpg") pictureList.kif 6041-6041 Aborting is a subclass of removing
(externalImage Aborting "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ RussianAbortionPoster.jpg") pictureList.kif 6042-6042 Aborting is a subclass of removing
(externalImage Aborting "http://upload.wikimedia.org/wikipedia/commons/e/ e1/ March_for_Women%27s_Lives_detail.jpg") pictureList.kif 6043-6043 Aborting is a subclass of removing
(externalImage Aborting "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ AbortionLawsMap.png") pictureList.kif 6045-6045 Aborting is a subclass of removing
(externalImage Aborting "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ Abortionmethods.png") pictureList.kif 6046-6046 Aborting is a subclass of removing
(externalImage Aborting "http://upload.wikimedia.org/wikipedia/commons/d/ dd/ AGIAbortionReasonsBarChart.png") pictureList.kif 6047-6047 Aborting is a subclass of removing

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


(termFormat EnglishLanguage Aborting "aborting") domainEnglishFormat.kif 5101-5101
(termFormat ChineseTraditionalLanguage Aborting "中止") domainEnglishFormat.kif 5102-5102
(termFormat ChineseLanguage Aborting "中止") domainEnglishFormat.kif 5103-5103

antecedent
-------------------------


(=>
    (and
        (instance ?A Aborting)
        (patient ?A ?W)
        (instance ?W Woman))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?A))
            (attribute ?W Pregnant))
        (holdsDuring
            (EndFn
                (WhenFn ?A))
            (not
                (attribute ?W Pregnant)))))		 Mid-level-ontology.kif 23679-23690 If X is an instance of aborting, Y is a patient of X, and Y is an instance of woman, then pregnant is an attribute of Y holds during the beginning of the time of existence of X and pregnant is not an attribute of Y holds during the end of the time of existence of X


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners