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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rabbit
Rabbit(rabbit)
Angora, Angora_rabbit, Arctic_hare, Belgian_hare, European_hare, European_rabbit, Lepus, Lepus_americanus, Lepus_arcticus, Lepus_californicus, Lepus_europaeus, Lepus_townsendi, Old_World_rabbit, Oryctolagus, Oryctolagus_cuniculus, Sylvilagus, Sylvilagus_aquaticus, Sylvilagus_floridanus, Sylvilagus_palustris, blacktail_jackrabbit, canecutter, coney, cony, cottontail, cottontail_rabbit, eastern_cottontail, genus_Lepus, genus_Oryctolagus, genus_Sylvilagus, hare, jackrabbit, leporide, leveret, marsh_hare, polar_hare, rabbit, snowshoe_hare, snowshoe_rabbit, swamp_hare, swamp_rabbit, varying_hare, white-tailed_jackrabbit, whitetail_jackrabbit, wood_rabbit

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20387-20387
No TPTP formula. May not be expressible in strict first order. pictureList.kif 683-683
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 73-73
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 74-74
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20386-20386 Rabbit is a subclass of rodent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20389-20389 Bunny is a subclass of rabbit
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48386-48386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48385-48385
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48384-48384


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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