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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CocoaButter

 Sigma KEE - CocoaButter
CocoaButter

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4690-4691
No TPTP formula. May not be expressible in strict first order. Food.kif 2490-2491
No TPTP formula. May not be expressible in strict first order. Economy.kif 4702-4704
No TPTP formula. May not be expressible in strict first order. Food.kif 2492-2492 initialPart CocoaButter and CocoaLiquor
No TPTP formula. May not be expressible in strict first order. Food.kif 2487-2487 roomTempState CocoaButter and Emulsion
No TPTP formula. May not be expressible in strict first order. Food.kif 2489-2489 roomTempState CocoaButter and Solid
No TPTP formula. May not be expressible in strict first order. Food.kif 2488-2488 CocoaButter e' uma sub-classe de Chocolate
No TPTP formula. May not be expressible in strict first order. Food.kif 2486-2486 CocoaButter e' uma sub-classe de VegetableOil

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4689-4689 CocoaBean e' relacionado internamente por SUMO a CocoaButter
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15456-15456
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15455-15455
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15454-15454

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2463-2478


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