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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GiloIsrael

 Sigma KEE - GiloIsrael
GiloIsrael(吉洛以色列)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1745-1745
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3324-3324
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2872-2872 吉洛以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1744-1744 例 吉洛以色列 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2873-2873 名 "Gilo" and 吉洛以色列
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26052-26052
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26051-26051
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26050-26050


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