Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SaltLake
SaltLake(salt lake)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5088-5090
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4814-4814
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2623-2623
No TPTP formula. May not be expressible in strict first order. Geography.kif 5087-5087 Salt lake is a subclass of landlocked water
No TPTP formula. May not be expressible in strict first order. Geography.kif 5086-5086 Salt lake is a subclass of salt water area

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5094-5094 Aral sea is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5092-5092 Caspian sea is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5099-5099 Dead sea is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5096-5096 Great salt lake is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5107-5107 Koko nor is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5110-5110 Lake bakhtegan is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5104-5104 Lake eyre is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5114-5114 Lake mareotis is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5119-5119 Lake torrens is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5117-5117 Lake walker is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5112-5112 Poopo lake is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5101-5101 Salton sea is an instance of salt lake
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50997-50997
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50996-50996
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50995-50995


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