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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Eyelid

 Sigma KEE - Eyelid
Eyelid

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12155-12156
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1107-1107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12154-12154 Eyelid e' uma sub-classe de Skin

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23050-23050
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23049-23049
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23048-23048

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12158-12160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12162-12175

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19942-19950
No TPTP formula. May not be expressible in strict first order. emotion.kif 1668-1676


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