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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GuernseyCattle

 Sigma KEE - GuernseyCattle
GuernseyCattle(guernsey cattle)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 481-481
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8512-8512
No TPTP formula. May not be expressible in strict first order. Economy.kif 4903-4903 Guernsey cattle is a subclass of cattle

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26940-26940
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26939-26939
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26938-26938


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