Antifreeze - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Antifreeze

Antifreeze(antifreeze)

antifreeze, propanediol, propylene_glycol

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1216-1217
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1214-1214	Antifreeze is a subclass of solution

appearance as argument number 2

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

Cars.kif 1215-1215

antecedent

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

Cars.kif 1219-1228

If an object is an instance of tap water and another object is an instance of mixture and the object is a part of the other object and a third object is an instance of antifreeze and the third object is a part of the other object and solid is an attribute of the other object and the measure of the other object is a real number celsius degree(s),
then 32 is greater than the real number

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