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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Bird
Bird(鳥)
more pictures...

appearance as argument number 1
-------------------------


(disjoint Bird Mammal) Merge.kif 14715-14715 哺乳動物disjoint では
(documentation Bird ChineseLanguage "这是一种有着恒常体温的 Vertebrate,羽毛是它们身上的特征。") chinese_format.kif 3416-3416 哺乳動物disjoint では
(documentation Bird EnglishLanguage "A Vertebrate having a constant body temperature and characterized by the presence of feathers.") Merge.kif 14716-14717 哺乳動物disjoint では
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Common_Myna_(Acridotheres_tristis)_on_Kapok_(Ceiba_pentandra)_in_Kolkata_W_IMG_4297.jpg") pictureList-ImageNet.kif 21-21 哺乳動物disjoint では
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/7/7a/ Blue_Tit_aka.jpg") pictureList.kif 41-41 哺乳動物disjoint では
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/b/be/ Corvus_corax_(FWS).jpg") pictureList-ImageNet.kif 22-22 哺乳動物disjoint では
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Turdus_grayi-001.jpg") pictureList-ImageNet.kif 25-25 哺乳動物disjoint では
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 33/ Parus_major_3_(Marek_Szczepanek).jpg/ 240px_Parus_major_3_(Marek_Szczepanek).jpg") pictureList-ImageNet.kif 20-20 哺乳動物disjoint では
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 38/ Lyrebird.jpg/ 652px_Lyrebird.jpg") pictureList-ImageNet.kif 19-19 哺乳動物disjoint では
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 64/ Lesser_Bird_of_Paradise.jpg/ 100px_Lesser_Bird_of_Paradise.jpg") pictureList-ImageNet.kif 23-23 哺乳動物disjoint では
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ fb/ Phalacrocorax_auritus-007.jpg/ 220px_thumb.jpg") pictureList-ImageNet.kif 24-24 哺乳動物disjoint では
(subclass Bird WarmBloodedVertebrate) Merge.kif 14714-14714 温血脊椎動物subclass では

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


(biologicalAgentCarrier ChlamydiaPsittaci Bird) WMD.kif 1597-1597 biologicalAgentCarrier ChlamydiaPsittaci and
(biologicalAgentCarrier SaintLouisEncephalitisVirus Bird) WMD.kif 1673-1673 biologicalAgentCarrier SaintLouisEncephalitisVirus and
(meatOfAnimal PoultryMeat Bird) Food.kif 2039-2039 meatOfAnimal PoultryMeat and
(parasitic Louse Bird) WMD.kif 1977-1977 parasitic Louse and
(parasitic Tick Bird) WMD.kif 1988-1988 parasitic Tick and
(subclass Owl Bird) Mid-level-ontology.kif 21872-21872 Owlsubclass では
(subclass Parrot Bird) Mid-level-ontology.kif 32382-32382 Parrotsubclass では
(subclass Pigeon Bird) Mid-level-ontology.kif 21876-21876 Pigeonsubclass では
(subclass Poultry Bird) Mid-level-ontology.kif 21841-21841 Poultrysubclass では
(subclass QuailBird Bird) Food.kif 2055-2055 QuailBirdsubclass では
(subclass Vulture Bird) Mid-level-ontology.kif 21879-21879 Vulturesubclass では
(termFormat ChineseLanguage Bird "鸟") chinese_format.kif 988-988 Vulturesubclass では
(termFormat EnglishLanguage Bird "bird") english_format.kif 1183-1183 Vulturesubclass では
(termFormat FrenchLanguage Bird "oiseau") french_format.kif 665-665 Vulturesubclass では
(termFormat Hindi Bird "pakshI") terms-hindi.txt 196-196 Vulturesubclass では
(termFormat ItalianLanguage Bird "Uccello") terms-it.txt 199-199 Vulturesubclass では
(termFormat JapaneseLanguage Bird "鳥") japanese_format.kif 2349-2349 Vulturesubclass では
(termFormat PortugueseLanguage Bird "Passaro") portuguese_format.kif 617-617 Vulturesubclass では
(termFormat cb Bird "langgam") terms-cb.txt 201-201 Vulturesubclass では
(termFormat cz Bird "bird") terms-cz.txt 233-233 Vulturesubclass では
(termFormat de Bird "Vogel") terms-de.txt 492-492 Vulturesubclass では
(termFormat ro Bird "pasãre") relations-ro.kif 686-686 Vulturesubclass では
(termFormat tg Bird "ibon") terms-tg.txt 200-200 Vulturesubclass では

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


(=>
    (instance ?E BirdEgg)
    (exists (?SR ?B)
        (and
            (instance ?SR SexualReproduction)
            (agent ?SR ?B)
            (instance ?B Bird)
            (result ?SR ?E))))
Mid-level-ontology.kif 25721-25728
(=>
    (instance ?F Feather)
    (exists (?B)
        (and
            (instance ?B Bird)
            (part ?F ?B))))
Mid-level-ontology.kif 21958-21963


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