AlcoholicBeverage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AlcoholicBeverage

AlcoholicBeverage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10906-10906
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31417-31417	roomTempState AlcoholicBeverage and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10904-10904	AlcoholicBeverage e' uma sub-classe de Bebida
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10905-10905	AlcoholicBeverage e' uma sub-classe de Depressant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10933-10933	Beer e' uma sub-classe de AlcoholicBeverage
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10919-10919	DistilledAlcoholicBeverage e' uma sub-classe de AlcoholicBeverage
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3474-3474	Sake e' uma sub-classe de AlcoholicBeverage
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10915-10915	Wine e' uma sub-classe de AlcoholicBeverage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6426-6426
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6425-6425
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6424-6424

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 10908-10913

Objeto e' uma instancia de AlcoholicBeverage
Objeto Objeto e' uma instancia de Ethanol Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 219-223	Catalog e' uma instancia de AlcoholMenu catalogItem Entidade and Catalog Entidade e' uma sub-classe de AlcoholicBeverage
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26876-26883	Bartender e' um atributo de AutonomousAgent Processo Entidade Processo e' uma instancia de Serving Entidade e' uma instancia de AlcoholicBeverage Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8672-8683	Drunk e' um atributo de Entidade vale durante Posicao Temporal Posicao Temporal Posicao Temporal e' uma &parte de antes de Posicao Temporal Entidade Entidade Entidade e' uma instancia de Beber Entidade e' um patient de Entidade Entidade e' uma instancia de AlcoholicBeverage Entidade e' um agente de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7682-7690	AutonomousAgent e' uma instancia de Tavern Processo Entidade Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo Entidade e' uma instancia de AlcoholicBeverage

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