Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - synonymousExternalConcept
synonymousExternalConcept

appearance as argument number 1
-------------------------


(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 641-641 synonymousExternalConcept et subsumedExternalConcept sont disjoint
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 642-642 synonymousExternalConcept et subsumingExternalConcept sont 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 Le nombre 1 argument de synonymousExternalConcept est une instance de cha�ne sympbolique
(domain synonymousExternalConcept 2 Entity) Merge.kif 637-637 Le nombre 2 argument de synonymousExternalConcept est une instance de entit�
(domain synonymousExternalConcept 3 Language) Merge.kif 638-638 Le nombre 3 argument de synonymousExternalConcept est une instance de langage
(instance synonymousExternalConcept TernaryPredicate) Merge.kif 640-640 synonymousExternalConcept est une instance de pr�dicat ternaire
(subrelation synonymousExternalConcept relatedExternalConcept) Merge.kif 635-635 synonymousExternalConcept est une sous-relation de relatedExternalConcept

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 56605-56605
(termFormat ChineseLanguage synonymousExternalConcept "和外部意义相同的概念") chinese_format.kif 339-339
(termFormat ChineseTraditionalLanguage synonymousExternalConcept "同義外部概念") domainEnglishFormat.kif 56604-56604
(termFormat EnglishLanguage synonymousExternalConcept "synonymous external concept") domainEnglishFormat.kif 56603-56603

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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