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, Aracnideo, Aracnidi, 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, Ixodidae, Latrodectus, Latrodectus_mactans, Lycosa, Lycosa_tarentula, Lycosidae, Mastigoproctus, Mastigoproctus_giganteus, Opiliones, Panonychus, Panonychus_ulmi, Pedipalpi, Phalangida, Phalangiidae, Phalangium, Phalangium_opilio, Pseudoscorpiones...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14458-14458
No TPTP formula. May not be expressible in strict first order. Merge.kif 14456-14457
No TPTP formula. May not be expressible in strict first order. pictureList.kif 941-941 "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Loxoceles_reclusa.jpg" is a URL depicting arachnid
No TPTP formula. May not be expressible in strict first order. Merge.kif 14455-14455 Arachnid is a subclass of arthropod

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1768-1768 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 1115-1115 Arachnid is a biological agent carrier of francisella tularensis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1824-1824 Arachnid is a biological agent carrier of tick borne encephalitis virus
No TPTP formula. May not be expressible in strict first order. Merge.kif 14449-14449 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 981-981 "蛛形䋞动物" is the printable form of arachnid in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 668-668 "arachnid" is the printable form of arachnid in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 658-658 "arachnide" is the printable form of arachnid in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 189-189 "makadI" is the printable form of arachnid in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 190-190 "Aracnidi" is the printable form of arachnid in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 610-610 "Aracnideo" is the printable form of arachnid in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 394-394 "عَنْكَبُوت" is the printable form of arachnid in ar
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 226-226 "arachnid" is the printable form of arachnid in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 193-193 "gagamba" is the printable form of arachnid in tg


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners