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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JeninWestBank

 Sigma KEE - JeninWestBank
JeninWestBank(詹寧西岸)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1835-1835
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5017-5017
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2976-2976 詹寧西岸 是 西方銀行 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1834-1834 例 詹寧西岸 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2977-2977 名 "Jenin" and 詹寧西岸
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31543-31543
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31542-31542
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31541-31541


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