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 2796-2796 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 2791-2791 Arab league is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2797-2797 Economic cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2800-2800 Military cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2799-2799 Political cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2798-2798 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 2794-2794 "AL" is an abbreviation of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2795-2795 "LAS" is an abbreviation of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2792-2792 Arab league is a conventional long name of "Arab League"
No TPTP formula. May not be expressible in strict first order. Government.kif 2793-2793 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 8133-8133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8132-8132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8131-8131


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