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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LawOfTheSeaConvention

 Sigma KEE - LawOfTheSeaConvention
LawOfTheSeaConvention(海洋法公约)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3252-3252 海洋法公约 是 协议 的 instance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3257-3257 海洋法公约 是 "LOS" 的简称
No TPTP formula. May not be expressible in strict first order. Geography.kif 3254-3254 海洋法公约 是 "United Nations Convention on the Law of the Sea" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Geography.kif 3256-3256 海洋法公约 是 "Law of the Sea" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33569-33569
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33568-33568
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33567-33567


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