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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vodka

Sigma KEE - Vodka
Vodka

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3585-3586
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31471-31471 roomTempState Vodka and Liquid
No TPTP formula. May not be expressible in strict first order. Food.kif 3584-3584 Vodka e' uma sub-classe de DistilledAlcoholicBeverage

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2059-2059 Absolut e' uma sub-classe de Vodka
No TPTP formula. May not be expressible in strict first order. Food.kif 3478-3478 Stolichnoya e' uma sub-classe de Vodka
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65711-65711

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3595-3602
No TPTP formula. May not be expressible in strict first order. Food.kif 3588-3593


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