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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuroAtlanticPartnershipCouncil
EuroAtlanticPartnershipCouncil(euro atlantic partnership council)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3157-3157 The day 8 is a date established of euro atlantic partnership council
No TPTP formula. May not be expressible in strict first order. Government.kif 3153-3153 Euro atlantic partnership council is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3160-3160 Conventional arms control is an organizational objective of euro atlantic partnership council
No TPTP formula. May not be expressible in strict first order. Government.kif 3159-3159 Military cooperation is an organizational objective of euro atlantic partnership council
No TPTP formula. May not be expressible in strict first order. Government.kif 3158-3158 Political cooperation is an organizational objective of euro atlantic partnership council

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3155-3155 "EAPC" is an abbreviation of euro atlantic partnership council
No TPTP formula. May not be expressible in strict first order. Government.kif 3154-3154 Euro atlantic partnership council is a conventional long name of "Euro-Atlantic Partnership Council"
No TPTP formula. May not be expressible in strict first order. Government.kif 3156-3156 "North Atlantic Cooperation Council" is a former name for euro atlantic partnership council
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22492-22492
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22491-22491
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22490-22490


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