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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Spleen

 Sigma KEE - Spleen
Spleen
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11314-11315
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 11313-11313 Spleen est une sous-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11312-11312 Spleen est une sous-classe de organe

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


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


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