Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  ISO-3166-1-alpha-2

Sigma KEE - ISO-3166-1-alpha-2
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ISO-3166-1-alpha-2
This GeographicCodeMap states correspondences between two-letter alphabetic tokens defined in the ISO 3166-1 alpha-2 standard, and constants defined in SUMO. Note that for most of the alphabetic tokens, the accompanying ISO 3166-1 numeric standard defines a corresponding three-digit numeric token with the same meaning.
Relationships      
Instances抽象体这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。
 分类方案A ClassificationScheme is a conceptual structure, an abstract arrangement of concepts and the relations that link them.
 CodeMapAn instance of CodeMap is a ClassificationScheme that specifies correspondences (typically, one to one or one to many) between members of a set of tokens (typically, short alphanumeric SymbolicStrings) and other entities. In most cases, the other entities will be terms (logical constants) that denote SUMO concepts.
 实体The universal class of individuals. This is the root node of the ontology.
 GeographicCodeMapAn instance of GeographicCodeMap is a CodeMap that specifies correspondences (typically, one to one or one to many) between members of a set of tokens that identifiy geographic areas, and SUMO terms.
 命题PropositionAbstract 实体, 它表达一个完整 的意思或是一套想法。例如:公式 '(instance Yojo Cat)' 表达 Proposition 为那个叫佑舟的实体是猫 Class 的一个元素。注:命题限于由 Language 的个别句子所表达的内容,这可以包括由理论、书本和甚至整个 图书馆所表达的内容。千万要区别 Proposition 和表达命题的 ContentBearingObjectProposition 实一个信息,例如说猫在地毯上;但是 ContentBearingObject 是一个表达该信息的 ObjectProposition 可以有多个描述的抽象概念:字符串、声音和图标等。例如:猫在地毯上这个 Proposition 在这里是以显示器上或者是打印在纸上的一串图形字符来表示,但是它也可以由一系列的声音或者是某些 非拉丁字母或是某些加密形式来表示。
Belongs to Class 实体


Show full definition (without tree view)
Show full 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