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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vertebrate

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 14547-14547
(subclass Vertebrate Animal) Merge.kif 14546-14546 脊椎動物動物subclass では %n

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


(partition Animal Vertebrate Invertebrate) Merge.kif 14493-14493 動物脊椎動物 + 無脊椎動物exhaustively partitioned %n
(subclass ColdBloodedVertebrate Vertebrate) Merge.kif 14592-14592 冷血脊椎動物脊椎動物subclass では %n
(subclass WarmBloodedVertebrate Vertebrate) Merge.kif 14597-14597 温血脊椎動物脊椎動物subclass では %n
(termFormat ChineseLanguage Vertebrate "脊椎动物") chinese_format.kif 976-976
(termFormat EnglishLanguage Vertebrate "vertebrate") english_format.kif 1159-1159
(termFormat FrenchLanguage Vertebrate "vertebr�") french_format.kif 653-653
(termFormat Hindi Vertebrate "kasherukI") terms-hindi.txt 184-184
(termFormat ItalianLanguage Vertebrate "Vertebrato") terms-it.txt 187-187
(termFormat JapaneseLanguage Vertebrate "脊椎動物") japanese_format.kif 2337-2337
(termFormat PortugueseLanguage Vertebrate "Vertebrado") portuguese_format.kif 605-605
(termFormat cz Vertebrate "vertebrate") terms-cz.txt 221-221
(termFormat ro Vertebrate "vertebratã") relations-ro.kif 674-674
(termFormat tg Vertebrate "buto ng gulugod") terms-tg.txt 188-188

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 10971-10977 微粒子オブジェクト脊椎動物instance では %n 微粒子オブジェクト 微粒子オブジェクト動物instance では %n 微粒子オブジェクト 微粒子オブジェクトcomponent では %n 微粒子オブジェクトSpinalColumninstance では %n
(=>
    (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 11514-11524
(=>
    (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 11526-11535

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


(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))
Mid-level-ontology.kif 11682-11687
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))
Mid-level-ontology.kif 11477-11482
(=>
    (instance ?BONE BoneTissue)
    (exists (?VERT)
        (and
            (instance ?VERT Vertebrate)
            (part ?BONE ?VERT))))
Merge.kif 15240-15245
(=>
    (instance ?FACE Face)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?FACE ?VERTEBRATE))))
Mid-level-ontology.kif 12921-12926
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))
Mid-level-ontology.kif 12582-12587
(=>
    (instance ?T Tail)
    (exists (?V)
        (and
            (instance ?V Vertebrate)
            (part ?T ?V)
            (not
                (instance ?V Human)))))
Mid-level-ontology.kif 11001-11007


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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