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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2764-2764 The day 22 is a date established of arab league
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6124-6124
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. pictureList.kif 6123-6123
No TPTP formula. May not be expressible in strict first order. Government.kif 2759-2759 Arab league is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2765-2765 Economic cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2768-2768 Military cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2767-2767 Political cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2766-2766 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 2762-2762 "AL" is an abbreviation of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2763-2763 "LAS" is an abbreviation of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2760-2760 Arab league is a conventional long name of "Arab League"
No TPTP formula. May not be expressible in strict first order. Government.kif 2761-2761 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 8135-8135
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8134-8134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8133-8133


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