TreeView Knowledge Base Browser - Vertebrate

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	If an object is an instance of animal and another object is an instance of skeleton and the other object is a part of the object, then the object is an instance of vertebrate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10953-10958	If an object is an instance of nervous system and the object is a part of another object and the other object is an instance of animal, then the other object is an instance of vertebrate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14924-14929	If an object is an instance of BoneTissue, then there exists another object such that the other object is an instance of vertebrate and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12359-12364	If an object is an instance of face, then there exists another object such that the other object is an instance of vertebrate and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12036-12041	If an object is an instance of limb, then there exists another object such that the other object is an instance of vertebrate and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10986-10993	If an object is an instance of skull, then there exist another object and a third object such that the other object is an instance of vertebrate and the third object is an instance of head and the third object is a part of the other object and the object is a part of the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10481-10487	If an object is an instance of tail, then there exists another object such that the other object is an instance of vertebrate and the object is a part of the other object and the other object is not an instance of human

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