Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Vertebrate
Vertebrate

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 13498-13498
(subclass Vertebrate Animal) Merge.kif 13497-13497 subclass Vertebrate and Animal

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


(partition Animal Vertebrate Invertebrate) Merge.kif 13444-13444 partition Animal, Vertebrate and Invertebrate
(subclass ColdBloodedVertebrate Vertebrate) Merge.kif 13534-13534 subclass ColdBloodedVertebrate and Vertebrate
(subclass WarmBloodedVertebrate Vertebrate) Merge.kif 13539-13539 subclass WarmBloodedVertebrate and Vertebrate
(termFormat ChineseLanguage Vertebrate "脊椎动物") chinese_format.kif 976-976
(termFormat EnglishLanguage Vertebrate "vertebrate") english_format.kif 1164-1164

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 9374-9380 instance CorpuscularObject and Vertebrate CorpuscularObject instance CorpuscularObject and Animal component CorpuscularObject and CorpuscularObject instance CorpuscularObject and SpinalColumn

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


(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))
Mid-level-ontology.kif 9873-9878
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))
Mid-level-ontology.kif 9689-9694
(=>
    (instance ?BONE Bone)
    (exists (?VERT)
        (and
            (instance ?VERT Vertebrate)
            (part ?BONE ?VERT))))
Merge.kif 14110-14115
(=>
    (instance ?FACE Face)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?FACE ?VERTEBRATE))))
Mid-level-ontology.kif 10548-10553
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))
Mid-level-ontology.kif 10273-10278
(=>
    (instance ?S Skull)
    (exists (?V ?H)
        (and
            (instance ?V Vertebrate)
            (instance ?H Head)
            (part ?H ?V)
            (part ?S ?H))))
Mid-level-ontology.kif 9721-9728
(=>
    (instance ?T Tail)
    (exists (?V)
        (and
            (instance ?V Vertebrate)
            (part ?T ?V)
            (not
                (instance ?V Human)))))
Mid-level-ontology.kif 9404-9410


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