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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Menstruation

 Sigma KEE - Menstruation
Menstruation(经期)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23930-23932
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 23929-23929 经期 是 器官或身体组织过程 的 subclass

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 23934-23934
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 23935-23935

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23937-23944

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23946-23960
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1521-1534


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