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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Seed
Seed(種子)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3503-3504
No TPTP formula. May not be expressible in strict first order. Merge.kif 15038-15039
No TPTP formula. May not be expressible in strict first order. pictureList.kif 164-164
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1975-1975
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 900-900
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 899-899
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 896-896
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 898-898
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 894-894
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 903-903
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 904-904
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 892-892
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 893-893
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 895-895
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 905-905
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 902-902
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 901-901
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 897-897
No TPTP formula. May not be expressible in strict first order. Merge.kif 15037-15037 子類 種子 and 植物解剖結構
No TPTP formula. May not be expressible in strict first order. Merge.kif 15036-15036 子類 種子 and ReproductiveBody

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4026-4026 子類 穀物 and 種子
No TPTP formula. May not be expressible in strict first order. Economy.kif 4686-4686 子類 可可豆 and 種子
No TPTP formula. May not be expressible in strict first order. Economy.kif 4624-4624 子類 咖啡豆 and 種子
No TPTP formula. May not be expressible in strict first order. Economy.kif 4500-4500 子類 kentia棕櫚種子 and 種子
No TPTP formula. May not be expressible in strict first order. Economy.kif 4497-4497 子類 諾福克島松籽 and 種子
No TPTP formula. May not be expressible in strict first order. Economy.kif 4509-4509 子類 油籽 and 種子
No TPTP formula. May not be expressible in strict first order. Economy.kif 4112-4112 子類 豌豆 and 種子
No TPTP formula. May not be expressible in strict first order. Food.kif 3391-3391 子類 芝麻 and 種子
No TPTP formula. May not be expressible in strict first order. Economy.kif 4503-4503 子類 葵花籽 and 種子
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51963-51963
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51962-51962
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51961-51961

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4629-4634
No TPTP formula. May not be expressible in strict first order. Economy.kif 4693-4699
No TPTP formula. May not be expressible in strict first order. Economy.kif 4532-4543
No TPTP formula. May not be expressible in strict first order. Economy.kif 4839-4843
No TPTP formula. May not be expressible in strict first order. Merge.kif 15041-15046

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


No TPTP formula. May not be expressible in strict first order. Food.kif 174-180


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