Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 14736-14736 Bird is a subclass of warm blooded vertebrate
(disjoint Bird Mammal) Merge.kif 14737-14737 Bird is disjoint from mammal
(documentation Bird EnglishLanguage "A Vertebrate having a constant body temperature and characterized by the presence of feathers.") Merge.kif 14738-14739 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 22529-22529 Poultry is a subclass of bird
(subclass Owl Bird) Mid-level-ontology.kif 22560-22560 Owl is a subclass of bird
(subclass Pigeon Bird) Mid-level-ontology.kif 22564-22564 Pigeon is a subclass of bird
(subclass Vulture Bird) Mid-level-ontology.kif 22567-22567 Vulture is a subclass of bird
(subclass Parrot Bird) Mid-level-ontology.kif 33161-33161 Parrot is a subclass of bird
(meatOfAnimal PoultryMeat Bird) Food.kif 2039-2039 Poultry is the meat of bird
(subclass QuailBird Bird) Food.kif 2055-2055 Quail bird is a subclass of bird
(biologicalAgentCarrier ChlamydiaPsittaci Bird) WMD.kif 1592-1592 Bird is a biological agent carrier of chlamydia psittaci
(biologicalAgentCarrier SaintLouisEncephalitisVirus Bird) WMD.kif 1668-1668 Bird is a biological agent carrier of saint louis encephalitis virus
(parasitic Louse Bird) WMD.kif 1972-1972 parasitic lice and bird
(parasitic Tick Bird) WMD.kif 1983-1983 parasitic tick and bird
(termFormat EnglishLanguage Bird "bird") english_format.kif 1183-1183 parasitic tick and bird

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


(=>
    (instance ?F Feather)
    (exists (?B)
        (and
            (instance ?B Bird)
            (part ?F ?B))))		 Mid-level-ontology.kif 22646-22651 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 26458-26465 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 is open source software produced by Articulate Software and its partners