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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Goat

 Sigma KEE - Goat
Goat(goat)
more pictures...		Angora, Angora_goat, Capra, Capra_aegagrus, Capra_falconeri, Capra_hircus, Capra_ibex, Cashmere_goat, Kashmir_goat, Naemorhedus, Naemorhedus_goral, Oreamnos, Oreamnos_americanus, Rocky_Mountain_goat, bezoar_goat, caprine_animal, domestic_goat, genus_Capra, genus_Naemorhedus, genus_Oreamnos, goat, goat_antelope, goral, ibex, markhoor, markhor, mountain_goat, pasang, wild_goat

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20141-20142
No TPTP formula. May not be expressible in strict first order. pictureList.kif 467-467
No TPTP formula. May not be expressible in strict first order. pictureList.kif 104-104
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 204-204
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 169-169
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 180-180
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 221-221
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 193-193
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 185-185
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 172-172
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 192-192
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 184-184
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 170-170
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 182-182
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 177-177
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 191-191
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 181-181
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 213-213
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 183-183
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 208-208
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 225-225
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 195-195
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 167-167
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 218-218
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 173-173

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6205-6205 Goat is an industry product type of goat farming
No TPTP formula. May not be expressible in strict first order. Food.kif 2589-2589 Goat meat is the meat of goat
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26172-26172
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26171-26171
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26170-26170


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