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 3045-3045 dateEstablished CouncilOfTheEntente and le jour 29
No TPTP formula. May not be expressible in strict first order. Government.kif 3042-3042 CouncilOfTheEntente est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 3046-3046 organizationalObjective CouncilOfTheEntente and EconomicCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 3047-3047 organizationalObjective CouncilOfTheEntente and PoliticalCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 3048-3048 organizationalObjective CouncilOfTheEntente and SocialCooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3043-3043 conventionalLongName "Council of the Entente" and CouncilOfTheEntente
No TPTP formula. May not be expressible in strict first order. Government.kif 3044-3044 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