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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommissionedOfficerRank

 Sigma KEE - SpratlyIslands
SpratlyIslands(南沙群島)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3720-3720 中國 是 南沙群島 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3721-3721 台灣 是 南沙群島 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3722-3722 越南 是 南沙群島 的 claimed 領土
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 南沙群島 是 東南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4236-4236 例 南沙群島 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 596-596 例 南沙群島 and LandArea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4186-4186 名 "Spratly Islands" and 南沙群島
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 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