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
Le nombre 1 argument de
names
est une
instance
de
cha�ne sympbolique
(
domain
names
2
Entity
)
Merge.kif 4429-4429
Le nombre 2 argument de
names
est une
instance
de
entit�
(
instance
names
BinaryPredicate
)
Merge.kif 4427-4427
names
est une
instance
de
pr�dicat binaire
(
subrelation
names
refers
)
Merge.kif 4426-4426
names
est une
sous
-relation de
refers
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
est une
sous
-relation de
names
(
subrelation
alias
names
)
Mid-level-ontology.kif 23163-23163
alias
est une
sous
-relation de
names
(
subrelation
conventionalLongName
names
)
Mid-level-ontology.kif 27134-27134
conventionalLongName
est une
sous
-relation de
names
(
subrelation
conventionalShortName
names
)
Mid-level-ontology.kif 27145-27145
conventionalShortName
est une
sous
-relation de
names
(
subrelation
familyName
names
)
Mid-level-ontology.kif 14697-14697
familyName
est une
sous
-relation de
names
(
subrelation
filename
names
)
QoSontology.kif 2205-2205
filename
est une
sous
-relation de
names
(
subrelation
formerName
names
)
Mid-level-ontology.kif 14690-14690
formerName
est une
sous
-relation de
names
(
subrelation
fullName
names
)
Media.kif 3290-3290
fullName
est une
sous
-relation de
names
(
subrelation
givenName
names
)
Mid-level-ontology.kif 14714-14714
givenName
est une
sous
-relation de
names
(
subrelation
localLongName
names
)
Mid-level-ontology.kif 14729-14729
localLongName
est une
sous
-relation de
names
(
subrelation
localShortName
names
)
Mid-level-ontology.kif 14734-14734
localShortName
est une
sous
-relation de
names
(
subrelation
middleName
names
)
Mid-level-ontology.kif 14710-14710
middleName
est une
sous
-relation de
names
(
subrelation
nameIndexOrder
names
)
Media.kif 3337-3337
nameIndexOrder
est une
sous
-relation de
names
(
subrelation
password
names
)
QoSontology.kif 2095-2095
password
est une
sous
-relation de
names
(
subrelation
titles
names
)
Mid-level-ontology.kif 14677-14677
titles
est une
sous
-relation de
names
(
subrelation
uniqueIdentifier
names
)
Merge.kif 4437-4437
uniqueIdentifier
est une
sous
-relation de
names
(
subrelation
userName
names
)
QoSontology.kif 2058-2058
userName
est une
sous
-relation de
names
(
termFormat
ChineseLanguage
names
"名")
domainEnglishFormat.kif 39681-39681
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
Entit�
s'appele
nom
cha�ne sympbolique
nameBeforeKeyName
cha�ne sympbolique
,
cha�ne sympbolique
and
cha�ne sympbolique
cha�ne sympbolique
est
cha�ne sympbolique
nameIndexOrder
cha�ne sympbolique
and
entit�
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
or
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
equal
?STRING ?KEY)))
(
nameIndexOrder
?NAMESTRING ?OBJ))
Media.kif 3374-3380
Entit�
s'appele
nom
cha�ne sympbolique
nameAfterKeyName
cha�ne sympbolique
,
cha�ne sympbolique
and
cha�ne sympbolique
cha�ne sympbolique
est
cha�ne sympbolique
nameIndexOrder
cha�ne sympbolique
and
entit�
(=>
(
and
(
names
?NAMESTRING ?THING)
(
keyName
?FIRST ?NAMESTRING)
(
stringConcatenation
?FIRST ?REST ?NAMESTRING))
(
nameIndexOrder
?NAMESTRING ?THING))
Media.kif 3339-3344
Entit�
s'appele
nom
cha�ne sympbolique
keyName
cha�ne sympbolique
and
cha�ne sympbolique
stringConcatenation
cha�ne sympbolique
,
cha�ne sympbolique
and
cha�ne sympbolique
nameIndexOrder
cha�ne sympbolique
and
entit�
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3429-3433
AutonomousAgent
s'appele
nom
cha�ne sympbolique
AutonomousAgent
est une
instance
de
AutonomousAgent
agentName
cha�ne sympbolique
and
AutonomousAgent
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3446-3450
Humain
s'appele
nom
cha�ne sympbolique
humain
est une
instance
de
humain
humanName
cha�ne sympbolique
and
humain
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3480-3484
Organisation
s'appele
nom
cha�ne sympbolique
organisation
est une
instance
de
organisation
organizationName
cha�ne sympbolique
and
organisation
consequent
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13227-13232
Processus
est une
instance
de
Naming
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
entit�
s'appele
nom
entit�
pendant
apr
�s
temps
d'existence de
processus
(=>
(
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 24581-24592
unitNumber
cha�ne sympbolique
and
PostalPlace
floorCode
cha�ne sympbolique
and
PostalPlace
physique
objet
objet
est une
instance
de
BuildingLevel
physique
est une
instance
de
pi�ce
physique
est
situ
� �
objet
objet
est une
partie
de
PostalPlace
physique
s'appele
nom
cha�ne sympbolique
objet
s'appele
nom
cha�ne sympbolique
(=>
(
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 24594-24604
unitNumber
cha�ne sympbolique
and
PostalPlace
cha�ne sympbolique
floorCode
cha�ne sympbolique
and
PostalPlace
physique
physique
est une
instance
de
pi�ce
physique
s'appele
nom
cha�ne sympbolique
physique
est
situ
� �
PostalPlace
(=>
(
canonicalPlaceName
?PLACE ?LANG ?STR)
(
names
?STR ?PLACE))
Mid-level-ontology.kif 24533-24535
canonicalPlaceName
r�gion
,
langage
and
cha�ne sympbolique
r�gion
s'appele
nom
cha�ne sympbolique
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
Entit�
est une
instance
de
CommunitySpread
agent cognitif
agent cognitif
conna
�t
entit�
entit�
a pour
origine
agent cognitif
agent cognitif
s'appele
nom
entit�
(=>
(
termFormat
?TERM ?LANGUAGE ?STRING)
(
names
?STRING ?TERM))
Media.kif 31-33
termFormat
langage
,
entit�
and
cha�ne sympbolique
langage
s'appele
nom
cha�ne sympbolique
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
Serbia
s'appele
nom
"Republic of Serbia"
position temporel
est une
instance
de le
jour
5
pendant
apr
�s
position temporel
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
Position temporel
est une
instance
de le
jour
3
Montenegro
s'appele
nom
"Montenegro"
pendant
apr
�s
position temporel
appearance as argument number 0
(
names
"Adana"
AdanaTurkey
)
CountriesAndRegions.kif 2495-2495
AdanaTurkey
s'appele
nom
"Adana"
(
names
"Addis Ababa"
AddisAbabaEthiopia
)
CountriesAndRegions.kif 2497-2497
AddisAbabaEthiopia
s'appele
nom
"Addis Ababa"
(
names
"Aden"
AdenYemen
)
CountriesAndRegions.kif 2499-2499
AdenYemen
s'appele
nom
"Aden"
(
names
"Adora"
AdoraWestBank
)
CountriesAndRegions.kif 2501-2501
AdoraWestBank
s'appele
nom
"Adora"
(
names
"Advanced Developing Country"
AdvancedDevelopingCountry
)
Economy.kif 352-352
AdvancedDevelopingCountry
s'appele
nom
"Advanced Developing Country"
(
names
"Afghanistan"
Afghanistan
)
CountriesAndRegions.kif 4160-4160
Afghanistan
s'appele
nom
"Afghanistan"
(
names
"Africa"
Africa
)
Geography.kif 3522-3522
Africa
s'appele
nom
"Africa"
(
names
"Afula"
AfulaIsrael
)
CountriesAndRegions.kif 2503-2503
AfulaIsrael
s'appele
nom
"Afula"
(
names
"Agri"
AgriTurkey
)
CountriesAndRegions.kif 2505-2505
AgriTurkey
s'appele
nom
"Agri"
(
names
"Ain Defla"
AinDeflaAlgeria
)
CountriesAndRegions.kif 2507-2507
AinDeflaAlgeria
s'appele
nom
"Ain Defla"
(
names
"Ain el Hajar"
AinElHajarAlgeria
)
CountriesAndRegions.kif 2509-2509
AinElHajarAlgeria
s'appele
nom
"Ain el Hajar"
(
names
"Ajaccio"
AjaccioFrance
)
CountriesAndRegions.kif 2511-2511
AjaccioFrance
s'appele
nom
"Ajaccio"
(
names
"Al-Balamand "
AlBalamandLebanon
)
CountriesAndRegions.kif 2513-2513
AlBalamandLebanon
s'appele
nom
"Al-Balamand "
(
names
"Albania"
Albania
)
CountriesAndRegions.kif 4064-4064
Albania
s'appele
nom
"Albania"
(
names
"Alei Sinai"
AleiSinaiGazaStrip
)
CountriesAndRegions.kif 2515-2515
AleiSinaiGazaStrip
s'appele
nom
"Alei Sinai"
(
names
"Alei Zahav"
AleiZahavWestBank
)
CountriesAndRegions.kif 2517-2517
AleiZahavWestBank
s'appele
nom
"Alei Zahav"
(
names
"Aley"
AleyLebanon
)
CountriesAndRegions.kif 2519-2519
AleyLebanon
s'appele
nom
"Aley"
(
names
"Algeria"
Algeria
)
CountriesAndRegions.kif 3946-3946
Algeria
s'appele
nom
"Algeria"
(
names
"Algiers"
AlgiersAlgeria
)
CountriesAndRegions.kif 2521-2521
AlgiersAlgeria
s'appele
nom
"Algiers"
(
names
"Alkhan-Yurt"
AlkhanYurtRussia
)
CountriesAndRegions.kif 2523-2523
AlkhanYurtRussia
s'appele
nom
"Alkhan-Yurt"
(
names
"Alon Moreh"
AlonMorehWestBank
)
CountriesAndRegions.kif 2525-2525
AlonMorehWestBank
s'appele
nom
"Alon Moreh"
(
names
"Ambon"
AmbonIndonesia
)
CountriesAndRegions.kif 2527-2527
AmbonIndonesia
s'appele
nom
"Ambon"
(
names
"American Football"
FootballUS
)
Sports.kif 813-813
FootballUS
s'appele
nom
"American Football"
(
names
"American Samoa"
AmericanSamoa
)
CountriesAndRegions.kif 4194-4194
AmericanSamoa
s'appele
nom
"American Samoa"
(
names
"Amman"
AmmanJordan
)
CountriesAndRegions.kif 2529-2529
AmmanJordan
s'appele
nom
"Amman"
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