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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vertebrate

Sigma KEE - Vertebrate
Vertebrate(vertebrate)Amniota, Amphioxidae, Ascidiaceae, Branchiostomidae, Cephalochordata, Chordata, Craniata, Doliolidae, Larvacea, Salpidae, Thaliacea, Tunicata, Urochorda, Urochordata, Vertebrata, amniote, amphioxus, appendicularia, aquatic_vertebrate, ascidian, ascidian_tadpole, cephalochordate, chordate, chordate_family, chordate_genus, class_Ascidiaceae, class_Larvacea, class_Thaliacea, craniate, doliolum, family_Amphioxidae, family_Branchiostomidae, family_Doliolidae, family_Salpidae, genus_Amphioxus, genus_Appendicularia, genus_Doliolum, genus_Salpa, lancelet, larvacean, phylum_Chordata, salp, salpa, sea_squirt, subphylum_Cephalochordata, subphylum_Craniata, subphylum_Tunicata, subphylum_Urochorda, subphylum_Urochordata, subphylum_Vertebrata...

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 14240-14240
No TPTP formula. May not be expressible in strict first order. Merge.kif 14239-14239 Vertebrate is a subclass of animal

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14186-14186 Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14285-14285 Cold blooded vertebrate is a subclass of vertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14290-14290 Warm blooded vertebrate is a subclass of vertebrate
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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10451-10457 A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11140-11145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10953-10958
No TPTP formula. May not be expressible in strict first order. Merge.kif 14924-14929
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12359-12364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12036-12041
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10986-10993
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10481-10487


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