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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Spice
Spice(香料)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4361-4363
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1454-1454
No TPTP formula. May not be expressible in strict first order. Economy.kif 4360-4360 子類 香料 and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4359-4359 子類 香料 and 已準備食物

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4460-4460 子類 黑胡椒 and 香料
No TPTP formula. May not be expressible in strict first order. Economy.kif 4459-4459 子類 荳蔻果實 and 香料
No TPTP formula. May not be expressible in strict first order. Economy.kif 4462-4462 子類 肉桂 and 香料
No TPTP formula. May not be expressible in strict first order. Economy.kif 4456-4456 子類 丁香 and 香料
No TPTP formula. May not be expressible in strict first order. Economy.kif 4463-4463 子類 生薑 and 香料
No TPTP formula. May not be expressible in strict first order. Economy.kif 4458-4458 子類 錘 and 香料
No TPTP formula. May not be expressible in strict first order. Economy.kif 4457-4457 子類 肉荳蔻 and 香料
No TPTP formula. May not be expressible in strict first order. Economy.kif 4461-4461 子類 辣椒 and 香料
No TPTP formula. May not be expressible in strict first order. Food.kif 3520-3520 子類 Turmeric and 香料
No TPTP formula. May not be expressible in strict first order. Economy.kif 4455-4455 子類 香草 and 香料
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54618-54618
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54617-54617
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54616-54616

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4384-4399
No TPTP formula. May not be expressible in strict first order. Economy.kif 4365-4372
No TPTP formula. May not be expressible in strict first order. Economy.kif 4374-4382


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