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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ivory

 Sigma KEE - Ivory
Ivory(ivory)
ivory, tusk

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11522-11523
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4996-4996
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4998-4998
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4997-4997
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4747-4747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11521-11521 Ivory is a subclass of bone

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31321-31321
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31320-31320
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31319-31319


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