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(hydrocarbon)

aromatic_compound, aromatic_hydrocarbon, chlorobenzene, cymene, hydrocarbon, provitamin, pyrene

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 is a subclass of organic compound

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9194-9194	Plastic is a subclass of hydrocarbon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9181-9181	Rubber is a subclass of 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	If an object is an instance of hydrocarbon and the object is an instance of molecule, then there exist another object and a third object such that the other object is an instance of hydrogen and the third object is an instance of carbon and the other object is a part of the object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8586-8592	If an object is an instance of hydrocarbon, then there exist another object and a third object such that the object is equal to the union of the parts of the other object and the third object and the other object is an instance of carbon and the third object is an instance of hydrogen

consequent

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

naics.kif 3053-3069

If a collection is an instance of organization and petroleum and coal products manufacturing is an attribute of the collection,
then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of hydrocarbon and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2

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