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


KB Term:  Term intersection
English Word: 

  Menstruation

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