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

KB Term:  Term intersection
English Word: 

Sigma KEE - Menstruation
Menstruation(period)
catamenia, flow, menarche, menses, menstruation, menstruum, period

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


(subclass Menstruation OrganOrTissueProcess) Mid-level-ontology.kif 26157-26157 Period is a subclass of organ or tissue process
(documentation Menstruation EnglishLanguage "A periodic discharge of Blood and other BiologicalSubstances by Females that is part of a readjustment of the uterus.") Mid-level-ontology.kif 26158-26160 Period is a subclass of organ or tissue process
(externalImage Menstruation "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ MenstrualCycle2.png") pictureList.kif 6697-6697 Period is a subclass of organ or tissue process

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


(termFormat EnglishLanguage Menstruation "menstruation") Mid-level-ontology.kif 26161-26161
(termFormat EnglishLanguage Menstruation "menstruating") Mid-level-ontology.kif 26162-26162
(termFormat EnglishLanguage Menstruation "period") Mid-level-ontology.kif 26163-26163
(termFormat ChineseTraditionalLanguage Menstruation "經期") domainEnglishFormat.kif 37146-37146
(termFormat ChineseLanguage Menstruation "经期") domainEnglishFormat.kif 37147-37147

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


(=>
    (and
        (instance ?M Menstruation)
        (experiencer ?M ?F))
    (and
        (attribute ?F Female)
        (not
            (attribute ?F Menopausal))))		 Mid-level-ontology.kif 26165-26172 If X is an instance of period and Y experiences X, then female is an attribute of Y and menopause is not an attribute of Y

consequent
-------------------------


(=>
    (and
        (holdsDuring ?T1
            (attribute ?F Menopausal))
        (equal ?BEFORE
            (SubtractionFn
                (MeasureFn 1 YearDuration)
                (BeginFn ?T1)))
        (equal ?YBEFORE
            (TimeIntervalFn ?YBEFORE
                (BeginFn ?T1))))
    (not
        (exists (?M)
            (and
                (instance ?M Menstruation)
                (experiencer ?M ?F)))))		 Mid-level-ontology.kif 26174-26188 If menopause is an attribute of X holds during Y, equal Z and (1 year duration(s) and the beginning of Y), and equal W, interval between W, and the beginning of Y, then there doesn't exist V such that V is an instance of period and X experiences V
(=>
    (equal ?WKBMC
        (WeekBeforeMenstruationFn ?W))
    (equal ?WKBC
        (KappaFn ?C
            (and
                (instance ?C Week)
                (exists (?M)
                    (and
                        (instance ?M Menstruation)
                        (experiencer ?M ?W)
                        (equal ?C
                            (WeekBeforeFn
                                (WhenFn ?M)))))))))		 Medicine.kif 1505-1518 If equal X and week before menstruation Y, then equal Z and the class described by W


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