Menstruation - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23873-23875
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6698-6698
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23872-23872	Menstruation is a subclass of organ or tissue process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37145-37145
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37144-37144
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23877-23877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37143-37143
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23878-23878

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 23880-23887

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23889-23903	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
No TPTP formula. May not be expressible in strict first order.	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

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