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
synonymousExternalConcept
Sigma KEE - synonymousExternalConcept
synonymousExternalConcept
appearance as argument number 1
(
disjointRelation
synonymousExternalConcept
subsumedExternalConcept
)
Merge.kif 641-641
和外部意义相同的概念
和
纳入外部的概念
是
disjoint
关系
(
disjointRelation
synonymousExternalConcept
subsumingExternalConcept
)
Merge.kif 642-642
和外部意义相同的概念
和
包含外部的概念
是
disjoint
关系
(
documentation
synonymousExternalConcept
ChineseLanguage
"(
synonymousExternalConcept
?STRING ?THING ?LANGUAGE) 的意思是SUMO概念 ?THING 和概念 ?STRING 在语言 ?LANGUAGE 的含义是相同 的。")
chinese_format.kif 1524-1526
(
documentation
synonymousExternalConcept
EnglishLanguage
"(
synonymousExternalConcept
?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING has the same meaning as ?STRING in ?LANGUAGE.")
Merge.kif 645-647
(
documentation
synonymousExternalConcept
JapaneseLanguage
"(
synonymousExternalConcept
?STRING ?THING ?LANGUAGE) とは、SUMO概念?THINGが?LANGUAGEの?STRINGと同じ、という意味である。")
japanese_format.kif 90-91
(
documentation
synonymousExternalConcept
SpanishLanguage
"(
synonymousExternalConcept
?STRING ?THING ?LANGUAGE) significa el concepto de SUMO ?THING tiene el mismo significado como ?STRING en ?LANGUAGE.")
spanish_format.kif 104-106
(
domain
synonymousExternalConcept
1
SymbolicString
)
Merge.kif 636-636
和外部意义相同的概念
的 1 数量 是
符号串
的
instance
(
domain
synonymousExternalConcept
2
Entity
)
Merge.kif 637-637
和外部意义相同的概念
的 2 数量 是
实体
的
instance
(
domain
synonymousExternalConcept
3
Language
)
Merge.kif 638-638
和外部意义相同的概念
的 3 数量 是
语言
的
instance
(
instance
synonymousExternalConcept
TernaryPredicate
)
Merge.kif 640-640
和外部意义相同的概念
是
三元谓语
的
instance
(
subrelation
synonymousExternalConcept
relatedExternalConcept
)
Merge.kif 635-635
和外部意义相同的概念
是
外部相关的概念
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
synonymousExternalConcept
"概念%1在%3语言, %n 和概念%2的意义相同")
chinese_format.kif 338-338
(
format
EnglishLanguage
synonymousExternalConcept
"the concept of %1 in language %3 is %n synonymous with the concept of %2")
english_format.kif 342-342
(
format
FrenchLanguage
synonymousExternalConcept
"le concept de %1 dans le langage %3 est %n synonyme avec le concept de %2")
french_format.kif 191-191
(
format
ItalianLanguage
synonymousExternalConcept
"il concetto di %1 nella lingua %3 è sinonimo del concetto %2")
relations-it.txt 291-291
(
format
JapaneseLanguage
synonymousExternalConcept
"言語 %3 の %1の概念は %2 の概念と synonymous では %n")
japanese_format.kif 2011-2011
(
format
PortugueseLanguage
synonymousExternalConcept
"o conceito de %1 na linguagem %3 e' %n sinonimo com o conceito de %2")
portuguese_format.kif 143-143
(
format
de
synonymousExternalConcept
"das Konzept von %1 in Sprache %3 ist mit dem Konzept %2 synonym")
relations-de.txt 445-445
(
format
hi
synonymousExternalConcept
"%3 bhaashhaa men %1 kii sankalpanaa %2 kii sankalpanaa kii paryaaya hai")
relations-hindi.txt 327-327
(
format
ro
synonymousExternalConcept
"înþelesul %1 în limba %3 %n{nu} este synonymous%t{sinonim} cu înþelesul %2")
relations-ro.kif 211-211
(
format
sv
synonymousExternalConcept
"konceptet %1 i språket %3 är %n{inte} synonymt med konceptet %2")
relations-sv.txt 202-202
(
format
tg
synonymousExternalConcept
"ang kuru-kuro ng %1 sa wika %3 ay kasignkahulugan ng ang kuru-kuro ng %2")
relations-tg.txt 483-483
(
termFormat
ChineseLanguage
synonymousExternalConcept
"同义外部概念")
domainEnglishFormat.kif 56607-56607
(
termFormat
ChineseLanguage
synonymousExternalConcept
"和外部意义相同的概念")
chinese_format.kif 339-339
(
termFormat
ChineseTraditionalLanguage
synonymousExternalConcept
"同義外部概念")
domainEnglishFormat.kif 56606-56606
(
termFormat
EnglishLanguage
synonymousExternalConcept
"synonymous external concept")
domainEnglishFormat.kif 56605-56605
appearance as argument number 0
(
synonymousExternalConcept
"1st Lieutenant"
USMilitaryRankO2
USAirforceRankingSystem
)
Military.kif 497-497
(
synonymousExternalConcept
"1st Lieutenant"
USMilitaryRankO2
USArmyRankingSystem
)
Military.kif 496-496
(
synonymousExternalConcept
"1st Lieutenant"
USMilitaryRankO2
USMarineCorpsRankingSystem
)
Military.kif 498-498
(
synonymousExternalConcept
"2nd Lieutenant"
USMilitaryRankO1
USAirforceRankingSystem
)
Military.kif 487-487
(
synonymousExternalConcept
"2nd Lieutenant"
USMilitaryRankO1
USArmyRankingSystem
)
Military.kif 486-486
(
synonymousExternalConcept
"2nd Lieutenant"
USMilitaryRankO1
USMarineCorpsRankingSystem
)
Military.kif 488-488
(
synonymousExternalConcept
"Admiral"
USMilitaryRankO10
USCoastGuardRankingSystem
)
Military.kif 589-589
(
synonymousExternalConcept
"Admiral"
USMilitaryRankO10
USNavyRankingSystem
)
Military.kif 588-588
(
synonymousExternalConcept
"Airman Basic"
USMilitaryRankE1
USAirforceRankingSystem
)
Military.kif 353-353
(
synonymousExternalConcept
"Airman First Class"
USMilitaryRankE3
USAirforceRankingSystem
)
Military.kif 379-379
(
synonymousExternalConcept
"Airman"
USMilitaryRankE2
USAirforceRankingSystem
)
Military.kif 366-366
(
synonymousExternalConcept
"Brigadier General"
USMilitaryRankO7
USAirforceRankingSystem
)
Military.kif 550-550
(
synonymousExternalConcept
"Brigadier General"
USMilitaryRankO7
USArmyRankingSystem
)
Military.kif 546-546
(
synonymousExternalConcept
"Brigadier General"
USMilitaryRankO7
USMarineCorpsRankingSystem
)
Military.kif 551-551
(
synonymousExternalConcept
"Captain"
USMilitaryRankO3
USAirforceRankingSystem
)
Military.kif 507-507
(
synonymousExternalConcept
"Captain"
USMilitaryRankO3
USArmyRankingSystem
)
Military.kif 506-506
(
synonymousExternalConcept
"Captain"
USMilitaryRankO3
USMarineCorpsRankingSystem
)
Military.kif 508-508
(
synonymousExternalConcept
"Captain"
USMilitaryRankO6
USCoastGuardRankingSystem
)
Military.kif 540-540
(
synonymousExternalConcept
"Captain"
USMilitaryRankO6
USNavyRankingSystem
)
Military.kif 539-539
(
synonymousExternalConcept
"Chief Master Sergeant of the Air Force"
USMilitaryRankE9special
USAirforceRankingSystem
)
Military.kif 477-477
(
synonymousExternalConcept
"Chief Master Sergeant"
USMilitaryRankE9
USAirforceRankingSystem
)
Military.kif 462-462
(
synonymousExternalConcept
"Chief Petty Officer"
USMilitaryRankE7
USCoastGuardRankingSystem
)
Military.kif 434-434
(
synonymousExternalConcept
"Chief Petty Officer"
USMilitaryRankE7
USNavyRankingSystem
)
Military.kif 433-433
(
synonymousExternalConcept
"Chief Warrant Officer (CW2)"
USMilitaryRankWO2
USArmyRankingSystem
)
Military.kif 639-639
(
synonymousExternalConcept
"Chief Warrant Officer (CW3)"
USMilitaryRankWO3
USArmyRankingSystem
)
Military.kif 649-649
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