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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Marsupial
Marsupial(marsupial)
Acrobates, Caenolestes, Caenolestidae, Dasyuridae, Dasyurus, Dasyurus_quoll, Dasyurus_viverrinus, Didelphidae, Didelphis, Didelphis_marsupialis, Didelphis_virginiana, Macropodidae, Macrotis, Macrotis_lagotis, Marsupialia, Metatheria, Myrmecobius, Myrmecobius_fasciatus, Notoryctidae, Notoryctus, Notoryctus_typhlops, Peramelidae, Petaurus, Phalangeridae, Phascogale, Phascolarctos, Phascolarctos_cinereus, Potorous, Sarcophilus, Sarcophilus_hariisi, Tasmanian_devil, Tasmanian_tiger, Tasmanian_wolf, Thylacinus, Thylacinus_cynocephalus, Trichosurus, Trichosurus_vulpecula, Vombatidae, anteater, banded_anteater, bandicoot, bilby, brush-tailed_phalanger, common_opossum, crab-eating_opossum, cuscus, dasyure, dasyurid, dasyurid_marsupial, eastern_dasyure...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3425-3425
No TPTP formula. May not be expressible in strict first order. Merge.kif 14595-14596
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 48-48
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 46-46
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 45-45
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 47-47
No TPTP formula. May not be expressible in strict first order. Merge.kif 14594-14594 Marsupial is a subclass of mammal

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20307-20307 Kangaroo is a subclass of marsupial
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 993-993
No TPTP formula. May not be expressible in strict first order. english_format.kif 1193-1193
No TPTP formula. May not be expressible in strict first order. french_format.kif 670-670
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 201-201
No TPTP formula. May not be expressible in strict first order. terms-it.txt 204-204
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2354-2354
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 622-622
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 238-238
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 691-691
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 205-205

appearance as argument number 4
-------------------------


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