Hydrocarbon - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Hydrocarbon

Hydrocarbon

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8611-8612
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4732-4732
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8610-8610	Hydrocarbon e' uma sub-classe de OrganicCompound

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9222-9222	Plastic e' uma sub-classe de Hydrocarbon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9209-9209	Rubber e' uma sub-classe de Hydrocarbon
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29019-29019
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29018-29018
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29017-29017

antecedent

No TPTP formula. May not be expressible in strict first order.	naics.kif 3036-3045	Objeto e' uma instancia de Hydrocarbon Objeto e' uma instancia de Molecula Objeto Objeto Objeto e' uma instancia de Hydrogen Objeto e' uma instancia de Carbon Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8614-8620	Objeto e' uma instancia de Hydrocarbon Objeto Objeto Objeto e' igual a a uniao das partes de Objeto e Objeto Objeto e' uma instancia de Carbon Objeto e' uma instancia de Hydrogen

consequent

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

naics.kif 3053-3069

Colecao e' uma instancia de Organizacao PetroleumAndCoalProductsManufacturing e' um atributo de Colecao
AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Hydrocarbon Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2

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