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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MarineLifeConservationConvention

 Sigma KEE - MarineLifeConservationConvention
MarineLifeConservationConvention

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3267-3267 MarineLifeConservationConvention e' uma instancia de Agreement

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3269-3270 conventionalLongName "Convention on Fishing and Conservation of Living Resources of the High Seas" and MarineLifeConservationConvention
No TPTP formula. May not be expressible in strict first order. Geography.kif 3272-3272 conventionalShortName "Marine Life Conservation" and MarineLifeConservationConvention
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36173-36173
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36172-36172
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36171-36171


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