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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Monkey
Monkey(monkey)
African_green_monkey, Alouatta, Aotus, Aotus_trivirgatus, Ateles, Ateles_geoffroyi, Barbary_ape, Cacajao, Callicebus, Callithricidae, Callithrix, Cebidae, Cebuella, Cebuella_pygmaea, Cebus, Cebus_capucinus, Cercocebus, Cercopithecidae, Cercopithecus, Cercopithecus_aethiops, Cercopithecus_aethiops_pygerythrus, Cercopithecus_aethiops_sabaeus, Cercopithecus_talapoin, Colobus_guereza, Erythrocebus, Erythrocebus_patas, Lagothrix, Leontocebus, Leontocebus_oedipus, Leontocebus_rosalia, Macaca, Macaca_irus, Macaca_mulatta, Macaca_radiata, Macaca_sylvana, Mandrillus, Mandrillus_leucophaeus, Mandrillus_sphinx, Nasalis, Nasalis_larvatus, New_World_monkey, Old_World_monkey, Papio, Papio_ursinus, Pithecia, Platyrrhini, Presbytes, Presbytes_entellus, Saimiri, Saimiri_sciureus...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3436-3436
No TPTP formula. May not be expressible in strict first order. Merge.kif 14636-14637
No TPTP formula. May not be expressible in strict first order. pictureList.kif 131-131
No TPTP formula. May not be expressible in strict first order. Merge.kif 14635-14635 Monkey is a subclass of primate

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1524-1524 Monkey is a biological agent carrier of herpesB virus
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1000-1000
No TPTP formula. May not be expressible in strict first order. english_format.kif 1212-1212
No TPTP formula. May not be expressible in strict first order. french_format.kif 677-677
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 208-208
No TPTP formula. May not be expressible in strict first order. terms-it.txt 211-211
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2361-2361
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 629-629
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 213-213
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 245-245
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 698-698
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 212-212

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14627-14627 Primate is disjointly decomposed into ape, monkey, and hominid


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