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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalMaritimeOrganization
InternationalMaritimeOrganization(international maritime organization)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3535-3535 The day 6 is a date established of international maritime organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3537-3539
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5634-5634
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5746-5746
No TPTP formula. May not be expressible in strict first order. Government.kif 3530-3530 International maritime organization is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3542-3542 International maritime affairs is an organizational objective of international maritime organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3093-3093 International maritime organization is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order. Government.kif 3541-3541 International maritime organization is a part of the organization united nations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3532-3532 "IMO" is an abbreviation of international maritime organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3531-3531 International maritime organization is a conventional long name of "International Maritime Organization"
No TPTP formula. May not be expressible in strict first order. Government.kif 3534-3534 "IMCO" is a former name for international maritime organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3533-3533 "Intergovernmental Maritime Consultative Organization" is a former name for international maritime organization
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30624-30624
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30623-30623
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30622-30622


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