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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DistilledAlcoholicBeverage

 Sigma KEE - DistilledAlcoholicBeverage
DistilledAlcoholicBeverage(蒸馏酒精饮料)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10921-10923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31424-31424 roomTempState 蒸馏酒精饮料 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10920-10920 蒸馏酒精饮料 是 酒精饮料 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2093-2093 Aperitif 是 蒸馏酒精饮料 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3635-3635 白兰地 是 蒸馏酒精饮料 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2643-2643 Liqueur 是 蒸馏酒精饮料 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3338-3338 Rum 是 蒸馏酒精饮料 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3494-3494 Tequila 是 蒸馏酒精饮料 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3584-3584 Vodka 是 蒸馏酒精饮料 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3606-3606 威士忌酒 是 蒸馏酒精饮料 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19944-19944
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19943-19943
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19942-19942

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10925-10932


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