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
names
Sigma KEE - names
names
appearance as argument number 1
(
documentation
names
ChineseLanguage
"(
names
?STRING ?ENTITY) 的意思是 物体 ?ENTITY 的 名字是
SymbolicString
?STRING。注:
names
和
represents
是
refers
的两个直接的
subrelation
。 引用光是一个标签,而没有含义内容的东西时,用谓词
names
,有内容的东西时用谓词
represents
。 ")
chinese_format.kif 2158-2161
(
documentation
names
EnglishLanguage
"(
names
?STRING ?ENTITY) means that the thing ?ENTITY has the
SymbolicString
?STRING as its name. Note that
names
and
represents
are the two immediate
subrelation
s of
refers
. The predicate
names
is used when the referring item is merely a tag without connotative content, while the predicate
represents
is used for referring items that have such content.")
Merge.kif 4431-4435
(
documentation
names
JapaneseLanguage
"(
names
?STRING ?ENTITY) とは、?ENTITY が
SymbolicString
?STRING をその名前として持っていることを意味する。 注:
name
と
represents
は 2つの即時の
refers
の
subrelation
である。 述語
name
は、参照項目が単に内容を含まない タグである場合に使用され、述語
represents
はそのようなコンテンツを持つ項目を参照するために使用 される。")
japanese_format.kif 815-819
(
domain
names
1
SymbolicString
)
Merge.kif 4428-4428
names
の数値 1 引数は
記号文字列
の
instance
では %n
(
domain
names
2
Entity
)
Merge.kif 4429-4429
names
の数値 2 引数は
エンティティー
の
instance
では %n
(
instance
names
BinaryPredicate
)
Merge.kif 4427-4427
names
は
2進述語
の
instance
では %n
(
subrelation
names
refers
)
Merge.kif 4426-4426
names
は
refers
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
names
"%2 的名 %n 是 %1")
chinese_format.kif 309-309
(
format
EnglishLanguage
names
"%2 %n{doesn't have} %p{has}
name
%1")
english_format.kif 314-314
(
format
FrenchLanguage
names
"%2 %n{ne} s'appele %n{pas} nom %1")
french_format.kif 177-177
(
format
JapaneseLanguage
names
"%2 は %1 の
name
を %p{持って} %n{ない}")
japanese_format.kif 1997-1997
(
format
PortugueseLanguage
names
"%2 %n{nao} se chama %n nome %1")
portuguese_format.kif 129-129
(
format
ro
names
"%2 %n{nu} are
name
%t{numele} %1")
relations-ro.kif 197-197
(
subrelation
agentName
names
)
Media.kif 3424-3424
agentName
は
names
の
subrelation
では %n
(
subrelation
alias
names
)
Mid-level-ontology.kif 23213-23213
alias
は
names
の
subrelation
では %n
(
subrelation
conventionalLongName
names
)
Mid-level-ontology.kif 27205-27205
conventionalLongName
は
names
の
subrelation
では %n
(
subrelation
conventionalShortName
names
)
Mid-level-ontology.kif 27216-27216
conventionalShortName
は
names
の
subrelation
では %n
(
subrelation
familyName
names
)
Mid-level-ontology.kif 14724-14724
familyName
は
names
の
subrelation
では %n
(
subrelation
filename
names
)
QoSontology.kif 2205-2205
filename
は
names
の
subrelation
では %n
(
subrelation
formerName
names
)
Mid-level-ontology.kif 14717-14717
formerName
は
names
の
subrelation
では %n
(
subrelation
fullName
names
)
Media.kif 3290-3290
fullName
は
names
の
subrelation
では %n
(
subrelation
givenName
names
)
Mid-level-ontology.kif 14741-14741
givenName
は
names
の
subrelation
では %n
(
subrelation
localLongName
names
)
Mid-level-ontology.kif 14756-14756
localLongName
は
names
の
subrelation
では %n
(
subrelation
localShortName
names
)
Mid-level-ontology.kif 14761-14761
localShortName
は
names
の
subrelation
では %n
(
subrelation
middleName
names
)
Mid-level-ontology.kif 14737-14737
middleName
は
names
の
subrelation
では %n
(
subrelation
nameIndexOrder
names
)
Media.kif 3337-3337
nameIndexOrder
は
names
の
subrelation
では %n
(
subrelation
password
names
)
QoSontology.kif 2095-2095
password
は
names
の
subrelation
では %n
(
subrelation
titles
names
)
Mid-level-ontology.kif 14704-14704
titles
は
names
の
subrelation
では %n
(
subrelation
uniqueIdentifier
names
)
Merge.kif 4437-4437
uniqueIdentifier
は
names
の
subrelation
では %n
(
subrelation
userName
names
)
QoSontology.kif 2058-2058
userName
は
names
の
subrelation
では %n
(
termFormat
ChineseLanguage
names
"名")
domainEnglishFormat.kif 39669-39669
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
nameBeforeKeyName
?STRING ?KEY ?NAMESTRING)
(
not
(
equal
?STRING ?KEY)))
(
not
(
nameIndexOrder
?NAMESTRING ?OBJ)))
Media.kif 3406-3411
エンティティー
は
記号文字列
の
name
を 持って %n{ない}
nameBeforeKeyName
記号文字列
,
記号文字列
and
記号文字列
記号文字列
は
記号文字列
と
equal
では
nameIndexOrder
記号文字列
and
エンティティー
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
or
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
equal
?STRING ?KEY)))
(
nameIndexOrder
?NAMESTRING ?OBJ))
Media.kif 3374-3380
エンティティー
は
記号文字列
の
name
を 持って %n{ない}
nameAfterKeyName
記号文字列
,
記号文字列
and
記号文字列
記号文字列
は
記号文字列
と
equal
では %n
nameIndexOrder
記号文字列
and
エンティティー
(=>
(
and
(
names
?NAMESTRING ?THING)
(
keyName
?FIRST ?NAMESTRING)
(
stringConcatenation
?FIRST ?REST ?NAMESTRING))
(
nameIndexOrder
?NAMESTRING ?THING))
Media.kif 3339-3344
エンティティー
は
記号文字列
の
name
を 持って %n{ない}
keyName
記号文字列
and
記号文字列
stringConcatenation
記号文字列
,
記号文字列
and
記号文字列
nameIndexOrder
記号文字列
and
エンティティー
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3429-3433
AutonomousAgent
は
記号文字列
の
name
を 持って %n{ない}
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
agentName
記号文字列
and
AutonomousAgent
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3446-3450
人[人間]
は
記号文字列
の
name
を 持って %n{ない}
人[人間]
は
人[人間]
の
instance
では %n
humanName
記号文字列
and
人[人間]
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3480-3484
組織
は
記号文字列
の
name
を 持って %n{ない}
組織
は
組織
の
instance
では %n
organizationName
記号文字列
and
組織
consequent
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13279-13284
工程
は
Naming
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
の
name
を 持って %n{ない} は
工程
の
time
の existence の
after
の
during
holds %n{ない}
(=>
(
and
(
unitNumber
?UNITSTR ?PLACE)
(
floorCode
?FLRCODE ?PLACE))
(
exists
(?UNIT ?FLOOR)
(
and
(
instance
?FLOOR
BuildingLevel
)
(
instance
?UNIT
Room
)
(
located
?UNIT ?FLOOR)
(
part
?FLOOR ?PLACE)
(
names
?UNITSTR ?UNIT)
(
names
?FLRCODE ?FLOOR))))
Mid-level-ontology.kif 24631-24642
unitNumber
記号文字列
and
PostalPlace
floorCode
記号文字列
and
PostalPlace
物理
オブジェクト
オブジェクト
は
BuildingLevel
の
instance
では %n
物理
は
部屋
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
は
PostalPlace
の
part
では %n
物理
は
記号文字列
の
name
を 持って %n{ない}
オブジェクト
は
記号文字列
の
name
を 持って %n{ない}
(=>
(
and
(
unitNumber
?UNITSTR ?PLACE)
(
not
(
exists
(?FLR)
(
floorCode
?FLR ?PLACE))))
(
exists
(?UNIT)
(
and
(
instance
?UNIT
Room
)
(
names
?UNITSTR ?UNIT)
(
located
?UNIT ?PLACE))))
Mid-level-ontology.kif 24644-24654
unitNumber
記号文字列
and
PostalPlace
記号文字列
floorCode
記号文字列
and
PostalPlace
物理
物理
は
部屋
の
instance
では %n
物理
は
記号文字列
の
name
を 持って %n{ない}
物理
は
PostalPlace
に
located
して %n
(=>
(
canonicalPlaceName
?PLACE ?LANG ?STR)
(
names
?STR ?PLACE))
Mid-level-ontology.kif 24583-24585
canonicalPlaceName
地域
,
言語
and
記号文字列
地域
は
記号文字列
の
name
を 持って %n{ない}
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
エンティティー
は
CommunitySpread
の
instance
では %n
認識エージェント
認識エージェント
は
エンティティー
エンティティー
は
認識エージェント
から
originate
s %n{ない}
認識エージェント
は
エンティティー
の
name
を 持って %n{ない} を
know
s %n{ない}
(=>
(
termFormat
?TERM ?LANGUAGE ?STRING)
(
names
?STRING ?TERM))
Media.kif 31-33
termFormat
言語
,
エンティティー
and
記号文字列
言語
は
記号文字列
の
name
を 持って %n{ない}
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
Serbia
は "Republic of Serbia" の
name
を 持って %n{ない}
時間位置
は 5
day
目 の
instance
では %n は
時間位置
の
after
の
during
holds %n{ない}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
時間位置
は 3
day
目 の
instance
では %n
Montenegro
は "Montenegro" の
name
を 持って %n{ない} は
時間位置
の
after
の
during
holds %n{ない}
appearance as argument number 0
(
names
"Adana"
AdanaTurkey
)
CountriesAndRegions.kif 2495-2495
AdanaTurkey
は "Adana" の
name
を 持って %n{ない}
(
names
"Addis Ababa"
AddisAbabaEthiopia
)
CountriesAndRegions.kif 2497-2497
AddisAbabaEthiopia
は "Addis Ababa" の
name
を 持って %n{ない}
(
names
"Aden"
AdenYemen
)
CountriesAndRegions.kif 2499-2499
AdenYemen
は "Aden" の
name
を 持って %n{ない}
(
names
"Adora"
AdoraWestBank
)
CountriesAndRegions.kif 2501-2501
AdoraWestBank
は "Adora" の
name
を 持って %n{ない}
(
names
"Advanced Developing Country"
AdvancedDevelopingCountry
)
Economy.kif 352-352
AdvancedDevelopingCountry
は "Advanced Developing Country" の
name
を 持って %n{ない}
(
names
"Afghanistan"
Afghanistan
)
CountriesAndRegions.kif 4160-4160
Afghanistan
は "Afghanistan" の
name
を 持って %n{ない}
(
names
"Africa"
Africa
)
Geography.kif 3522-3522
Africa
は "Africa" の
name
を 持って %n{ない}
(
names
"Afula"
AfulaIsrael
)
CountriesAndRegions.kif 2503-2503
AfulaIsrael
は "Afula" の
name
を 持って %n{ない}
(
names
"Agri"
AgriTurkey
)
CountriesAndRegions.kif 2505-2505
AgriTurkey
は "Agri" の
name
を 持って %n{ない}
(
names
"Ain Defla"
AinDeflaAlgeria
)
CountriesAndRegions.kif 2507-2507
AinDeflaAlgeria
は "Ain Defla" の
name
を 持って %n{ない}
(
names
"Ain el Hajar"
AinElHajarAlgeria
)
CountriesAndRegions.kif 2509-2509
AinElHajarAlgeria
は "Ain el Hajar" の
name
を 持って %n{ない}
(
names
"Ajaccio"
AjaccioFrance
)
CountriesAndRegions.kif 2511-2511
AjaccioFrance
は "Ajaccio" の
name
を 持って %n{ない}
(
names
"Al-Balamand "
AlBalamandLebanon
)
CountriesAndRegions.kif 2513-2513
AlBalamandLebanon
は "Al-Balamand " の
name
を 持って %n{ない}
(
names
"Albania"
Albania
)
CountriesAndRegions.kif 4064-4064
Albania
は "Albania" の
name
を 持って %n{ない}
(
names
"Alei Sinai"
AleiSinaiGazaStrip
)
CountriesAndRegions.kif 2515-2515
AleiSinaiGazaStrip
は "Alei Sinai" の
name
を 持って %n{ない}
(
names
"Alei Zahav"
AleiZahavWestBank
)
CountriesAndRegions.kif 2517-2517
AleiZahavWestBank
は "Alei Zahav" の
name
を 持って %n{ない}
(
names
"Aley"
AleyLebanon
)
CountriesAndRegions.kif 2519-2519
AleyLebanon
は "Aley" の
name
を 持って %n{ない}
(
names
"Algeria"
Algeria
)
CountriesAndRegions.kif 3946-3946
Algeria
は "Algeria" の
name
を 持って %n{ない}
(
names
"Algiers"
AlgiersAlgeria
)
CountriesAndRegions.kif 2521-2521
AlgiersAlgeria
は "Algiers" の
name
を 持って %n{ない}
(
names
"Alkhan-Yurt"
AlkhanYurtRussia
)
CountriesAndRegions.kif 2523-2523
AlkhanYurtRussia
は "Alkhan-Yurt" の
name
を 持って %n{ない}
(
names
"Alon Moreh"
AlonMorehWestBank
)
CountriesAndRegions.kif 2525-2525
AlonMorehWestBank
は "Alon Moreh" の
name
を 持って %n{ない}
(
names
"Ambon"
AmbonIndonesia
)
CountriesAndRegions.kif 2527-2527
AmbonIndonesia
は "Ambon" の
name
を 持って %n{ない}
(
names
"American Football"
FootballUS
)
Sports.kif 813-813
FootballUS
は "American Football" の
name
を 持って %n{ない}
(
names
"American Samoa"
AmericanSamoa
)
CountriesAndRegions.kif 4194-4194
AmericanSamoa
は "American Samoa" の
name
を 持って %n{ない}
(
names
"Amman"
AmmanJordan
)
CountriesAndRegions.kif 2529-2529
AmmanJordan
は "Amman" の
name
を 持って %n{ない}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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