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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rodent
Rodent(rodent)
Abrocoma, American_flying_squirrel, American_harvest_mouse, American_red_squirrel, Aplodontia, Aplodontia_rufa, Aplodontiidae, Apodemus, Apodemus_sylvaticus, Arctic_ground_squirrel, Arvicola, Arvicola_amphibius, Asiatic_flying_squirrel, Atherurus, Baiomys, Baiomys_taylori, Bathyergidae, Bathyergus, Canada_porcupine, Capromyidae, Castor, Castor_canadensis, Castor_fiber, Castoridae, Castoroides, Cavia, Cavia_porcellus, Caviidae, Chinchilla_laniger, Chinchillidae, Citellus, Citellus_citellus, Citellus_lateralis, Citellus_leucurus, Citellus_parryi, Citellus_richardsoni, Citellus_variegatus, Clethrionomys, Conilurus, Cricetidae, Cricetus, Cuniculus, Cuniculus_paca, Cynomys, Cynomys_gunnisoni, Cynomys_ludovicianus, Damaraland_mole_rat, Dasyprocta, Dasyprocta_aguti, Dasyproctidae...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3432-3433
No TPTP formula. May not be expressible in strict first order. Merge.kif 14622-14624
No TPTP formula. May not be expressible in strict first order. pictureList.kif 969-969
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 76-76
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 75-75
No TPTP formula. May not be expressible in strict first order. Merge.kif 14621-14621 Rodent is a subclass of mammal

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1204-1204 Rodent is a biological agent carrier of francisella tularensis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1365-1365 Rodent is a biological agent carrier of giardia lamblia
No TPTP formula. May not be expressible in strict first order. WMD.kif 1925-1925 Rodent is a biological agent carrier of junin virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1660-1660 Rodent is a biological agent carrier of la crosse virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1860-1860 Rodent is a biological agent carrier of lassa virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1938-1938 Rodent is a biological agent carrier of machupo virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1404-1404 Rodent is a biological agent carrier of myxomatosis
No TPTP formula. May not be expressible in strict first order. WMD.kif 407-407 Rodent is a biological agent carrier of yersinia pestis
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30603-30603 Guinea pig is a subclass of rodent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30615-30615 Hamster is a subclass of rodent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20378-20378 Mouse is a subclass of rodent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20386-20386 Rabbit is a subclass of rodent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20382-20382 Rat is a subclass of rodent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20396-20396 Squirrel is a subclass of rodent
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 997-997
No TPTP formula. May not be expressible in strict first order. english_format.kif 1201-1201
No TPTP formula. May not be expressible in strict first order. french_format.kif 674-674
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 205-205
No TPTP formula. May not be expressible in strict first order. terms-it.txt 208-208
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2358-2358
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 626-626
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 210-210
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 242-242
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 695-695

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 5
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14581-14581 Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate


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