Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 4351-4354
(
instance
uniqueIdentifier
BinaryPredicate
)
Merge.kif 4347-4347
unique identifier
is an
instance
of
binary predicate
(
instance
uniqueIdentifier
PartialValuedRelation
)
Merge.kif 4349-4349
unique identifier
is an
instance
of
partial valued relation
(
instance
uniqueIdentifier
SingleValuedRelation
)
Merge.kif 4348-4348
unique identifier
is an
instance
of
single valued relation
(
subrelation
uniqueIdentifier
names
)
Merge.kif 4346-4346
unique identifier
is a
subrelation
of
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
(
termFormat
ChineseLanguage
uniqueIdentifier
"唯一识别符号")
chinese_format.kif 341-341
(
termFormat
ChineseLanguage
uniqueIdentifier
"独特标识符")
domainEnglishFormat.kif 59993-59993
(
termFormat
ChineseTraditionalLanguage
uniqueIdentifier
"獨特標識符")
domainEnglishFormat.kif 59992-59992
(
termFormat
EnglishLanguage
uniqueIdentifier
"unique identifier")
domainEnglishFormat.kif 59991-59991
consequent
(=>
(
instance
?INVOICE
Invoice
)
(
exists
(?NUMBER ?BUYER ?SELLER ?ENT)
(
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 29256-29276
If
an entity
is an
instance
of
Invoice
,
then there exist
a symbolic string
,
a cognitive agent
,, ,
another cognitive agent
and
another entity
such that the
unique
identifier of
the symbolic string
is
the entity
and
the cognitive agent
buys
the other entity
from
the other cognitive agent
and
the other cognitive agent
allow
s
the cognitive agent
to perform task of the type there exists
a third entity
such that the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the third entity
and
the third entity
is an
instance
of
selling
and
a fourth entity
is an
instance
of
product
and the object transferred in
the third entity
is
the fourth entity
and
the entity
includes a
reference
to
the fourth entity
and
the other cognitive agent
is an
agent
of
the third entity
and
the cognitive agent
is a
patient
of
the third entity
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER)
(
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 29283-29303
If
an entity
is an
instance
of
PurchaseOrder
,
then there exist
a symbolic string
,
a cognitive agent
and
another cognitive agent
such that the
unique
identifier of
the symbolic string
is
the entity
and
the cognitive agent
buys
another entity
from
the other cognitive agent
and
the cognitive agent
obligate
s
the other cognitive agent
to perform task of the type there exists
a third entity
such that the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the third entity
and
the third entity
is an
instance
of
buying
and
the other entity
is an
instance
of
product
and the object transferred in
the third entity
is
the other entity
and
the entity
includes a
reference
to
the other entity
and
the cognitive agent
is an
agent
of
the third entity
and
the other cognitive agent
is a
patient
of
the third entity
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
