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
O argumento numero 1 de
names
e' uma
instancia
de
Sequencia Simbolica
(
domain
names
2
Entity
)
Merge.kif 4429-4429
O argumento numero 2 de
names
e' uma
instancia
de
Entidade
(
instance
names
BinaryPredicate
)
Merge.kif 4427-4427
names
e' uma
instancia
de
Predicado Binario
(
subrelation
names
refers
)
Merge.kif 4426-4426
names
e' uma
sub
-relacao 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
e' uma
sub
-relacao de
names
(
subrelation
alias
names
)
Mid-level-ontology.kif 23214-23214
alias
e' uma
sub
-relacao de
names
(
subrelation
conventionalLongName
names
)
Mid-level-ontology.kif 27217-27217
conventionalLongName
e' uma
sub
-relacao de
names
(
subrelation
conventionalShortName
names
)
Mid-level-ontology.kif 27228-27228
conventionalShortName
e' uma
sub
-relacao de
names
(
subrelation
familyName
names
)
Mid-level-ontology.kif 14725-14725
familyName
e' uma
sub
-relacao de
names
(
subrelation
filename
names
)
QoSontology.kif 2205-2205
filename
e' uma
sub
-relacao de
names
(
subrelation
formerName
names
)
Mid-level-ontology.kif 14718-14718
formerName
e' uma
sub
-relacao de
names
(
subrelation
fullName
names
)
Media.kif 3290-3290
fullName
e' uma
sub
-relacao de
names
(
subrelation
givenName
names
)
Mid-level-ontology.kif 14742-14742
givenName
e' uma
sub
-relacao de
names
(
subrelation
localLongName
names
)
Mid-level-ontology.kif 14757-14757
localLongName
e' uma
sub
-relacao de
names
(
subrelation
localShortName
names
)
Mid-level-ontology.kif 14762-14762
localShortName
e' uma
sub
-relacao de
names
(
subrelation
middleName
names
)
Mid-level-ontology.kif 14738-14738
middleName
e' uma
sub
-relacao de
names
(
subrelation
nameIndexOrder
names
)
Media.kif 3337-3337
nameIndexOrder
e' uma
sub
-relacao de
names
(
subrelation
password
names
)
QoSontology.kif 2095-2095
password
e' uma
sub
-relacao de
names
(
subrelation
titles
names
)
Mid-level-ontology.kif 14705-14705
titles
e' uma
sub
-relacao de
names
(
subrelation
uniqueIdentifier
names
)
Merge.kif 4437-4437
uniqueIdentifier
e' uma
sub
-relacao de
names
(
subrelation
userName
names
)
QoSontology.kif 2058-2058
userName
e' uma
sub
-relacao de
names
(
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
Entidade
se chama
nome
Sequencia Simbolica
nameBeforeKeyName
Sequencia Simbolica
,
Sequencia Simbolica
and
Sequencia Simbolica
Sequencia Simbolica
e'
igual
a
Sequencia Simbolica
nameIndexOrder
Sequencia Simbolica
and
Entidade
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
or
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
equal
?STRING ?KEY)))
(
nameIndexOrder
?NAMESTRING ?OBJ))
Media.kif 3374-3380
Entidade
se chama
nome
Sequencia Simbolica
nameAfterKeyName
Sequencia Simbolica
,
Sequencia Simbolica
and
Sequencia Simbolica
Sequencia Simbolica
e'
igual
a
Sequencia Simbolica
nameIndexOrder
Sequencia Simbolica
and
Entidade
(=>
(
and
(
names
?NAMESTRING ?THING)
(
keyName
?FIRST ?NAMESTRING)
(
stringConcatenation
?FIRST ?REST ?NAMESTRING))
(
nameIndexOrder
?NAMESTRING ?THING))
Media.kif 3339-3344
Entidade
se chama
nome
Sequencia Simbolica
keyName
Sequencia Simbolica
and
Sequencia Simbolica
stringConcatenation
Sequencia Simbolica
,
Sequencia Simbolica
and
Sequencia Simbolica
nameIndexOrder
Sequencia Simbolica
and
Entidade
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3429-3433
AutonomousAgent
se chama
nome
Sequencia Simbolica
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
agentName
Sequencia Simbolica
and
AutonomousAgent
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3446-3450
Humano
se chama
nome
Sequencia Simbolica
Humano
e' uma
instancia
de
Humano
humanName
Sequencia Simbolica
and
Humano
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3480-3484
Organizacao
se chama
nome
Sequencia Simbolica
Organizacao
e' uma
instancia
de
Organizacao
organizationName
Sequencia Simbolica
and
Organizacao
consequent
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13257-13262
Processo
e' uma
instancia
de
Naming
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
se chama
nome
Entidade
vale
durante
apos
tempo
de existencia de
Processo
(=>
(
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 24632-24643
unitNumber
Sequencia Simbolica
and
PostalPlace
floorCode
Sequencia Simbolica
and
PostalPlace
Fisico
Objeto
Objeto
e' uma
instancia
de
BuildingLevel
Fisico
e' uma
instancia
de
Comodo
Fisico
e'
situado
em
Objeto
Objeto
e' uma &parte de
PostalPlace
Fisico
se chama
nome
Sequencia Simbolica
Objeto
se chama
nome
Sequencia Simbolica
(=>
(
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 24645-24655
unitNumber
Sequencia Simbolica
and
PostalPlace
Sequencia Simbolica
floorCode
Sequencia Simbolica
and
PostalPlace
Fisico
Fisico
e' uma
instancia
de
Comodo
Fisico
se chama
nome
Sequencia Simbolica
Fisico
e'
situado
em
PostalPlace
(=>
(
canonicalPlaceName
?PLACE ?LANG ?STR)
(
names
?STR ?PLACE))
Mid-level-ontology.kif 24584-24586
canonicalPlaceName
Regiao
,
Linguagem
and
Sequencia Simbolica
Regiao
se chama
nome
Sequencia Simbolica
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
Entidade
e' uma
instancia
de
CommunitySpread
Agente Cognitivo
Agente Cognitivo
sabe
Entidade
Entidade
tem como
origem
Agente Cognitivo
Agente Cognitivo
se chama
nome
Entidade
(=>
(
termFormat
?TERM ?LANGUAGE ?STRING)
(
names
?STRING ?TERM))
Media.kif 31-33
termFormat
Linguagem
,
Entidade
and
Sequencia Simbolica
Linguagem
se chama
nome
Sequencia Simbolica
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
Serbia
se chama
nome
"Republic of Serbia"
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
se chama
nome
"Montenegro"
vale
durante
apos
Posicao Temporal
appearance as argument number 0
(
names
"Adana"
AdanaTurkey
)
CountriesAndRegions.kif 2495-2495
AdanaTurkey
se chama
nome
"Adana"
(
names
"Addis Ababa"
AddisAbabaEthiopia
)
CountriesAndRegions.kif 2497-2497
AddisAbabaEthiopia
se chama
nome
"Addis Ababa"
(
names
"Aden"
AdenYemen
)
CountriesAndRegions.kif 2499-2499
AdenYemen
se chama
nome
"Aden"
(
names
"Adora"
AdoraWestBank
)
CountriesAndRegions.kif 2501-2501
AdoraWestBank
se chama
nome
"Adora"
(
names
"Advanced Developing Country"
AdvancedDevelopingCountry
)
Economy.kif 352-352
AdvancedDevelopingCountry
se chama
nome
"Advanced Developing Country"
(
names
"Afghanistan"
Afghanistan
)
CountriesAndRegions.kif 4160-4160
Afghanistan
se chama
nome
"Afghanistan"
(
names
"Africa"
Africa
)
Geography.kif 3522-3522
Africa
se chama
nome
"Africa"
(
names
"Afula"
AfulaIsrael
)
CountriesAndRegions.kif 2503-2503
AfulaIsrael
se chama
nome
"Afula"
(
names
"Agri"
AgriTurkey
)
CountriesAndRegions.kif 2505-2505
AgriTurkey
se chama
nome
"Agri"
(
names
"Ain Defla"
AinDeflaAlgeria
)
CountriesAndRegions.kif 2507-2507
AinDeflaAlgeria
se chama
nome
"Ain Defla"
(
names
"Ain el Hajar"
AinElHajarAlgeria
)
CountriesAndRegions.kif 2509-2509
AinElHajarAlgeria
se chama
nome
"Ain el Hajar"
(
names
"Ajaccio"
AjaccioFrance
)
CountriesAndRegions.kif 2511-2511
AjaccioFrance
se chama
nome
"Ajaccio"
(
names
"Al-Balamand "
AlBalamandLebanon
)
CountriesAndRegions.kif 2513-2513
AlBalamandLebanon
se chama
nome
"Al-Balamand "
(
names
"Albania"
Albania
)
CountriesAndRegions.kif 4064-4064
Albania
se chama
nome
"Albania"
(
names
"Alei Sinai"
AleiSinaiGazaStrip
)
CountriesAndRegions.kif 2515-2515
AleiSinaiGazaStrip
se chama
nome
"Alei Sinai"
(
names
"Alei Zahav"
AleiZahavWestBank
)
CountriesAndRegions.kif 2517-2517
AleiZahavWestBank
se chama
nome
"Alei Zahav"
(
names
"Aley"
AleyLebanon
)
CountriesAndRegions.kif 2519-2519
AleyLebanon
se chama
nome
"Aley"
(
names
"Algeria"
Algeria
)
CountriesAndRegions.kif 3946-3946
Algeria
se chama
nome
"Algeria"
(
names
"Algiers"
AlgiersAlgeria
)
CountriesAndRegions.kif 2521-2521
AlgiersAlgeria
se chama
nome
"Algiers"
(
names
"Alkhan-Yurt"
AlkhanYurtRussia
)
CountriesAndRegions.kif 2523-2523
AlkhanYurtRussia
se chama
nome
"Alkhan-Yurt"
(
names
"Alon Moreh"
AlonMorehWestBank
)
CountriesAndRegions.kif 2525-2525
AlonMorehWestBank
se chama
nome
"Alon Moreh"
(
names
"Ambon"
AmbonIndonesia
)
CountriesAndRegions.kif 2527-2527
AmbonIndonesia
se chama
nome
"Ambon"
(
names
"American Football"
FootballUS
)
Sports.kif 813-813
FootballUS
se chama
nome
"American Football"
(
names
"American Samoa"
AmericanSamoa
)
CountriesAndRegions.kif 4194-4194
AmericanSamoa
se chama
nome
"American Samoa"
(
names
"Amman"
AmmanJordan
)
CountriesAndRegions.kif 2529-2529
AmmanJordan
se chama
nome
"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