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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FitForMilitaryServiceMaleFn
  EuropeanUnion

 Sigma KEE - EuropeanUnion
EuropeanUnion(european union)
Common_Market, EC, EEC, EU, Europe, European_Community, European_Economic_Community, European_Union

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3218-3218 The day 7 is a date established of european union
No TPTP formula. May not be expressible in strict first order. pictureList.kif 419-419
No TPTP formula. May not be expressible in strict first order. Government.kif 3215-3215 European union is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3219-3219 Economic integration is an organizational objective of european union
No TPTP formula. May not be expressible in strict first order. Government.kif 3223-3223 Military cooperation is an organizational objective of european union
No TPTP formula. May not be expressible in strict first order. Government.kif 3220-3220 Monetary union is an organizational objective of european union
No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3221 Political cooperation is an organizational objective of european union
No TPTP formula. May not be expressible in strict first order. Government.kif 3222-3222 Social cooperation is an organizational objective of european union

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3217-3217 "EU" is an abbreviation of european union
No TPTP formula. May not be expressible in strict first order. Government.kif 3216-3216 European union is a conventional long name of "European Union"
No TPTP formula. May not be expressible in strict first order. Government.kif 3224-3224 European union is a successor organization of european community
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22600-22600
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22599-22599
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22598-22598


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