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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Menopausal
Menopausal

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


(documentation Menopausal EnglishLanguage "Menopause, also known as the climacteric, is the time in women's lives when menstrual periods stop permanently, and they are no longer able to bear children. Menopause typically occurs between 49 and 52 years of age. Medical professionals often define menopause as having occurred when a woman has not had any menstrual bleeding for a year. [from Wikipedia]") Mid-level-ontology.kif 23347-23352
(instance Menopausal BiologicalAttribute) Mid-level-ontology.kif 23345-23345

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


(termFormat EnglishLanguage Menopausal "menopause") Mid-level-ontology.kif 23353-23353

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


(=>
    (and
        (holdsDuring ?T
            (attribute ?F Menopausal))
        (birthdate ?F ?B)
        (equal ?A1
            (AdditionFn
                (YearDuration 49) ?B))
        (equal ?A2
            (AdditionFn
                (YearDuration 52) ?B))
        (equal ?START
            (BeginFn ?T)))
    (modalAttribute
        (and
            (greaterThan ?START ?A1)
            (greaterThan ?A2 ?START)) Likely))
Mid-level-ontology.kif 23355-23372
(=>
    (and
        (holdsDuring ?T1
            (attribute ?F Menopausal))
        (equal ?BEFORE
            (SubtractionFn
                (YearDuration 1)
                (BeginFn ?T1)))
        (equal ?YBEFORE
            (TimeIntervalFn ?YBEFORE
                (BeginFn ?T1))))
    (not
        (exists (?M)
            (and
                (instance ?M Menstruation)
                (experiencer ?M ?F)))))
Mid-level-ontology.kif 23329-23343
(=>
    (attribute ?F Menopausal)
    (attribute ?F Female))
Mid-level-ontology.kif 23374-23376

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


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


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