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 14575-14575
(subclass Vertebrate Animal) Merge.kif 14574-14574 Vertebrate is a subclass of animal

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


(partition Animal Vertebrate Invertebrate) Merge.kif 14521-14521 Animal is exhaustively partitioned into vertebrate and invertebrate
(subclass ColdBloodedVertebrate Vertebrate) Merge.kif 14620-14620 Cold blooded vertebrate is a subclass of vertebrate
(subclass WarmBloodedVertebrate Vertebrate) Merge.kif 14625-14625 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 11840-11846 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 12383-12393
(=>
    (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 12395-12404

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


(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))		 Mid-level-ontology.kif 12551-12556
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))		 Mid-level-ontology.kif 12346-12351
(=>
    (instance ?BONE BoneTissue)
    (exists (?VERT)
        (and
            (instance ?VERT Vertebrate)
            (part ?BONE ?VERT))))		 Merge.kif 15268-15273
(=>
    (instance ?FACE Face)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?FACE ?VERTEBRATE))))		 Mid-level-ontology.kif 13790-13795
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))		 Mid-level-ontology.kif 13451-13456
(=>
    (instance ?T Tail)
    (exists (?V)
        (and
            (instance ?V Vertebrate)
            (part ?T ?V)
            (not
                (instance ?V Human)))))		 Mid-level-ontology.kif 11870-11876


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