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 3355-3356
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 3354-3354	Sol is an instance of star

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3407-3407	Sol is an orbits of planet earth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3415-3415	Sol is an orbits of planet jupiter
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3413-3413	Sol is an orbits of planet mars
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3409-3409	Sol is an orbits of planet mercury
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3419-3419	Sol is an orbits of planet neptune
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3423-3423	Sol is an orbits of planet pluto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3417-3417	Sol is an orbits of planet saturn
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3421-3421	Sol is an orbits of planet uranus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3411-3411	Sol is an orbits of planet venus
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53828-53828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53827-53827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53826-53826

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11005-11015	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 11023-11033	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 3358-3360	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