TreeView Knowledge Base Browser

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 10992-10993
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 10990-10990	Cooling is a subclass of decreasing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10949-10949	Heating is disjoint from cooling
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2000-2000	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 10995-11008	If a process is an instance of cooling and an entity is a patient of the process, then there exist another entity, a real number and another real number such that the other entity is an instance of temperature measure and the entity the other entity(s) is equal to the real number holds during the beginning of the time of existence of the process and the entity the other entity(s) is equal to the other real number holds during the end of the time of existence of the process and the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2165-2173	If an object is an instance of air cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that the other object is an instance of air and the object transferred in the transfer is the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2149-2157	If an object is an instance of water cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that liquid is an attribute of the other object and the object transferred in the transfer is the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2125-2137	If an object is an instance of engine cooling system and another object is an instance of engine and a third object is an instance of automobile and the object is a part of the third object and the other object is a part of the third object, then the object has the purpose there exists an entity such that the entity is an instance of cooling and the object is an instrument for the entity and the other object is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1992-1998	If a physical is an instance of air conditioning compressor, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2036-2042	If a physical is an instance of air conditioning condenser, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2060-2066	If a physical is an instance of air conditioning evaporator, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14018-14023	If a process is an instance of condensing, then there exists another process such that the other process is an instance of cooling and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2278-2284	If a physical is an instance of cooling device, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2735-2746	If a physical is an instance of engine fan, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of automobile and the entity is an instance of cooling and the other entity is an instance of internal combustion engine and the other entity is a part of the third entity and the physical is a part of the third entity and the physical is an instrument for the entity and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14039-14044	If a process is an instance of freezing, then there exists another process such that the other process is an instance of cooling and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2183-2189	If a physical is an instance of radiator, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity

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

KB Term:			Term intersection

English Word: