.jpg/240px-Parus_major_3_(Marek_Szczepanek).jpg)
_on_Kapok_(Ceiba_pentandra)_in_Kolkata_W_IMG_4297.jpg)
.jpg)
more pictures...
| appearance as argument number 1 |
|
|
| (disjoint Bird Mammal) | Merge.kif 14608-14608 | Bird is disjoint from mammal |
| (documentation Bird ChineseLanguage "这是一种有着恒常体温的 Vertebrate，羽毛是它们身上的特征。") | chinese_format.kif 3416-3416 | Bird is disjoint from mammal |
| (documentation Bird EnglishLanguage "A Vertebrate having a constant body temperature and characterized by the presence of feathers.") | Merge.kif 14609-14610 | 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/7/7a/ Blue_Tit_aka.jpg") | pictureList.kif 41-41 | 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/c/c5/ Turdus-grayi-001.jpg") | pictureList-ImageNet.kif 25-25 | 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/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/ 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 |
| (subclass Bird WarmBloodedVertebrate) | Merge.kif 14607-14607 | 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 20513-20513 | Owl is a subclass of bird |
| (subclass Parrot Bird) | Mid-level-ontology.kif 30705-30705 | Parrot is a subclass of bird |
| (subclass Pigeon Bird) | Mid-level-ontology.kif 20517-20517 | Pigeon is a subclass of bird |
| (subclass Poultry Bird) | Mid-level-ontology.kif 20482-20482 | 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 20520-20520 | Vulture is a subclass of bird |
| (termFormat ChineseLanguage Bird "鸟") | chinese_format.kif 988-988 | Vulture is a subclass of bird |
| (termFormat EnglishLanguage Bird "bird") | english_format.kif 1183-1183 | Vulture is a subclass of bird |
| (termFormat FrenchLanguage Bird "oiseau") | french_format.kif 665-665 | Vulture is a subclass of bird |
| (termFormat Hindi Bird "pakshI") | terms-hindi.txt 196-196 | Vulture is a subclass of bird |
| (termFormat ItalianLanguage Bird "Uccello") | terms-it.txt 199-199 | Vulture is a subclass of bird |
| (termFormat JapaneseLanguage Bird "鳥") | japanese_format.kif 2349-2349 | Vulture is a subclass of bird |
| (termFormat PortugueseLanguage Bird "Passaro") | portuguese_format.kif 617-617 | Vulture is a subclass of bird |
| (termFormat cb Bird "langgam") | terms-cb.txt 201-201 | Vulture is a subclass of bird |
| (termFormat cz Bird "bird") | terms-cz.txt 233-233 | Vulture is a subclass of bird |
| (termFormat ro Bird "pasãre") | relations-ro.kif 686-686 | Vulture is a subclass of bird |
| (termFormat tg Bird "ibon") | terms-tg.txt 200-200 | Vulture is a subclass of bird |
| consequent |
|
|
| (=> (instance ?E BirdEgg) (exists (?SR ?B) (and (instance ?SR SexualReproduction) (agent ?SR ?B) (instance ?B Bird) (result ?SR ?E)))) |
Mid-level-ontology.kif 24363-24370 |
|
| (=> (instance ?F Feather) (exists (?B) (and (instance ?B Bird) (part ?F ?B)))) |
Mid-level-ontology.kif 20599-20604 |
|
|
|
|