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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Spleen

 Sigma KEE - Spleen
Spleen(spleen)
more pictures...		lien, spleen

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11287-11288
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6887-6887
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7958-7958
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7956-7956
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7959-7959
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7960-7960
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7961-7961
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7962-7962
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7963-7963
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7964-7964
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7965-7965
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7966-7966
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7957-7957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11286-11286 Spleen is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11285-11285 Spleen is a subclass of organ

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54660-54660
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54659-54659
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54658-54658


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