Browsing Interface
: 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:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
uniqueIdentifier
Sigma KEE - uniqueIdentifier
uniqueIdentifier
appearance as argument number 1
(
documentation
uniqueIdentifier
ChineseLanguage
"这是专门识别
Entity
的一个实例的
names
类别,
uniqueIdentifier
的一些例子包括数据库应用程序数据库表的索引,和ISBN(国际标准书号)。")
chinese_format.kif 2162-2163
(
documentation
uniqueIdentifier
EnglishLanguage
"The class of
names
that uniquely identify an instance of
Entity
. Some examples of
uniqueIdentifier
s are the keys of tables in database applications and the ISBN (International Standard Book Number).")
Merge.kif 4443-4446
(
documentation
uniqueIdentifier
JapaneseLanguage
"
Entity
のインスタンスを一意に識別する
name
のクラス。
uniqueIdentifier
の例としては、データベース アプリケーションのテーブルのキー と ISBN (国際標準書籍番号) がある。")
japanese_format.kif 820-822
(
instance
uniqueIdentifier
BinaryPredicate
)
Merge.kif 4439-4439
uniqueIdentifier
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
uniqueIdentifier
PartialValuedRelation
)
Merge.kif 4441-4441
uniqueIdentifier
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
uniqueIdentifier
SingleValuedRelation
)
Merge.kif 4440-4440
uniqueIdentifier
ist ein
fall
von
SingleValuedRelation
%n{nicht}
(
subrelation
uniqueIdentifier
names
)
Merge.kif 4438-4438
uniqueIdentifier
ist eine
teilrelation
von
names
appearance as argument number 2
(
format
ChineseLanguage
uniqueIdentifier
"%1 的唯一识别符号 %n 是 %2")
chinese_format.kif 340-340
(
format
EnglishLanguage
uniqueIdentifier
"the unique identifier of %1 is %n %2")
english_format.kif 344-344
(
format
FrenchLanguage
uniqueIdentifier
"l' unique identifier de %1 est %n %2")
french_format.kif 192-192
(
format
ItalianLanguage
uniqueIdentifier
"l' identificatore unico di %1 è %2")
relations-it.txt 307-307
(
format
JapaneseLanguage
uniqueIdentifier
"%1 の unique の識別子は %2 では %n")
japanese_format.kif 2012-2012
(
format
PortugueseLanguage
uniqueIdentifier
"o identificador unico de %1 e' %n %2")
portuguese_format.kif 144-144
(
format
de
uniqueIdentifier
"der einzigartige bezeichner von %1 ist %2")
relations-de.txt 448-448
(
format
hi
uniqueIdentifier
"%1 kaa ekamaatra abhignyana %2 hai")
relations-hindi.txt 343-343
(
format
ro
uniqueIdentifier
"identificatorul unique%t{unic} al lui %1 %n{nu} este %2")
relations-ro.kif 212-212
(
format
sv
uniqueIdentifier
"den unika identifieraren för %1 är %n{inte} %2")
relations-sv.txt 203-203
(
format
tg
uniqueIdentifier
"ang pagila kakaiba ng %1 %n ay %2")
relations-tg.txt 499-499
(
termFormat
ChineseLanguage
uniqueIdentifier
"唯一识别符号")
chinese_format.kif 341-341
(
termFormat
ChineseLanguage
uniqueIdentifier
"独特标识符")
domainEnglishFormat.kif 60028-60028
(
termFormat
ChineseTraditionalLanguage
uniqueIdentifier
"獨特標識符")
domainEnglishFormat.kif 60027-60027
(
termFormat
EnglishLanguage
uniqueIdentifier
"unique identifier")
domainEnglishFormat.kif 60026-60026
consequent
(=>
(
instance
?INVOICE
Invoice
)
(
exists
(?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?INVOICE)
(
buys
?BUYER ?SELLER ?ENT)
(
confersRight
(
exists
(?SELLING)
(
and
(
before
(
BeginFn
(
WhenFn
?INVOICE))
(
BeginFn
(
WhenFn
?SELLING)))
(
instance
?SELLING
Selling
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?SELLING ?PRODUCT)
(
refers
?INVOICE ?PRODUCT)
(
agent
?SELLING ?SELLER)
(
patient
?SELLING ?BUYER))) ?SELLER ?BUYER))))
Mid-level-ontology.kif 29892-29912
Wenn
Entity
ist ein
fall
von
Invoice
%n{nicht},
dann es gibt
SymbolicString
,
CognitiveAgent
,, ,
AutonomousAgent
,, ,
** Entity
, and und
** entity
um der
einzigartige
bezeichner von
** SymbolicString
ist
** Entity
und
buys
** CognitiveAgent
,
** AutonomousAgent
and
** ** Entity
und
** AutonomousAgent
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
** entity
um der
anfang
von die
zeit
des Bestehens von
** Entity
geschieht
vor
der
anfang
von die
zeit
des Bestehens von
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist ein
fall
von
Product
%n{nicht} und
objectTransferred
** ** entity
and
** ** entity
und
** Entity
umfasst einen
hinweis
auf
** ** entity
und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?PO)
(
buys
?BUYER ?SELLER ?PRODUCT)
(
confersObligation
(
exists
(?BUYING)
(
and
(
before
(
BeginFn
(
WhenFn
?PO))
(
BeginFn
(
WhenFn
?BUYING)))
(
instance
?BUYING
Buying
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?BUYING ?PRODUCT)
(
refers
?PO ?PRODUCT)
(
agent
?BUYING ?BUYER)
(
patient
?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 29919-29939
Wenn
Entity
ist ein
fall
von
PurchaseOrder
%n{nicht},
dann es gibt
SymbolicString
,
CognitiveAgent
,, ,
** CognitiveAgent
, and und
** Entity
um der
einzigartige
bezeichner von
** SymbolicString
ist
** Entity
und
buys
** CognitiveAgent
,
** ** CognitiveAgent
and
** ** Entity
und
** CognitiveAgent
zwingt
** ** CognitiveAgent
, die Aufgabe der Art von es gibt
** entity
um der
anfang
von die
zeit
des Bestehens von
** Entity
geschieht
vor
der
anfang
von die
zeit
des Bestehens von
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Buying
%n{nicht} und
** ** Entity
ist ein
fall
von
Product
%n{nicht} und
objectTransferred
** ** entity
and
** ** Entity
und
** Entity
umfasst einen
hinweis
auf
** ** Entity
und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** CognitiveAgent
ist ein
patient
von
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
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