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 synonymous external concept and subsumed external concept are disjoint
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 642-642 synonymous external concept and subsuming external concept are disjoint
(documentation synonymousExternalConcept ChineseLanguage "(synonymousExternalConcept ?STRING ?THING ?LANGUAGE) 的意思是SUMO概念 ?THING 和概念 ?STRING 在语言 ?LANGUAGE 的含义是相同 的。") chinese_format.kif 1524-1526 synonymous external concept and subsuming external concept are disjoint
(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 synonymous external concept and subsuming external concept are disjoint
(documentation synonymousExternalConcept JapaneseLanguage "(synonymousExternalConcept ?STRING ?THING ?LANGUAGE) とは、SUMO概念?THINGが?LANGUAGEの?STRINGと同じ、という意味である。") japanese_format.kif 90-91 synonymous external concept and subsuming external concept are disjoint
(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 synonymous external concept and subsuming external concept are disjoint
(domain synonymousExternalConcept 1 SymbolicString) Merge.kif 636-636 The number 1 argument of synonymous external concept is an instance of symbolic string
(domain synonymousExternalConcept 2 Entity) Merge.kif 637-637 The number 2 argument of synonymous external concept is an instance of entity
(domain synonymousExternalConcept 3 Language) Merge.kif 638-638 The number 3 argument of synonymous external concept is an instance of language
(instance synonymousExternalConcept TernaryPredicate) Merge.kif 640-640 synonymous external concept is an instance of ternary predicate
(subrelation synonymousExternalConcept relatedExternalConcept) Merge.kif 635-635 synonymous external concept is a subrelation of related external concept

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

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