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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CellMembraneInternal

 Sigma KEE - DistilledAlcoholicBeverage
DistilledAlcoholicBeverage

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10948-10950
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31456-31456 roomTempState DistilledAlcoholicBeverage and Liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10947-10947 DistilledAlcoholicBeverage e' uma sub-classe de AlcoholicBeverage

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


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


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