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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpratlyIslands

 Sigma KEE - SpratlyIslands
SpratlyIslands(spratly islands)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3720-3720 China is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3721-3721 Taiwan is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3722-3722 Vietnam is a claimed territory of spratly islands
No TPTP formula. May not be expressible in strict first order. pictureList.kif 752-752
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 623-623 Spratly islands is a geographic subregion of southeastern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4236-4236 Spratly islands is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 596-596 Spratly islands is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4186-4186 Spratly islands has name "Spratly Islands"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54806-54806
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54805-54805
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54804-54804


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