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 2794-2794 The day 22 of month the month March is a date established of arab league
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6122-6122 The day 22 of month the month March is a date established of arab league
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6120-6120 The day 22 of month the month March is a date established of arab league
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6121-6121 The day 22 of month the month March is a date established of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2789-2789 Arab league is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2795-2795 Economic cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2798-2798 Military cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2797-2797 Political cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2796-2796 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 2792-2792 "AL" is an abbreviation of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2793-2793 "LAS" is an abbreviation of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2790-2790 Arab league is a conventional long name of "Arab League"
No TPTP formula. May not be expressible in strict first order. Government.kif 2791-2791 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 8125-8125 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 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 8123-8123 Arab league is a conventional long name of "League of Arab States"


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