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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bird
Bird(bird)
more pictures...
Acanthisitta, Acanthisitta_chloris, Acanthisittidae, Accipiter, Accipiter_cooperii, Accipiter_gentilis, Accipiter_nisus, Accipitridae, Accipitriformes, Acridotheres, Acridotheres_tristis, Acrocephalus, Acrocephalus_schoenobaenus, Actitis, Actitis_hypoleucos, Actitis_macularia, Adelie, Adelie_penguin, Aegypiidae, Aegypius, Aegypius_monachus, Aepyornidae, Aepyorniformes, Afropavo_congensis, Agelaius, Agelaius_phoeniceus, Agriocharis, Ajaia, Ajaia_ajaja, Alauda, Alauda_arvensis, Alaudidae, Alca, Alca_torda, Alcedinidae, Alcedo, Alcedo_atthis, Alcidae, Alectoris, Alectoris_graeca, Alectoris_ruffa, Alectura, Alectura_lathami, Amazona, American_bittern, American_coot, American_creeper, American_crow, American_eagle, American_egret...

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


(disjoint Bird Mammal) Merge.kif 14562-14562 Bird is disjoint from mammal
(documentation Bird ChineseLanguage "这是一种有着恒常体温的 Vertebrate,羽毛是它们身上的特征。") chinese_format.kif 3416-3416
(documentation Bird EnglishLanguage "A Vertebrate having a constant body temperature and characterized by the presence of feathers.") Merge.kif 14563-14564
(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
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/7/7a/ Blue_Tit_aka.jpg") pictureList.kif 41-41
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/b/be/ Corvus_corax_(FWS).jpg") pictureList-ImageNet.kif 22-22
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Turdus-grayi-001.jpg") pictureList-ImageNet.kif 25-25
(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
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 38/ Lyrebird.jpg/ 652px-Lyrebird.jpg") pictureList-ImageNet.kif 19-19
(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
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ fb/ Phalacrocorax-auritus-007.jpg/ 220px-thumb.jpg") pictureList-ImageNet.kif 24-24
(subclass Bird WarmBloodedVertebrate) Merge.kif 14561-14561 Bird is a subclass of warm blooded vertebrate

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


(biologicalAgentCarrier ChlamydiaPsittaci Bird) WMD.kif 1597-1597 Bird is a biological agent carrier of chlamydia psittaci
(biologicalAgentCarrier SaintLouisEncephalitisVirus Bird) WMD.kif 1673-1673 Bird is a biological agent carrier of saint louis encephalitis virus
(meatOfAnimal PoultryMeat Bird) Food.kif 2033-2033 Poultry is the meat of bird
(parasitic Louse Bird) WMD.kif 1977-1977 parasitic lice and bird
(parasitic Tick Bird) WMD.kif 1988-1988 parasitic tick and bird
(subclass Owl Bird) Mid-level-ontology.kif 20255-20255 Owl is a subclass of bird
(subclass Parrot Bird) Mid-level-ontology.kif 30448-30448 Parrot is a subclass of bird
(subclass Pigeon Bird) Mid-level-ontology.kif 20259-20259 Pigeon is a subclass of bird
(subclass Poultry Bird) Mid-level-ontology.kif 20224-20224 Poultry is a subclass of bird
(subclass QuailBird Bird) Food.kif 2049-2049 Quail bird is a subclass of bird
(subclass Vulture Bird) Mid-level-ontology.kif 20262-20262 Vulture is a subclass of bird
(termFormat ChineseLanguage Bird "鸟") chinese_format.kif 988-988
(termFormat EnglishLanguage Bird "bird") english_format.kif 1183-1183
(termFormat FrenchLanguage Bird "oiseau") french_format.kif 665-665
(termFormat Hindi Bird "pakshI") terms-hindi.txt 196-196
(termFormat ItalianLanguage Bird "Uccello") terms-it.txt 199-199
(termFormat JapaneseLanguage Bird "鳥") japanese_format.kif 2349-2349
(termFormat PortugueseLanguage Bird "Passaro") portuguese_format.kif 617-617
(termFormat cb Bird "langgam") terms-cb.txt 201-201
(termFormat cz Bird "bird") terms-cz.txt 233-233
(termFormat ro Bird "pasãre") relations-ro.kif 686-686
(termFormat tg Bird "ibon") terms-tg.txt 200-200

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


(=>
    (instance ?E BirdEgg)
    (exists (?SR ?B)
        (and
            (instance ?SR SexualReproduction)
            (agent ?SR ?B)
            (instance ?B Bird)
            (result ?SR ?E))))
Mid-level-ontology.kif 24075-24082
(=>
    (instance ?F Feather)
    (exists (?B)
        (and
            (instance ?B Bird)
            (part ?F ?B))))
Mid-level-ontology.kif 20341-20346


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