TreeView Knowledge Base Browser - Sol

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sol

Sigma KEE - Sol

Sol

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 est une instance de Star

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3407-3407	orbits PlanetEarth and Sol
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3415-3415	orbits PlanetJupiter and Sol
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3413-3413	orbits PlanetMars and Sol
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3409-3409	orbits PlanetMercury and Sol
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3419-3419	orbits PlanetNeptune and Sol
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3423-3423	orbits PlanetPluto and Sol
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3417-3417	orbits PlanetSaturn and Sol
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3421-3421	orbits PlanetUranus and Sol
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3411-3411	orbits PlanetVenus and Sol
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	Processus est une instance de Sunburn AutonomousAgent exp�rimente processus processus processusKIN processus est une instance de endommager Sol est un instrument pour processus processusKIN est une instance de Skin processusKIN est une partie de AutonomousAgent processusKIN est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11023-11033	Processus est une instance de Tanning AutonomousAgent exp�rimente processus processus processusKIN processus est une instance de RadiatingUltraviolet Sol est un instrument pour processus processusKIN est une instance de Skin processusKIN est une partie de AutonomousAgent processusKIN est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3358-3360	Processus est une instance de Sunlight processus a pour origine Sol

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