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
-------------------------


s__disjoint(s__Bird,s__Mammal)

Merge.kif 13868-13868 Bird is disjoint from mammal
s__documentation(s__Bird,s__ChineseLanguage,'"这是一种有着恒常体温的 Vertebrate,羽毛是它们身上的特征。"')

chinese_format.kif 3416-3416
s__documentation(s__Bird,s__EnglishLanguage,'"A Vertebrate having a constant body temperature and characterized by the presence of feathers."')

Merge.kif 13869-13870
s__externalImage(s__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
s__externalImage(s__Bird,'"http://upload.wikimedia.org/wikipedia/commons/7/7a/ Blue_Tit_aka.jpg"')

pictureList.kif 41-41
s__externalImage(s__Bird,'"http://upload.wikimedia.org/wikipedia/commons/b/be/ Corvus_corax_(FWS).jpg"')

pictureList-ImageNet.kif 22-22
s__externalImage(s__Bird,'"http://upload.wikimedia.org/wikipedia/commons/c/c5/ Turdus-grayi-001.jpg"')

pictureList-ImageNet.kif 25-25
s__externalImage(s__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
s__externalImage(s__Bird,'"http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 38/ Lyrebird.jpg/ 652px-Lyrebird.jpg"')

pictureList-ImageNet.kif 19-19
s__externalImage(s__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
s__externalImage(s__Bird,'"http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ fb/ Phalacrocorax-auritus-007.jpg/ 220px-thumb.jpg"')

pictureList-ImageNet.kif 24-24
s__instance(s__WarmBloodedVertebrate,s__SetOrClass)

s__instance(s__Bird,s__SetOrClass)

s__subclass(s__Bird,s__WarmBloodedVertebrate)

Merge.kif 13867-13867 Bird is a subclass of warm blooded vertebrate

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


s__biologicalAgentCarrier(s__ChlamydiaPsittaci,s__Bird)

WMD.kif 1535-1535 Bird is a biological agent carrier of chlamydia psittaci
s__biologicalAgentCarrier(s__SaintLouisEncephalitisVirus,s__Bird)

WMD.kif 1612-1612 Bird is a biological agent carrier of saint louis encephalitis virus
s__meatOfAnimal(s__PoultryMeat,s__Bird)

Food.kif 379-379 Poultry is the meat of bird
s__parasitic(s__Louse,s__Bird)

WMD.kif 1916-1916 parasitic lice and bird
s__parasitic(s__Tick,s__Bird)

WMD.kif 1927-1927 parasitic tick and bird
s__instance(s__Owl,s__SetOrClass)

s__instance(s__Bird,s__SetOrClass)

s__subclass(s__Owl,s__Bird)

Mid-level-ontology.kif 18348-18348 Owl is a subclass of bird
s__instance(s__Parrot,s__SetOrClass)

s__instance(s__Bird,s__SetOrClass)

s__subclass(s__Parrot,s__Bird)

Mid-level-ontology.kif 28587-28587 Parrot is a subclass of bird
s__subclass(s__Pigeon,s__Bird)

s__instance(s__Bird,s__SetOrClass)

s__instance(s__Pigeon,s__SetOrClass)

Mid-level-ontology.kif 18352-18352 Pigeon is a subclass of bird
s__instance(s__Poultry,s__SetOrClass)

s__subclass(s__Poultry,s__Bird)

s__instance(s__Bird,s__SetOrClass)

Mid-level-ontology.kif 18317-18317 Poultry is a subclass of bird
s__instance(s__Bird,s__SetOrClass)

s__instance(s__QuailBird,s__SetOrClass)

s__subclass(s__QuailBird,s__Bird)

Food.kif 395-395 QuailBird is a subclass of bird
s__subclass(s__Vulture,s__Bird)

s__instance(s__Vulture,s__SetOrClass)

s__instance(s__Bird,s__SetOrClass)

Mid-level-ontology.kif 18355-18355 Vulture is a subclass of bird
s__termFormat(s__ChineseLanguage,s__Bird,'"鸟"')

chinese_format.kif 988-988
s__termFormat(s__EnglishLanguage,s__Bird,'"bird"')

english_format.kif 1188-1188

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


( ! [V__E] :
   ((s__instance(V__E,s__BirdEgg) =>
       (( ? [V__SR, V__B] :
           ((s__instance(V__SR,s__SexualReproduction) &
               s__agent(V__SR,V__B)
             &
             s__instance(V__B,s__Bird) &
             s__result(V__SR,V__E))))))
)
)

Mid-level-ontology.kif 22263-22270
( ! [V__F] :
   ((s__instance(V__F,s__Feather) =>
       (( ? [V__B] :
           ((s__instance(V__B,s__Bird) &
               s__part(V__F,V__B))))))
   )
)

Mid-level-ontology.kif 18434-18439


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