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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bird

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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14608-14608 Passaro e' disjunto de Mamifero
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 14609-14610
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 14607-14607 Passaro e' uma sub-classe de Vertebrado de Sangue Quente

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1597-1597 biologicalAgentCarrier ChlamydiaPsittaci and Passaro
No TPTP formula. May not be expressible in strict first order. WMD.kif 1673-1673 biologicalAgentCarrier SaintLouisEncephalitisVirus and Passaro
No TPTP formula. May not be expressible in strict first order. Food.kif 2033-2033 meatOfAnimal PoultryMeat and Passaro
No TPTP formula. May not be expressible in strict first order. WMD.kif 1977-1977 parasitic Louse and Passaro
No TPTP formula. May not be expressible in strict first order. WMD.kif 1988-1988 parasitic Tick and Passaro
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20282-20282 Owl e' uma sub-classe de Passaro
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30472-30472 Parrot e' uma sub-classe de Passaro
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20286-20286 Pigeon e' uma sub-classe de Passaro
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20251-20251 Poultry e' uma sub-classe de Passaro
No TPTP formula. May not be expressible in strict first order. Food.kif 2049-2049 QuailBird e' uma sub-classe de Passaro
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20289-20289 Vulture e' uma sub-classe de Passaro
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 24132-24139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20368-20373


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