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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArabLeague

Sigma KEE - ArabLeague
ArabLeague(arab league)
Arab_League

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2833-2833 The day 22 is a date established of arab league
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6123-6123
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6121-6121
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6122-6122
No TPTP formula. May not be expressible in strict first order. Government.kif 2828-2828 Arab league is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2834-2834 Economic cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2837-2837 Military cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2836-2836 Political cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2835-2835 Social cooperation is an organizational objective of arab league

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2831-2831 "AL" is an abbreviation of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2832-2832 "LAS" is an abbreviation of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2829-2829 Arab league is a conventional long name of "Arab League"
No TPTP formula. May not be expressible in strict first order. Government.kif 2830-2830 Arab league is a conventional long name of "League of Arab States"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8124-8124
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8123-8123
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8122-8122


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