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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalHydrographicOrganization

Sigma KEE - InternationalHydrographicOrganization
InternationalHydrographicOrganization(international hydrographic organization)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3535-3535 The month June is a date established of international hydrographic organization
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7116-7116
No TPTP formula. May not be expressible in strict first order. Government.kif 3537-3537 International hydrographic organization is interested in world ocean
No TPTP formula. May not be expressible in strict first order. Government.kif 3531-3531 International hydrographic organization is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3536-3536 Information standards is an organizational objective of international hydrographic organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3536-3536 Scientific cooperation is an organizational objective of international hydrographic organization

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3533-3533 "IHO" is an abbreviation of international hydrographic organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3532-3532 International hydrographic organization is a conventional long name of "International Hydrographic Organization"
No TPTP formula. May not be expressible in strict first order. Government.kif 3534-3534 "International Hydrographic Bureau" is a former name for international hydrographic organization
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30607-30607
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30606-30606
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30605-30605


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