TreeView Knowledge Base Browser - Sublimation

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Sublimation

Sublimation(sublimation)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7038-7039
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7034-7036
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7041-7041	Sublimation is a subclass of state change

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7043-7043	Deposition is internally related to sublimation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7047-7047
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7045-7045

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7068-7082	If a process is an instance of sublimation and an entity is a patient of the process and the measure of the entity is a real number joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another real number joule(s) holds during immediately after the time of existence of the process, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7049-7066	If a process is an instance of sublimation and an object is a patient of the process, then there exists another object such that the other object is a part of the object and solid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process and liquid is an attribute of the other object doesn't hold during the time of existence of the process

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