|
|
   Menstruation
|
|
|
| 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 23930-23932 | |
| (externalImage Menstruation "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ MenstrualCycle2.png") | pictureList.kif 6698-6698 | |
| (subclass Menstruation OrganOrTissueProcess) | Mid-level-ontology.kif 23929-23929 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Menstruation "经期") | domainEnglishFormat.kif 37145-37145 | |
| (termFormat ChineseTraditionalLanguage Menstruation "經期") | domainEnglishFormat.kif 37144-37144 | |
| (termFormat EnglishLanguage Menstruation "menstruating") | Mid-level-ontology.kif 23934-23934 | |
| (termFormat EnglishLanguage Menstruation "menstruation") | domainEnglishFormat.kif 37143-37143 | |
| (termFormat EnglishLanguage Menstruation "period") | Mid-level-ontology.kif 23935-23935 |
| antecedent |
|
|
| (=> (and (instance ?M Menstruation) (experiencer ?M ?F)) (and (attribute ?F Female) (not (attribute ?F Menopausal)))) |
Mid-level-ontology.kif 23937-23944 |
| 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 23946-23960 | |
| (=> (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 |
|
|
|
