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 10958-10959
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1749-1750
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10751-10751
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10753-10753
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 10761-10761
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10759-10759
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10756-10756
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9963-9963
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10754-10754
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10755-10755
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. pictureList.kif 10762-10762
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10752-10752
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10757-10757
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 10758-10758
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 10750-10750
No TPTP formula. May not be expressible in strict first order. Merge.kif 10956-10956 Cooling is a subclass of decreasing

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10915-10915 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 790-790
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 322-322
No TPTP formula. May not be expressible in strict first order. terms-it.txt 325-325
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2474-2474
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 742-742
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 327-327
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 361-361
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 811-811
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 326-326

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10961-10974
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 13972-13977
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2285-2291
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 13993-13998
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