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 香料 是 FoodFromPlant 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4359-4359 香料 是 已准备食物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4460-4460 黑胡椒 是 香料 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4459-4459 豆蔻果实 是 香料 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4462-4462 肉桂 是 香料 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4456-4456 丁香 是 香料 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4463-4463 生姜 是 香料 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4458-4458 锤 是 香料 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4457-4457 肉豆蔻 是 香料 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4461-4461 辣椒 是 香料 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3520-3520 Turmeric 是 香料 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4455-4455 香草 是 香料 的 subclass
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