Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bird

 Sigma KEE - Bird
Bird(oiseau)
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14584-14584 Oiseau est disjoint de mammif�re
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 14585-14586
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 14583-14583 Oiseau est une sous-classe de vert�br� � sang chaud

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1597-1597 biologicalAgentCarrier ChlamydiaPsittaci and oiseau
No TPTP formula. May not be expressible in strict first order. WMD.kif 1673-1673 biologicalAgentCarrier SaintLouisEncephalitisVirus and oiseau
No TPTP formula. May not be expressible in strict first order. Food.kif 2033-2033 meatOfAnimal PoultryMeat and oiseau
No TPTP formula. May not be expressible in strict first order. WMD.kif 1977-1977 parasitic Louse and oiseau
No TPTP formula. May not be expressible in strict first order. WMD.kif 1988-1988 parasitic Tick and oiseau
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20254-20254 Owl est une sous-classe de oiseau
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30436-30436 Parrot est une sous-classe de oiseau
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20258-20258 Pigeon est une sous-classe de oiseau
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20223-20223 Poultry est une sous-classe de oiseau
No TPTP formula. May not be expressible in strict first order. Food.kif 2049-2049 QuailBird est une sous-classe de oiseau
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20261-20261 Vulture est une sous-classe de oiseau
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 24074-24081
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20340-20345


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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