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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthAsianAssociationForRegionalCooperation

Sigma KEE - SouthAsianAssociationForRegionalCooperation
SouthAsianAssociationForRegionalCooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3834-3834 dateEstablished SouthAsianAssociationForRegionalCooperation and o dia 8
No TPTP formula. May not be expressible in strict first order. Government.kif 3831-3831 SouthAsianAssociationForRegionalCooperation e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 3837-3837 organizationalObjective SouthAsianAssociationForRegionalCooperation and CulturalCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 3835-3835 organizationalObjective SouthAsianAssociationForRegionalCooperation and EconomicCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 3836-3836 organizationalObjective SouthAsianAssociationForRegionalCooperation and SocialCooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3833-3833 abbreviation "SAARC" and SouthAsianAssociationForRegionalCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 3832-3832 conventionalLongName "South Asian Association for Regional Cooperation" and SouthAsianAssociationForRegionalCooperation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54072-54072
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54071-54071
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54070-54070


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