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 14654-14654
(subclass Vertebrate Animal) Merge.kif 14653-14653 脊椎動物動物subclass では

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


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

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 12275-12281 微粒子オブジェクト脊椎動物instance では 微粒子オブジェクト 微粒子オブジェクト動物instance では 微粒子オブジェクト 微粒子オブジェクトcomponent では 微粒子オブジェクトSpinalColumninstance では
(=>
    (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 12818-12828
(=>
    (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 12830-12839

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


(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))
Mid-level-ontology.kif 12986-12991
(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))
Mid-level-ontology.kif 12781-12786
(=>
    (instance ?BONE BoneTissue)
    (exists (?VERT)
        (and
            (instance ?VERT Vertebrate)
            (part ?BONE ?VERT))))
Merge.kif 15347-15352
(=>
    (instance ?FACE Face)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?FACE ?VERTEBRATE))))
Mid-level-ontology.kif 14225-14230
(=>
    (instance ?LIMB Limb)
    (exists (?VERTEBRATE)
        (and
            (instance ?VERTEBRATE Vertebrate)
            (part ?LIMB ?VERTEBRATE))))
Mid-level-ontology.kif 13886-13891
(=>
    (instance ?T Tail)
    (exists (?V)
        (and
            (instance ?V Vertebrate)
            (part ?T ?V)
            (not
                (instance ?V Human)))))
Mid-level-ontology.kif 12305-12311


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