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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MarSabaWestBank

 Sigma KEE - MarSabaWestBank
MarSabaWestBank(马萨巴西岸)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2019-2019
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3553-3553
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3348-3348
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3552-3552
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3194-3194 马萨巴西岸 是 西方银行 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2018-2018 马萨巴西岸 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3195-3195 马萨巴西岸 的名 是 "Mar Saba"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36329-36329
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36328-36328
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36327-36327


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