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 13348-13348
(subclass Vertebrate Animal) Merge.kif 13347-13347

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


(partition Animal Vertebrate Invertebrate) Merge.kif 13294-13294
(subclass ColdBloodedVertebrate Vertebrate) Merge.kif 13384-13384
(subclass WarmBloodedVertebrate Vertebrate) Merge.kif 13389-13389
(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 9392-9398

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


(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))
Mid-level-ontology.kif 9876-9881
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))
Mid-level-ontology.kif 9692-9697
(=>
    (instance ?BONE Bone)
    (exists (?VERT)
        (and
            (instance ?VERT Vertebrate)
            (part ?BONE ?VERT))))
Merge.kif 13960-13965
(=>
    (instance ?FACE Face)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?FACE ?VERTEBRATE))))
Mid-level-ontology.kif 10520-10525
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))
Mid-level-ontology.kif 10275-10280
(=>
    (instance ?S Skull)
    (exists (?V ?H)
        (and
            (instance ?V Vertebrate)
            (instance ?H Head)
            (part ?H ?V)
            (part ?S ?H))))
Mid-level-ontology.kif 9724-9731
(=>
    (instance ?T Tail)
    (exists (?V)
        (and
            (instance ?V Vertebrate)
            (part ?T ?V)
            (not
                (instance ?V Human)))))
Mid-level-ontology.kif 9422-9428


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners