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

Formal Language: 



KB Term:  Term intersection
English Word: 

  aimOfOrganization

Sigma KEE - aimOfOrganization
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
s__domain(s__aimOfOrganization__m,n__1,s__Organization)

Government.kif 2571-2571 The number 1 argument of aim of organization is an instance of organization
s__domain(s__aimOfOrganization__m,n__2,s__SymbolicString)

Government.kif 2572-2572 The number 2 argument of aim of organization is an instance of symbolic string
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__aimOfOrganization__m,s__BinaryPredicate)

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
s__termFormat(s__ChineseLanguage,s__aimOfOrganization__m,'"组织的目标"')

domainEnglishFormat.kif 6075-6075
s__termFormat(s__ChineseTraditionalLanguage,s__aimOfOrganization__m,'"組織的目標"')

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