Simple Browser
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
IACOAirlineCode
Sigma KEE - IACOAirlineCode
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
IACOAirlineCode
The 3-character tag given to an
Airline
by the
InternationalCivilAviationOrganization
to represent that
Airline
at any
Airport
Relationships
Instances
抽象的な
物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。
ClassificationScheme
A
ClassificationScheme
is a conceptual structure, an abstract arrangement of concepts and the relations that link them.
CodeMap
An
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
SymbolicString
s) and other entities. In most cases, the other entities will be terms (logical constants) that denote SUMO concepts.
エンティティー
個々の普遍集合。 これがオントロジーのノードのルートで ある。
命題
Proposition
は、完全な思考またはそのような 考えのセットを表現する
Abstract
エンティティである。例として、数式 '(インスタンスヨージョキャット)' は、
Proposition
を表し、ヨージョという名前のエンティティが猫の
Class
の要素である 。 注: 提案は、個々の
Language
の文章により表現されたコンテンツに限定されない。 それらは理論、書籍、 さらには図書館全体によって表現される内容を包含するかもしれない。
Proposition
と
ContentBearingObject
を区別することが重要である。
Proposition
は、猫がマット上にあるなど、 情報の一部だが、
ContentBearingObject
はこの情報を表す
Object
である。
Proposition
は、 文字列、サウンド、アイコンなど、複数の表現を持つ抽象化である。 例:猫がマットの上にある
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