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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MarineLifeConservationConvention

Sigma KEE - MarineLifeConservationConvention
MarineLifeConservationConvention(marine life conservation convention)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3267-3267 Marine life conservation convention is an instance of agreement

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3269-3270 Marine life conservation convention is a conventional long name of "Convention on Fishing and Conservation of Living Resources of the High Seas"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3272-3272 Marine life conservation convention is a conventional short name of "Marine Life Conservation"
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