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:
Sigma KEE - NuclearTestBanTreaty
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
NuclearTestBanTreaty
Relationships
Instances
抽象的な
物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。
Agreement
Agreement
is the class of
Proposition
s that express the contents of agreements entered into by
CognitiveAgent
s.
Agreement
includes treaties, contracts, purchase orders, pledges, marriage vows, etc. An
Agreement
may be written down in a document or other
ContentBearingObject
, it can be verbal
Communication
, it can even be an implied agreement.
エンティティー
個々の普遍集合。 これがオントロジーのノードのルートで ある。
命題
Proposition
は、完全な思考またはそのような 考えのセットを表現する
Abstract
エンティティである。例として、数式 '(インスタンスヨージョキャット)' は、
Proposition
を表し、ヨージョという名前のエンティティが猫の
Class
の要素である 。 注: 提案は、個々の
Language
の文章により表現されたコンテンツに限定されない。 それらは理論、書籍、 さらには図書館全体によって表現される内容を包含するかもしれない。
Proposition
と
ContentBearingObject
を区別することが重要である。
Proposition
は、猫がマット上にあるなど、 情報の一部だが、
ContentBearingObject
はこの情報を表す
Object
である。
Proposition
は、 文字列、サウンド、アイコンなど、複数の表現を持つ抽象化である。 例:猫がマットの上にある
Proposition
が ここでは、モニターもしくは紙に印刷されて、グラフィカル文字の文字列として表示され るが、音、または非ラテン系のアルファベットまたは暗号形式によるシーケンスで表すことができる。
Belongs to Class
エンティティー
Show simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view)
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