Vertebrate - Sigma Knowledge base Browser

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

(documentation Vertebrate ChineseLanguage "这是一种有脊椎 Animal。")	chinese_format.kif 3399-3399
(documentation Vertebrate EnglishLanguage "An Animal which has a spinal column.")	Merge.kif 14676-14676
(subclass Vertebrate Animal)	Merge.kif 14675-14675	Vertebrate is a subclass of animal

appearance as argument number 2

(partition Animal Vertebrate Invertebrate)	Merge.kif 14622-14622	Animal is exhaustively partitioned into vertebrate and invertebrate
(subclass ColdBloodedVertebrate Vertebrate)	Merge.kif 14721-14721	Cold blooded vertebrate is a subclass of vertebrate
(subclass WarmBloodedVertebrate Vertebrate)	Merge.kif 14726-14726	Warm blooded vertebrate is a subclass of vertebrate
(termFormat ChineseLanguage Vertebrate "脊椎动物")	chinese_format.kif 976-976	Warm blooded vertebrate is a subclass of vertebrate
(termFormat EnglishLanguage Vertebrate "vertebrate")	english_format.kif 1159-1159	Warm blooded vertebrate is a subclass of vertebrate
(termFormat FrenchLanguage Vertebrate "vertebr�")	french_format.kif 653-653	Warm blooded vertebrate is a subclass of vertebrate
(termFormat Hindi Vertebrate "kasherukI")	terms-hindi.txt 184-184	Warm blooded vertebrate is a subclass of vertebrate
(termFormat ItalianLanguage Vertebrate "Vertebrato")	terms-it.txt 187-187	Warm blooded vertebrate is a subclass of vertebrate
(termFormat JapaneseLanguage Vertebrate "脊椎動物")	japanese_format.kif 2337-2337	Warm blooded vertebrate is a subclass of vertebrate
(termFormat PortugueseLanguage Vertebrate "Vertebrado")	portuguese_format.kif 605-605	Warm blooded vertebrate is a subclass of vertebrate
(termFormat cz Vertebrate "vertebrate")	terms-cz.txt 221-221	Warm blooded vertebrate is a subclass of vertebrate
(termFormat de Vertebrate "Wirbeltier")	terms-de.txt 480-480	Warm blooded vertebrate is a subclass of vertebrate
(termFormat ro Vertebrate "vertebratã")	relations-ro.kif 674-674	Warm blooded vertebrate is a subclass of vertebrate
(termFormat tg Vertebrate "buto ng gulugod")	terms-tg.txt 188-188	Warm blooded vertebrate is a subclass of vertebrate

antecedent

(<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn))))	Mid-level-ontology.kif 12269-12275	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
(=> (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (attribute ?V Healthy)) (exists (?S ?B) (and (instance ?S Skull) (member ?B ?S) (part ?B ?H))))	Mid-level-ontology.kif 12812-12822	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
(=> (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (instance ?S Skull) (attribute ?V Healthy) (member ?B ?S) (part ?B ?V)) (part ?B ?H))	Mid-level-ontology.kif 12824-12833	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

(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate))	Mid-level-ontology.kif 12980-12985	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
(=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate))	Mid-level-ontology.kif 12775-12780	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
(=> (instance ?BONE BoneTissue) (exists (?VERT) (and (instance ?VERT Vertebrate) (part ?BONE ?VERT))))	Merge.kif 15369-15374	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
(=> (instance ?FACE Face) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?FACE ?VERTEBRATE))))	Mid-level-ontology.kif 14219-14224	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
(=> (instance ?LIMB Limb) (exists (?VERTEBRATE) (and (instance ?VERTEBRATE Vertebrate) (part ?LIMB ?VERTEBRATE))))	Mid-level-ontology.kif 13880-13885	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
(=> (instance ?T Tail) (exists (?V) (and (instance ?V Vertebrate) (part ?T ?V) (not (instance ?V Human)))))	Mid-level-ontology.kif 12299-12305	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 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