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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganizationOfEasternCaribbeanStates
OrganizationOfEasternCaribbeanStates(organization of eastern caribbean states)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3771-3771 The day 18 is a date established of organization of eastern caribbean states
No TPTP formula. May not be expressible in strict first order. Government.kif 3768-3768 Organization of eastern caribbean states is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3773-3773 Economic cooperation is an organizational objective of organization of eastern caribbean states
No TPTP formula. May not be expressible in strict first order. Government.kif 3774-3774 Military cooperation is an organizational objective of organization of eastern caribbean states
No TPTP formula. May not be expressible in strict first order. Government.kif 3772-3772 Political cooperation is an organizational objective of organization of eastern caribbean states

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3770-3770 "OECS" is an abbreviation of organization of eastern caribbean states
No TPTP formula. May not be expressible in strict first order. Government.kif 3769-3769 Organization of eastern caribbean states is a conventional long name of "Organization of Eastern Caribbean States"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42540-42540
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42539-42539
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42538-42538


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