Menstruation - Sigma Knowledge base Browser

appearance as argument number 1

(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 25538-25540
(externalImage Menstruation "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ MenstrualCycle2.png")	pictureList.kif 6697-6697
(subclass Menstruation OrganOrTissueProcess)	Mid-level-ontology.kif 25537-25537	Menstruation is a subclass of organ or tissue process

appearance as argument number 2

(termFormat ChineseLanguage Menstruation "经期")	domainEnglishFormat.kif 37171-37171
(termFormat ChineseTraditionalLanguage Menstruation "經期")	domainEnglishFormat.kif 37170-37170
(termFormat EnglishLanguage Menstruation "menstruating")	Mid-level-ontology.kif 25542-25542
(termFormat EnglishLanguage Menstruation "menstruation")	domainEnglishFormat.kif 37169-37169
(termFormat EnglishLanguage Menstruation "period")	Mid-level-ontology.kif 25543-25543

antecedent

(=>
    (and
        (instance ?M Menstruation)
        (experiencer ?M ?F))
    (and
        (attribute ?F Female)
        (not
            (attribute ?F Menopausal))))

Mid-level-ontology.kif 25545-25552

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 25554-25568	If menopause is an attribute of an agent holds during a time interval and a real number is equal to (1 year duration(s) and the beginning of the time interval) and another time interval is equal to interval between the other time interval and the beginning of the time interval, then there doesn't exist a process such that the process is an instance of menstruation and the agent experiences the process
(=> (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 1514-1527	If a class is equal to week before menstruation a woman, then the womanKBC is equal to the class described by a symbolic string