Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Vertebrate Animal) Merge.kif 14670-14670 Vertebrate is a subclass of animal
(documentation Vertebrate EnglishLanguage "An Animal which has a spinal column.") Merge.kif 14671-14671 Vertebrate is a subclass of animal

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


(partition Animal Vertebrate Invertebrate) Merge.kif 14617-14617 Animal is exhaustively partitioned into vertebrate and invertebrate
(subclass ColdBloodedVertebrate Vertebrate) Merge.kif 14716-14716 Cold blooded vertebrate is a subclass of vertebrate
(subclass WarmBloodedVertebrate Vertebrate) Merge.kif 14721-14721 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

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 12369-12375 X is an instance of vertebrate if, only if there exists Y such that X is an instance of animal, Y is a component of X, and Y 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 12916-12926 If X is an instance of vertebrate, Y is an instance of head, Y is a part of X, and healthy is an attribute of X, then there exist Z, W such that Z is an instance of skull, W is a member of Z, and W is a part of Y
(=>
    (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 12928-12937 If All of the following hold: (1) X is an instance of vertebrate (2) Y is an instance of head (3) Y is a part of X (4) Z is an instance of skull (5) healthy is an attribute of X (6) W is a member of Z (7) W is a part of X, then W is a part of Y

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


(=>
    (instance ?BONE BoneTissue)
    (exists (?VERT)
        (and
            (instance ?VERT Vertebrate)
            (part ?BONE ?VERT))))		 Merge.kif 15347-15352 If X is an instance of bone tissue, then there exists Y such that Y is an instance of vertebrate and X is a part of Y
(=>
    (instance ?T Tail)
    (exists (?V)
        (and
            (instance ?V Vertebrate)
            (part ?T ?V)
            (not
                (instance ?V Human)))))		 Mid-level-ontology.kif 12399-12405 If X is an instance of tail, then there exists Y such that Y is an instance of vertebrate, X is a part of Y, and Y is not an instance of human
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))		 Mid-level-ontology.kif 12879-12884 If X is an instance of nervous system, X is a part of Y, and Y is an instance of animal, then Y is an instance of vertebrate
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))		 Mid-level-ontology.kif 13084-13089 If X is an instance of animal, Y is an instance of skeleton, and Y is a part of X, then X is an instance of vertebrate
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))		 Mid-level-ontology.kif 14074-14079 If X is an instance of limb, then there exists Y such that Y is an instance of vertebrate and X is a part of Y
(=>
    (instance ?FACE Face)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?FACE ?VERTEBRATE))))		 Mid-level-ontology.kif 14413-14418 If X is an instance of face, then there exists Y such that Y is an instance of vertebrate and X is a part of Y


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.0-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners