TreeView Knowledge Base Browser - Vertebrate

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ConsumerAccount

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14469-14469	Animal is exhaustively partitioned into vertebrate and invertebrate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14568-14568	Cold blooded vertebrate is a subclass of vertebrate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14573-14573	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
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 10943-10949	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11486-11496	If an object is an instance of vertebrate and another object is an instance of head and the other object is a part of the object and healthy is an attribute of the object, then there exist a collection and a third object such that the collection is an instance of skull and the third object is a member of the collection and the third object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11498-11507	If an object is an instance of vertebrate and another object is an instance of head and the other object is a part of the object and a collection is an instance of skull and healthy is an attribute of the object and a third object is a member of the collection and the third object is a part of the object, then the third object is a part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11654-11659	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 11449-11454	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 15216-15221	If an object is an instance of bone tissue, 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 12893-12898	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 12554-12559	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 10973-10979	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