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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - aimOfOrganization

appearance as argument number 1

s__documentation(s__aimOfOrganization__m,s__EnglishLanguage,'"(aimOfOrganization ?GROUP ?DESCRIPTION) means that the Organization ?GROUP has the purpose ?DESCRIPTION, formulated as a quoted text."')

Government.kif 2574-2576

Government.kif 2571-2571 The number 1 argument of aim of organization is an instance of organization

Government.kif 2572-2572 The number 2 argument of aim of organization is an instance of symbolic string


Government.kif 2570-2570 aim of organization is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__aimOfOrganization__m,'"%2 %n 是 %1 组织 的 aim"')

domainEnglishFormat.kif 116-116
s__format(s__ChineseTraditionalLanguage,s__aimOfOrganization__m,'"%2 %n 是 %1 組織 的 aim "')

domainEnglishFormat.kif 115-115
s__format(s__EnglishLanguage,s__aimOfOrganization__m,'"%2 is %n an aim of organization of %1"')

domainEnglishFormat.kif 114-114

domainEnglishFormat.kif 6075-6075

domainEnglishFormat.kif 6074-6074
s__termFormat(s__EnglishLanguage,s__aimOfOrganization__m,'"aim of organization"')

domainEnglishFormat.kif 6073-6073

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