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 盐湖 是 内陆水域 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5086-5086 盐湖 是 盐水区 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5094-5094 咸海 是 盐湖 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5092-5092 里海 是 盐湖 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5099-5099 死海 是 盐湖 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5096-5096 大盐湖 是 盐湖 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5107-5107 Koko nor 是 盐湖 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5110-5110 巴赫特甘湖 是 盐湖 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5104-5104 艾尔湖 是 盐湖 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5114-5114 湖mareotis 是 盐湖 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5119-5119 托伦斯湖 是 盐湖 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5117-5117 湖边的行人 是 盐湖 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5112-5112 波波湖 是 盐湖 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5101-5101 萨尔顿海 是 盐湖 的 instance
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