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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 54804-54804
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54803-54803
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54802-54802


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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