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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bird
Bird
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14562-14562 不相交的 Bird and 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 and WarmBloodedVertebrate

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1597-1597 Bird 是 衣原體鸚鵡熱 的病毒傳遞者
No TPTP formula. May not be expressible in strict first order. WMD.kif 1673-1673 Bird 是 聖路易斯腦炎病毒 的病毒傳遞者
No TPTP formula. May not be expressible in strict first order. Food.kif 2033-2033 PoultryMeat 是 Bird 的 meat
No TPTP formula. May not be expressible in strict first order. WMD.kif 1977-1977 parasitic Louse 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 子類 貓頭鷹 and Bird
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30448-30448 子類 Parrot and Bird
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20259-20259 子類 鴿子 and Bird
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20224-20224 子類 家禽 and Bird
No TPTP formula. May not be expressible in strict first order. Food.kif 2049-2049 子類 QuailBird and Bird
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20262-20262 子類 禿鷲 and 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