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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganizationForSecurityAndCooperationInEurope
OrganizationForSecurityAndCooperationInEurope(organization for security and cooperation in europe)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3714-3714 The day 1 is a date established of organization for security and cooperation in europe
No TPTP formula. May not be expressible in strict first order. Government.kif 3716-3719
No TPTP formula. May not be expressible in strict first order. Government.kif 3709-3709 Organization for security and cooperation in europe is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3723-3723 Conventional arms control is an organizational objective of organization for security and cooperation in europe
No TPTP formula. May not be expressible in strict first order. Government.kif 3721-3721 Human rights issues is an organizational objective of organization for security and cooperation in europe
No TPTP formula. May not be expressible in strict first order. Government.kif 3722-3722 Promote regional stability is an organizational objective of organization for security and cooperation in europe

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3711-3711 "OSCE" is an abbreviation of organization for security and cooperation in europe
No TPTP formula. May not be expressible in strict first order. Government.kif 3710-3710 Organization for security and cooperation in europe is a conventional long name of "Organization for Security and Cooperation in Europe"
No TPTP formula. May not be expressible in strict first order. Government.kif 3713-3713 "CSCE" is a former name for organization for security and cooperation in europe
No TPTP formula. May not be expressible in strict first order. Government.kif 3712-3712 "Conference on Security and Cooperation in Europe" is a former name for organization for security and cooperation in europe
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42510-42510
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42509-42509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42508-42508


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