| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2718-2718 | Cultural cooperation is a subattribute of social cooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2844-2844 | Cultural cooperation is an organizational objective of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2872-2872 | Cultural cooperation is an organizational objective of association of southeast asian nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3028-3028 | Cultural cooperation is an organizational objective of council of europe |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3040-3040 | Cultural cooperation is an organizational objective of council of the baltic sea states |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3149-3149 | Cultural cooperation is an organizational objective of economic cooperation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3669-3669 | Cultural cooperation is an organizational objective of nordic council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3745-3745 | Cultural cooperation is an organizational objective of organization of african unity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3788-3788 | Cultural cooperation is an organizational objective of organization of the islamic conference |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3837-3837 | Cultural cooperation is an organizational objective of south asian association for regional cooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3877-3877 | Cultural cooperation is an organizational objective of united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3928-3928 | Cultural cooperation is an organizational objective of united nations educational scientific and cultural organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2719-2719 | Organize olympic games is a subattribute of cultural cooperation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18012-18012 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18011-18011 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18010-18010 |
|
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