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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Retina

 Sigma KEE - Retina
Retina

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11081-11083
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7732-7732
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7733-7733
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6821-6821
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7734-7734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11080-11080 Retina e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11079-11079 Retina e' uma sub-classe de Orgao

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49822-49822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49821-49821
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49820-49820

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


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


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