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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Retina

Sigma KEE - Retina
Retina(retina)
retinal

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11054-11056
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 11053-11053 Retina is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11052-11052 Retina is a subclass of organ

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


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

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


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


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