Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Bird WarmBloodedVertebrate) Merge.kif 14873-14873 Bird is a subclass of warm blooded vertebrate
(disjoint Bird Mammal) Merge.kif 14874-14874 Bird is disjoint from mammal
(documentation Bird EnglishLanguage "A Vertebrate having a constant body temperature and characterized by the presence of feathers.") Merge.kif 14875-14876 Bird is disjoint from mammal
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 38/ Lyrebird.jpg/ 652px_Lyrebird.jpg") pictureList-ImageNet.kif 19-19 Bird is disjoint from mammal
(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 Bird is disjoint from mammal
(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 Bird is disjoint from mammal
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/b/be/ Corvus_corax_(FWS).jpg") pictureList-ImageNet.kif 22-22 Bird is disjoint from mammal
(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 Bird is disjoint from mammal
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ fb/ Phalacrocorax_auritus-007.jpg/ 220px_thumb.jpg") pictureList-ImageNet.kif 24-24 Bird is disjoint from mammal
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Turdus_grayi-001.jpg") pictureList-ImageNet.kif 25-25 Bird is disjoint from mammal
(externalImage Bird "http://upload.wikimedia.org/wikipedia/commons/7/7a/ Blue_Tit_aka.jpg") pictureList.kif 41-41 Bird is disjoint from mammal

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


(subclass Poultry Bird) Mid-level-ontology.kif 22473-22473 Poultry is a subclass of bird
(subclass Owl Bird) Mid-level-ontology.kif 22504-22504 Owl is a subclass of bird
(subclass Pigeon Bird) Mid-level-ontology.kif 22508-22508 Pigeon is a subclass of bird
(subclass Vulture Bird) Mid-level-ontology.kif 22511-22511 Vulture is a subclass of bird
(subclass Parrot Bird) Mid-level-ontology.kif 33107-33107 Parrot is a subclass of bird
(meatOfAnimal PoultryMeat Bird) Food.kif 2047-2047 Poultry is the meat of bird
(subclass QuailBird Bird) Food.kif 2063-2063 Quail bird is a subclass of bird
(biologicalAgentCarrier ChlamydiaPsittaci Bird) WMD.kif 1593-1593 Bird is a biological agent carrier of chlamydia psittaci
(biologicalAgentCarrier SaintLouisEncephalitisVirus Bird) WMD.kif 1669-1669 Bird is a biological agent carrier of saint louis encephalitis virus
(parasitic Louse Bird) WMD.kif 1973-1973 parasitic lice and bird
(parasitic Tick Bird) WMD.kif 1984-1984 parasitic tick and bird
(termFormat EnglishLanguage Bird "bird") english_format.kif 1187-1187 parasitic tick and bird

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


(=>
    (instance ?F Feather)
    (exists (?B)
        (and
            (instance ?B Bird)
            (part ?F ?B))))		 Mid-level-ontology.kif 22580-22585 If X is an instance of feather, then there exists Y such that Y is an instance of bird and X is a part of Y
(=>
    (instance ?E BirdEgg)
    (exists (?SR ?B)
        (and
            (instance ?SR SexualReproduction)
            (agent ?SR ?B)
            (instance ?B Bird)
            (result ?SR ?E))))		 Mid-level-ontology.kif 26358-26365 If X is an instance of bird egg, then there exist Y, Z such that Y is an instance of sexual reproduction, Z is an agent of Y, Z is an instance of bird, and X is a result of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners