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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CouncilOfTheEntente

Sigma KEE - CouncilOfTheEntente
CouncilOfTheEntente

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3009-3009 dateEstablished CouncilOfTheEntente and le jour 29
No TPTP formula. May not be expressible in strict first order. Government.kif 3006-3006 CouncilOfTheEntente est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 3010-3010 organizationalObjective CouncilOfTheEntente and EconomicCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 3011-3011 organizationalObjective CouncilOfTheEntente and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 3012-3012 organizationalObjective CouncilOfTheEntente and SocialCooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3007-3007 conventionalLongName "Council of the Entente" and CouncilOfTheEntente
No TPTP formula. May not be expressible in strict first order. Government.kif 3008-3008 conventionalShortName "Entente" and CouncilOfTheEntente
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17544-17544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17543-17543
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17542-17542


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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