Sol - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Sol

Sol(sol)

Sun, solar, sun

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3343-3344
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 184-184
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3342-3342	Sol is an instance of star

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3395-3395	Sol is an orbits of planet earth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3403-3403	Sol is an orbits of planet jupiter
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3401-3401	Sol is an orbits of planet mars
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3397-3397	Sol is an orbits of planet mercury
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3407-3407	Sol is an orbits of planet neptune
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3411-3411	Sol is an orbits of planet pluto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3405-3405	Sol is an orbits of planet saturn
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3409-3409	Sol is an orbits of planet uranus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3399-3399	Sol is an orbits of planet venus
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53861-53861	Sol is an orbits of planet venus
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53860-53860	Sol is an orbits of planet venus
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53859-53859	Sol is an orbits of planet venus

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11829-11839	If a process is an instance of sunburn and an agent experiences the process, then there exist another process and the processKIN such that the other process is an instance of damaging and sol is an instrument for the other process and the processKIN is an instance of skin and the processKIN is a part of the agent and the processKIN is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11847-11857	If a process is an instance of tanning and an agent experiences the process, then there exist another process and the processKIN such that the other process is an instance of radiating ultraviolet and sol is an instrument for the other process and the processKIN is an instance of skin and the processKIN is a part of the agent and the processKIN is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3346-3348	If a process is an instance of sunlight, then the process originates at sol

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