Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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 24992-24994
(externalImage Menstruation "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ MenstrualCycle2.png") pictureList.kif 6697-6697
(subclass Menstruation OrganOrTissueProcess) Mid-level-ontology.kif 24991-24991 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 24996-24996
(termFormat EnglishLanguage Menstruation "menstruation") domainEnglishFormat.kif 37169-37169
(termFormat EnglishLanguage Menstruation "period") Mid-level-ontology.kif 24997-24997

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


(=>
    (and
        (instance ?M Menstruation)
        (experiencer ?M ?F))
    (and
        (attribute ?F Female)
        (not
            (attribute ?F Menopausal))))
Mid-level-ontology.kif 24999-25006

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 25008-25022
(=>
    (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 1509-1522


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 is open source software produced by Articulate Software and its partners