TreeView Knowledge Base Browser - Hydrocarbon

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 8583-8584
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 8582-8582	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 9194-9194	Plastic e' uma sub-classe de Hydrocarbon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9181-9181	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 8586-8592	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 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