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

appearance as argument number 2

(termFormat ChineseLanguage Menstruation "经期")	domainEnglishFormat.kif 37179-37179
(termFormat ChineseTraditionalLanguage Menstruation "經期")	domainEnglishFormat.kif 37178-37178
(termFormat EnglishLanguage Menstruation "menstruating")	Mid-level-ontology.kif 24165-24165
(termFormat EnglishLanguage Menstruation "menstruation")	domainEnglishFormat.kif 37177-37177
(termFormat EnglishLanguage Menstruation "period")	Mid-level-ontology.kif 24166-24166

antecedent

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

Mid-level-ontology.kif 24168-24175

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 24177-24191	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 1521-1534	If an entity is equal to WeekBeforeMenstruationFn another entity, then the other entityKBC is equal to the class described by a symbolic string