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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - EnvironmentalCooperation
EnvironmentalCooperation(environmental cooperation)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2625-2625 Environmental cooperation is a subattribute of energy and the environment

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3631-3631 Environmental cooperation is an organizational objective of nordic council
No TPTP formula. May not be expressible in strict first order. Government.kif 3896-3896 Environmental cooperation is an organizational objective of united nations environment program
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22252-22252 Environmental cooperation is an organizational objective of united nations environment program
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22251-22251 Environmental cooperation is an organizational objective of united nations environment program
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22250-22250 Environmental cooperation is an organizational objective of united nations environment program


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