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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SaltLake

 Sigma KEE - SaltLake
SaltLake

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 SaltLake est une sous-classe de LandlockedWater
No TPTP formula. May not be expressible in strict first order. Geography.kif 5086-5086 SaltLake est une sous-classe de plan d'eau sal�

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5094-5094 AralSea est une instance de SaltLake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5092-5092 CaspianSea est une instance de SaltLake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5099-5099 DeadSea est une instance de SaltLake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5096-5096 GreatSaltLake est une instance de SaltLake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5107-5107 KokoNor est une instance de SaltLake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5110-5110 LakeBakhtegan est une instance de SaltLake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5104-5104 LakeEyre est une instance de SaltLake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5114-5114 LakeMareotis est une instance de SaltLake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5119-5119 LakeTorrens est une instance de SaltLake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5117-5117 LakeWalker est une instance de SaltLake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5112-5112 PoopoLake est une instance de SaltLake
No TPTP formula. May not be expressible in strict first order. Geography.kif 5101-5101 SaltonSea est une instance de SaltLake
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 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