Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LiquidEngineCoolingSystem
LiquidEngineCoolingSystem(water cooling system)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 2158-2163
No TPTP formula. May not be expressible in strict first order. Cars.kif 2156-2156 Water cooling system is a subclass of engine cooling system

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 2157-2157
No TPTP formula. May not be expressible in strict first order. Cars.kif 2197-2197 A radiator is typically a part of a water cooling system
No TPTP formula. May not be expressible in strict first order. Cars.kif 2198-2198 A water cooling system typically has a part radiator
No TPTP formula. May not be expressible in strict first order. Cars.kif 2164-2164 A water cooling system typically has a part thermometer

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 2166-2174


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