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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Arthropod

 Sigma KEE - Arthropod
Arthropod(Artropode)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14525-14525 Artropode e' disjuntamente decomponivel em Aracnideo, Miriapode, Inseto, + Crustaceo
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3404-3405
No TPTP formula. May not be expressible in strict first order. Merge.kif 14526-14527
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4510-4510
No TPTP formula. May not be expressible in strict first order. Merge.kif 14524-14524 Artropode e' uma sub-classe de Invertebrado

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 267-267 biologicalAgentCarrier RickettsiaProwazekii and Artropode
No TPTP formula. May not be expressible in strict first order. WMD.kif 253-253 biologicalAgentCarrier RickettsiaRickettsii and Artropode
No TPTP formula. May not be expressible in strict first order. WMD.kif 248-248 biologicalAgentCarrier RickettsialAgent and Artropode
No TPTP formula. May not be expressible in strict first order. Merge.kif 14529-14529 Aracnideo e' uma sub-classe de Artropode
No TPTP formula. May not be expressible in strict first order. Merge.kif 14541-14541 Crustaceo e' uma sub-classe de Artropode
No TPTP formula. May not be expressible in strict first order. Merge.kif 14537-14537 Inseto e' uma sub-classe de Artropode
No TPTP formula. May not be expressible in strict first order. Merge.kif 14533-14533 Miriapode e' uma sub-classe de Artropode
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 980-980
No TPTP formula. May not be expressible in strict first order. english_format.kif 1167-1167
No TPTP formula. May not be expressible in strict first order. french_format.kif 657-657
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 188-188
No TPTP formula. May not be expressible in strict first order. terms-it.txt 191-191
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2341-2341
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 609-609
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 225-225
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 678-678
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 192-192

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14504-14504 Invertebrado e' disjuntamente decomponivel em Verme, Molusco, + Artropode


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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