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 14547-14547 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 14548-14549
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 14546-14546 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 14551-14551 Aracnideo e' uma sub-classe de Artropode
No TPTP formula. May not be expressible in strict first order. Merge.kif 14563-14563 Crustaceo e' uma sub-classe de Artropode
No TPTP formula. May not be expressible in strict first order. Merge.kif 14559-14559 Inseto e' uma sub-classe de Artropode
No TPTP formula. May not be expressible in strict first order. Merge.kif 14555-14555 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 14526-14526 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