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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Spice

 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 Spice est une sous-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4359-4359 Spice est une sous-classe de PreparedFood

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4460-4460 BlackPepper est une sous-classe de Spice
No TPTP formula. May not be expressible in strict first order. Economy.kif 4459-4459 Cardamom est une sous-classe de Spice
No TPTP formula. May not be expressible in strict first order. Economy.kif 4462-4462 Cinnamon est une sous-classe de Spice
No TPTP formula. May not be expressible in strict first order. Economy.kif 4456-4456 Clove est une sous-classe de Spice
No TPTP formula. May not be expressible in strict first order. Economy.kif 4463-4463 Ginger est une sous-classe de Spice
No TPTP formula. May not be expressible in strict first order. Economy.kif 4458-4458 Mace est une sous-classe de Spice
No TPTP formula. May not be expressible in strict first order. Economy.kif 4457-4457 Nutmeg est une sous-classe de Spice
No TPTP formula. May not be expressible in strict first order. Economy.kif 4461-4461 SpicePepper est une sous-classe de Spice
No TPTP formula. May not be expressible in strict first order. Food.kif 3520-3520 Turmeric est une sous-classe de Spice
No TPTP formula. May not be expressible in strict first order. Economy.kif 4455-4455 Vanilla est une sous-classe de Spice
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 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