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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Menopausal

Sigma KEE - Menopausal
Menopausal(menopause)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23347-23352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23345-23345 Menopause is an instance of biological attribute

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23355-23372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23329-23343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23374-23376

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


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


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