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 DistilledAlcoholicBeverage and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10920-10920 DistilledAlcoholicBeverage est une sous-classe de AlcoholicBeverage

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2093-2093 Aperitif est une sous-classe de DistilledAlcoholicBeverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3635-3635 Brandy est une sous-classe de DistilledAlcoholicBeverage
No TPTP formula. May not be expressible in strict first order. Food.kif 2643-2643 Liqueur est une sous-classe de DistilledAlcoholicBeverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3338-3338 Rum est une sous-classe de DistilledAlcoholicBeverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3494-3494 Tequila est une sous-classe de DistilledAlcoholicBeverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3584-3584 Vodka est une sous-classe de DistilledAlcoholicBeverage
No TPTP formula. May not be expressible in strict first order. Food.kif 3606-3606 Whiskey est une sous-classe de DistilledAlcoholicBeverage
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