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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Arachnid
Arachnid(arachnid)
Acaridae, Acarina, American_dog_tick, Arachnida, Aranea, Aranea_diademata, Araneae, Araneida, Araneus, Araneus_cavaticus, Argasidae, Argiope, Argiope_aurantia, Argiopidae, Chelifer, Chelifer_cancroides, Chelonethida, Ctenizidae, Dermacentor, Dermacentor_variabilis, European_wolf_spider, Ixodes, Ixodes_dammini, Ixodes_dentatus, Ixodes_neotomae, Ixodes_pacificus, Ixodes_persulcatus, Ixodes_ricinus, Ixodes_scapularis, Ixodes_spinipalpis, Latrodectus, Latrodectus_mactans, Lycosa, Lycosa_tarentula, Lycosidae, Mastigoproctus, Mastigoproctus_giganteus, Opiliones, Panonychus, Panonychus_ulmi, Pedipalpi, Phalangida, Phalangiidae, Phalangium, Phalangium_opilio, Pseudoscorpiones, Pseudoscorpionida, Sarcoptes, Sarcoptidae, Scorpionida...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3406-3406
No TPTP formula. May not be expressible in strict first order. Merge.kif 14530-14531
No TPTP formula. May not be expressible in strict first order. pictureList.kif 940-940
No TPTP formula. May not be expressible in strict first order. Merge.kif 14529-14529 Arachnid is a subclass of arthropod

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1919-1919 Arachnid is a biological agent carrier of crimean congo hemorrhagic fever virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1205-1205 Arachnid is a biological agent carrier of francisella tularensis
No TPTP formula. May not be expressible in strict first order. Merge.kif 14525-14525 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean
No TPTP formula. May not be expressible in strict first order. WMD.kif 1985-1985 Tick is a subclass of arachnid
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 981-981
No TPTP formula. May not be expressible in strict first order. english_format.kif 1169-1169
No TPTP formula. May not be expressible in strict first order. french_format.kif 658-658
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 189-189
No TPTP formula. May not be expressible in strict first order. terms-it.txt 192-192
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2342-2342
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 610-610
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 226-226
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 679-679
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 193-193


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