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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3498-3498 The month June is a date established of international hydrographic organization
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7118-7118
No TPTP formula. May not be expressible in strict first order. Government.kif 3500-3500 International hydrographic organization is interested in world ocean
No TPTP formula. May not be expressible in strict first order. Government.kif 3494-3494 International hydrographic organization is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3499-3499 Information standards is an organizational objective of international hydrographic organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3499-3499 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 3496-3496 "IHO" is an abbreviation of international hydrographic organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3495-3495 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 3497-3497 "International Hydrographic Bureau" is a former name for international hydrographic organization
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30601-30601
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30600-30600
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30599-30599


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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