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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14562-14562 Bird is disjoint from mammal
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3416-3416
No TPTP formula. May not be expressible in strict first order. Merge.kif 14563-14564
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 21-21
No TPTP formula. May not be expressible in strict first order. pictureList.kif 41-41
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 22-22
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 25-25
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 20-20
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 19-19
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 23-23
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 24-24
No TPTP formula. May not be expressible in strict first order. Merge.kif 14561-14561 Bird is a subclass of warm blooded vertebrate

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1597-1597 Bird is a biological agent carrier of chlamydia psittaci
No TPTP formula. May not be expressible in strict first order. WMD.kif 1673-1673 Bird is a biological agent carrier of saint louis encephalitis virus
No TPTP formula. May not be expressible in strict first order. Food.kif 2033-2033 Poultry is the meat of bird
No TPTP formula. May not be expressible in strict first order. WMD.kif 1977-1977 parasitic lice and bird
No TPTP formula. May not be expressible in strict first order. WMD.kif 1988-1988 parasitic tick and bird
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20255-20255 Owl is a subclass of bird
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30448-30448 Parrot is a subclass of bird
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20259-20259 Pigeon is a subclass of bird
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20224-20224 Poultry is a subclass of bird
No TPTP formula. May not be expressible in strict first order. Food.kif 2049-2049 Quail bird is a subclass of bird
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20262-20262 Vulture is a subclass of bird
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 988-988
No TPTP formula. May not be expressible in strict first order. english_format.kif 1183-1183
No TPTP formula. May not be expressible in strict first order. french_format.kif 665-665
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 196-196
No TPTP formula. May not be expressible in strict first order. terms-it.txt 199-199
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2349-2349
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 617-617
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 201-201
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 233-233
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 686-686
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 200-200

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24075-24082
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20341-20346


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