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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Vertebrate
Vertebrate(Vertebrado)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3399-3399
No TPTP formula. May not be expressible in strict first order. Merge.kif 14547-14547
No TPTP formula. May not be expressible in strict first order. Merge.kif 14546-14546 Vertebrado e' uma sub-classe de Animal

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14493-14493 O conceito Animal e' completamente decomposto em Vertebrado + Invertebrado
No TPTP formula. May not be expressible in strict first order. Merge.kif 14592-14592 Vertebrado de Sangue Frio e' uma sub-classe de Vertebrado
No TPTP formula. May not be expressible in strict first order. Merge.kif 14597-14597 Vertebrado de Sangue Quente e' uma sub-classe de Vertebrado
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 976-976
No TPTP formula. May not be expressible in strict first order. english_format.kif 1159-1159
No TPTP formula. May not be expressible in strict first order. french_format.kif 653-653
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 184-184
No TPTP formula. May not be expressible in strict first order. terms-it.txt 187-187
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2337-2337
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 605-605
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 221-221
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 674-674
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 188-188

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10971-10977 Objeto Corpuscular e' uma instancia de Vertebrado Objeto Corpuscular Objeto Corpuscular e' uma instancia de Animal Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de SpinalColumn
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11514-11524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11526-11535

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11682-11687
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11477-11482
No TPTP formula. May not be expressible in strict first order. Merge.kif 15240-15245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12921-12926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12582-12587
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11001-11007


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