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

appearance as argument number 2

(termFormat ChineseLanguage Menstruation "经期")	domainEnglishFormat.kif 37134-37134
(termFormat ChineseTraditionalLanguage Menstruation "經期")	domainEnglishFormat.kif 37133-37133
(termFormat EnglishLanguage Menstruation "menstruating")	Mid-level-ontology.kif 23317-23317
(termFormat EnglishLanguage Menstruation "menstruation")	domainEnglishFormat.kif 37132-37132
(termFormat EnglishLanguage Menstruation "period")	Mid-level-ontology.kif 23318-23318

antecedent

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

Mid-level-ontology.kif 23320-23327

If a process is an instance of menstruation and an agent experiences the process,
then female is an attribute of the agent and menopause is not an attribute of the agent

consequent

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

If menopause is an attribute of an agent holds during a time interval and a real number is equal to (year duration 1 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

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

KB Term:			Term intersection

English Word: