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 13550-13550 disjoint Bird and 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 13551-13552
(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 13549-13549 subclass Bird and WarmBloodedVertebrate

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


(biologicalAgentCarrier ChlamydiaPsittaci Bird) WMD.kif 1462-1462 biologicalAgentCarrier ChlamydiaPsittaci and Bird
(biologicalAgentCarrier SaintLouisEncephalitisVirus Bird) WMD.kif 1539-1539 biologicalAgentCarrier SaintLouisEncephalitisVirus and Bird
(meatOfAnimal PoultryMeat Bird) Food.kif 379-379 meatOfAnimal PoultryMeat and Bird
(subclass Owl Bird) Mid-level-ontology.kif 18031-18031 subclass Owl and Bird
(subclass Parrot Bird) Mid-level-ontology.kif 28625-28625 subclass Parrot and Bird
(subclass Pigeon Bird) Mid-level-ontology.kif 18035-18035 subclass Pigeon and Bird
(subclass Poultry Bird) Mid-level-ontology.kif 18000-18000 subclass Poultry and Bird
(subclass QuailBird Bird) Food.kif 395-395 subclass QuailBird and Bird
(subclass Vulture Bird) Mid-level-ontology.kif 18038-18038 subclass Vulture and Bird
(termFormat ChineseLanguage Bird "鸟") chinese_format.kif 988-988
(termFormat EnglishLanguage Bird "bird") english_format.kif 1188-1188

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


(=>
    (instance ?E BirdEgg)
    (exists (?SR ?B)
        (and
            (instance ?SR SexualReproduction)
            (agent ?SR ?B)
            (instance ?B Bird)
            (result ?SR ?E))))
Mid-level-ontology.kif 21883-21890
(=>
    (instance ?F Feather)
    (exists (?B)
        (and
            (instance ?B Bird)
            (part ?F ?B))))
Mid-level-ontology.kif 18116-18121


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