TreeView Knowledge Base Browser - Charcoal

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Charcoal

Charcoal

charcoal, wood_coal

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1671-1672
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1670-1670	Charcoal is a subclass of fuel

antecedent

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

Cars.kif 1674-1681

If an entity is an instance of Charcoal,
then there exist a class and an object such that the class is a subclass of combustion and the object is an instance of wood and the entity is a result of the class and the object is a resource for the class

consequent

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

Cars.kif 1688-1693

If a corpuscular object is an instance of charcoal filter,
then there exists a kind of substance such that a kind of substance is a subclass of Charcoal and the corpuscular object is made of the kind of substance

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