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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Feline

 Sigma KEE - Feline
Feline(feline)
more pictures...		Canada_lynx, European_wildcat, Felidae, Felis, Felis_bengalensis, Felis_chaus, Felis_concolor, Felis_manul, Felis_ocreata, Felis_onca, Felis_pardalis, Felis_serval, Felis_silvestris, Felis_tigrina, Felis_wiedi, Felis_yagouaroundi, Lynx_canadensis, Lynx_caracal, Lynx_lynx, Lynx_pardina, Lynx_rufus, Nimravus, Pallas's_cat, Panthera, Panthera_onca, Panthera_pardus, Panthera_uncia, Smiledon, Smiledon_californicus, bay_lynx, big_cat, bobcat, caffer_cat, caracal, cat, catamount, catamountain, common_lynx, cougar, desert_lynx, eyra, false_saber-toothed_tiger, family_Felidae, felid, feline, genus_Felis, genus_Lynx, genus_Nimravus, genus_Panthera, genus_Smiledon...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3430-3431
No TPTP formula. May not be expressible in strict first order. Merge.kif 14617-14619
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4683-4683
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 69-69
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 67-67
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 70-70
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 66-66
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 65-65
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 71-71
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 72-72
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 68-68
No TPTP formula. May not be expressible in strict first order. Merge.kif 14616-14616 Feline is a subclass of carnivore

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14612-14612 Canine is disjoint from feline
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30568-30568 Cheetah is a subclass of feline
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20083-20083 Domestic cat is a subclass of feline
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30370-30370 Lion is a subclass of feline
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30412-30412 Tiger is a subclass of feline
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 996-996
No TPTP formula. May not be expressible in strict first order. english_format.kif 1199-1199
No TPTP formula. May not be expressible in strict first order. french_format.kif 673-673
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 204-204
No TPTP formula. May not be expressible in strict first order. terms-it.txt 207-207
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2357-2357
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 625-625
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 209-209
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 241-241
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 694-694
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 208-208


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