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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子類 蒸餾酒精飲料 and 酒精飲料

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2093-2093 子類 Aperitif and 蒸餾酒精飲料
No TPTP formula. May not be expressible in strict first order. Food.kif 3635-3635 子類 白蘭地 and 蒸餾酒精飲料
No TPTP formula. May not be expressible in strict first order. Food.kif 2643-2643 子類 Liqueur and 蒸餾酒精飲料
No TPTP formula. May not be expressible in strict first order. Food.kif 3338-3338 子類 Rum and 蒸餾酒精飲料
No TPTP formula. May not be expressible in strict first order. Food.kif 3494-3494 子類 Tequila and 蒸餾酒精飲料
No TPTP formula. May not be expressible in strict first order. Food.kif 3584-3584 子類 Vodka and 蒸餾酒精飲料
No TPTP formula. May not be expressible in strict first order. Food.kif 3606-3606 子類 威士忌酒 and 蒸餾酒精飲料
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 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