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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cooling
Cooling(cooling)
more pictures...
air-conditioned, air-cooled, caller, chill, chilling, cool, cool_down, cooling, freeze, frigorific, heat_dissipation, ice, infrigidation, precooled, quench, refrigerant, refrigerate, refrigerated, refrigerating, refrigeration, temperature_reduction, water-cooled

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2989-2990
No TPTP formula. May not be expressible in strict first order. Merge.kif 10828-10829
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10761-10761
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10763-10763
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10774-10774
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10771-10771
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10769-10769
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10766-10766
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9971-9971
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10764-10764
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10765-10765
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10770-10770
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10772-10772
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10762-10762
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10767-10767
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10775-10775
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10768-10768
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10773-10773
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10760-10760
No TPTP formula. May not be expressible in strict first order. Merge.kif 10826-10826 Cooling is a subclass of decreasing

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10785-10785 Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order. Cars.kif 2017-2017 Vapor compression cycle is a subclass of cooling
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1112-1112
No TPTP formula. May not be expressible in strict first order. english_format.kif 1441-1441

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10831-10844
No TPTP formula. May not be expressible in strict first order. Cars.kif 2182-2190
No TPTP formula. May not be expressible in strict first order. Cars.kif 2166-2174

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 2142-2154
No TPTP formula. May not be expressible in strict first order. Cars.kif 2009-2015
No TPTP formula. May not be expressible in strict first order. Cars.kif 2053-2059
No TPTP formula. May not be expressible in strict first order. Cars.kif 2077-2083
No TPTP formula. May not be expressible in strict first order. Merge.kif 13718-13723
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2240-2246
No TPTP formula. May not be expressible in strict first order. Cars.kif 2752-2763
No TPTP formula. May not be expressible in strict first order. Merge.kif 13739-13744
No TPTP formula. May not be expressible in strict first order. Cars.kif 2200-2206


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