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
Die Zahl 1 Argument von
names
ist ein
fall
von
SymbolicString
%n{nicht}
(
domain
names
2
Entity
)
Merge.kif 4429-4429
Die Zahl 2 Argument von
names
ist ein
fall
von
Entity
%n{nicht}
(
instance
names
BinaryPredicate
)
Merge.kif 4427-4427
names
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
names
refers
)
Merge.kif 4426-4426
names
ist eine
teilrelation
von
beziehtSichAuf
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
ist eine
teilrelation
von
names
(
subrelation
alias
names
)
Mid-level-ontology.kif 23213-23213
alias
ist eine
teilrelation
von
names
(
subrelation
conventionalLongName
names
)
Mid-level-ontology.kif 27205-27205
conventionalLongName
ist eine
teilrelation
von
names
(
subrelation
conventionalShortName
names
)
Mid-level-ontology.kif 27216-27216
conventionalShortName
ist eine
teilrelation
von
names
(
subrelation
familyName
names
)
Mid-level-ontology.kif 14724-14724
familyName
ist eine
teilrelation
von
names
(
subrelation
filename
names
)
QoSontology.kif 2205-2205
filename
ist eine
teilrelation
von
names
(
subrelation
formerName
names
)
Mid-level-ontology.kif 14717-14717
formerName
ist eine
teilrelation
von
names
(
subrelation
fullName
names
)
Media.kif 3290-3290
fullName
ist eine
teilrelation
von
names
(
subrelation
givenName
names
)
Mid-level-ontology.kif 14741-14741
givenName
ist eine
teilrelation
von
names
(
subrelation
localLongName
names
)
Mid-level-ontology.kif 14756-14756
localLongName
ist eine
teilrelation
von
names
(
subrelation
localShortName
names
)
Mid-level-ontology.kif 14761-14761
localShortName
ist eine
teilrelation
von
names
(
subrelation
middleName
names
)
Mid-level-ontology.kif 14737-14737
middleName
ist eine
teilrelation
von
names
(
subrelation
nameIndexOrder
names
)
Media.kif 3337-3337
nameIndexOrder
ist eine
teilrelation
von
names
(
subrelation
password
names
)
QoSontology.kif 2095-2095
password
ist eine
teilrelation
von
names
(
subrelation
titles
names
)
Mid-level-ontology.kif 14704-14704
titles
ist eine
teilrelation
von
names
(
subrelation
uniqueIdentifier
names
)
Merge.kif 4437-4437
uniqueIdentifier
ist eine
teilrelation
von
names
(
subrelation
userName
names
)
QoSontology.kif 2058-2058
userName
ist eine
teilrelation
von
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
Wenn
names
SymbolicString
and
Entity
und
nameBeforeKeyName
** SymbolicString
,
** SymbolicString
and
** SymbolicString
und
** ** SymbolicString
ist gleich
** ** SymbolicString
nicht,
dann
nameIndexOrder
** SymbolicString
and
** Entity
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
or
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
equal
?STRING ?KEY)))
(
nameIndexOrder
?NAMESTRING ?OBJ))
Media.kif 3374-3380
Wenn
names
SymbolicString
and
Entity
und
nameAfterKeyName
** SymbolicString
,
** SymbolicString
and
** SymbolicString
oder
** ** SymbolicString
ist gleich
** ** SymbolicString
%n{nicht},
dann
nameIndexOrder
** SymbolicString
and
** Entity
(=>
(
and
(
names
?NAMESTRING ?THING)
(
keyName
?FIRST ?NAMESTRING)
(
stringConcatenation
?FIRST ?REST ?NAMESTRING))
(
nameIndexOrder
?NAMESTRING ?THING))
Media.kif 3339-3344
Wenn
names
SymbolicString
and
Entity
und
keyName
** SymbolicString
and
** SymbolicString
und
stringConcatenation
** ** SymbolicString
,
** SymbolicString
and
** SymbolicString
,
dann
nameIndexOrder
** SymbolicString
and
** Entity
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
AutonomousAgent
))
(
agentName
?STRING ?OBJ))
Media.kif 3429-3433
Wenn
names
SymbolicString
and
AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht},
dann
agentName
** SymbolicString
and
** AutonomousAgent
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Human
))
(
humanName
?STRING ?OBJ))
Media.kif 3446-3450
Wenn
names
SymbolicString
and
Human
und
** Human
ist ein
fall
von
Human
%n{nicht},
dann
humanName
** SymbolicString
and
** Human
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Organization
))
(
organizationName
?STRING ?OBJ))
Media.kif 3480-3484
Wenn
names
SymbolicString
and
Organization
und
** Organization
ist ein
fall
von
Organization
%n{nicht},
dann
organizationName
** SymbolicString
and
** Organization
consequent
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13279-13284
Wenn
Process
ist ein
fall
von
Naming
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
** Entity
%n{nicht},
dann
names
** ** Entity
and
** Entity
haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
unitNumber
SymbolicString
and
PostalPlace
und
floorCode
** SymbolicString
and
** PostalPlace
,
dann es gibt
Physical
und
Object
um
** Object
ist ein
fall
von
BuildingLevel
%n{nicht} und
** Physical
ist ein
fall
von
Room
%n{nicht} und
** Physical
befindet
sich an %n{nicht} und
** Object
ist ein
teil
von
** PostalPlace
%n{nicht} und
names
** SymbolicString
and
** Physical
und
names
** ** SymbolicString
and
** Object
(=>
(
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
Wenn
unitNumber
SymbolicString
and
PostalPlace
und es gibt nicht
** SymbolicString
um
floorCode
** ** SymbolicString
and
** PostalPlace
,
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Room
%n{nicht} und
names
** SymbolicString
and
** Physical
und
** Physical
befindet
sich an %n{nicht}
(=>
(
canonicalPlaceName
?PLACE ?LANG ?STR)
(
names
?STR ?PLACE))
Mid-level-ontology.kif 24583-24585
Wenn
canonicalPlaceName
Region
,
Language
and
SymbolicString
,
dann
names
** SymbolicString
and
** Region
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
Wenn
Entity
ist ein
fall
von
CommunitySpread
%n{nicht},
dann es gibt nicht
CognitiveAgent
um
** CognitiveAgent
kennt
es gibt
** entity
um
** Entity
beginnet an
** CognitiveAgent
%n{nicht} und
names
** ** entity
and
** CognitiveAgent
%n{nicht}
(=>
(
termFormat
?TERM ?LANGUAGE ?STRING)
(
names
?STRING ?TERM))
Media.kif 31-33
Wenn
termFormat
Language
,
Entity
and
SymbolicString
,
dann
names
** SymbolicString
and
** Language
statement
(
holdsDuring
(
FutureFn
?T)
(
and
(
names
"Republic of Serbia"
Serbia
)
(
instance
?T
(
DayFn
5
(
MonthFn
June
(
YearFn
2006))))))
Media.kif 2506-2509
names
"Republic of Serbia" and
Serbia
und
TimePosition
ist ein
fall
von der
tag
5 %n{nicht} haelt
waehrend
nach
** TimePosition
%n{nicht}
(
holdsDuring
(
FutureFn
?TIME)
(
and
(
instance
?TIME
(
DayFn
3
(
MonthFn
June
(
YearFn
2006))))
(
names
"Montenegro"
Montenegro
)))
Media.kif 2533-2536
TimePosition
ist ein
fall
von der
tag
3 %n{nicht} und
names
"Montenegro" and
Montenegro
haelt
waehrend
nach
** TimePosition
%n{nicht}
appearance as argument number 0
(
names
"Adana"
AdanaTurkey
)
CountriesAndRegions.kif 2495-2495
names
"Adana" and
AdanaTurkey
(
names
"Addis Ababa"
AddisAbabaEthiopia
)
CountriesAndRegions.kif 2497-2497
names
"Addis Ababa" and
AddisAbabaEthiopia
(
names
"Aden"
AdenYemen
)
CountriesAndRegions.kif 2499-2499
names
"Aden" and
AdenYemen
(
names
"Adora"
AdoraWestBank
)
CountriesAndRegions.kif 2501-2501
names
"Adora" and
AdoraWestBank
(
names
"Advanced Developing Country"
AdvancedDevelopingCountry
)
Economy.kif 352-352
names
"Advanced Developing Country" and
AdvancedDevelopingCountry
(
names
"Afghanistan"
Afghanistan
)
CountriesAndRegions.kif 4160-4160
names
"Afghanistan" and
Afghanistan
(
names
"Africa"
Africa
)
Geography.kif 3522-3522
names
"Africa" and
Africa
(
names
"Afula"
AfulaIsrael
)
CountriesAndRegions.kif 2503-2503
names
"Afula" and
AfulaIsrael
(
names
"Agri"
AgriTurkey
)
CountriesAndRegions.kif 2505-2505
names
"Agri" and
AgriTurkey
(
names
"Ain Defla"
AinDeflaAlgeria
)
CountriesAndRegions.kif 2507-2507
names
"Ain Defla" and
AinDeflaAlgeria
(
names
"Ain el Hajar"
AinElHajarAlgeria
)
CountriesAndRegions.kif 2509-2509
names
"Ain el Hajar" and
AinElHajarAlgeria
(
names
"Ajaccio"
AjaccioFrance
)
CountriesAndRegions.kif 2511-2511
names
"Ajaccio" and
AjaccioFrance
(
names
"Al-Balamand "
AlBalamandLebanon
)
CountriesAndRegions.kif 2513-2513
names
"Al-Balamand " and
AlBalamandLebanon
(
names
"Albania"
Albania
)
CountriesAndRegions.kif 4064-4064
names
"Albania" and
Albania
(
names
"Alei Sinai"
AleiSinaiGazaStrip
)
CountriesAndRegions.kif 2515-2515
names
"Alei Sinai" and
AleiSinaiGazaStrip
(
names
"Alei Zahav"
AleiZahavWestBank
)
CountriesAndRegions.kif 2517-2517
names
"Alei Zahav" and
AleiZahavWestBank
(
names
"Aley"
AleyLebanon
)
CountriesAndRegions.kif 2519-2519
names
"Aley" and
AleyLebanon
(
names
"Algeria"
Algeria
)
CountriesAndRegions.kif 3946-3946
names
"Algeria" and
Algeria
(
names
"Algiers"
AlgiersAlgeria
)
CountriesAndRegions.kif 2521-2521
names
"Algiers" and
AlgiersAlgeria
(
names
"Alkhan-Yurt"
AlkhanYurtRussia
)
CountriesAndRegions.kif 2523-2523
names
"Alkhan-Yurt" and
AlkhanYurtRussia
(
names
"Alon Moreh"
AlonMorehWestBank
)
CountriesAndRegions.kif 2525-2525
names
"Alon Moreh" and
AlonMorehWestBank
(
names
"Ambon"
AmbonIndonesia
)
CountriesAndRegions.kif 2527-2527
names
"Ambon" and
AmbonIndonesia
(
names
"American Football"
FootballUS
)
Sports.kif 813-813
names
"American Football" and
FootballUS
(
names
"American Samoa"
AmericanSamoa
)
CountriesAndRegions.kif 4194-4194
names
"American Samoa" and
AmericanSamoa
(
names
"Amman"
AmmanJordan
)
CountriesAndRegions.kif 2529-2529
names
"Amman" and
AmmanJordan
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