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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ParacelIslands

 Sigma KEE - ParacelIslands
ParacelIslands(西沙群島)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3717-3717 中國 是 西沙群島 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3718-3718 台灣 是 西沙群島 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3719-3719 越南 是 西沙群島 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. pictureList.kif 655-655
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 618-618 西沙群島 是 東南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4235-4235 例 西沙群島 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 595-595 例 西沙群島 and LandArea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4183-4183 名 "Paracel Islands" and 西沙群島
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44364-44364
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44363-44363
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44362-44362


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