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 634-634 synonymous external concept and subsumed external concept are disjoint
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 635-635 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 638-640 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 629-629 The number 1 argument of synonymous external concept is an instance of symbolic string
(domain synonymousExternalConcept 2 Entity) Merge.kif 630-630 The number 2 argument of synonymous external concept is an instance of entity
(domain synonymousExternalConcept 3 Language) Merge.kif 631-631 The number 3 argument of synonymous external concept is an instance of language
(instance synonymousExternalConcept TernaryPredicate) Merge.kif 633-633 synonymous external concept is an instance of ternary predicate
(subrelation synonymousExternalConcept relatedExternalConcept) Merge.kif 628-628 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 56638-56638
(termFormat ChineseLanguage synonymousExternalConcept "和外部意义相同的概念") chinese_format.kif 339-339
(termFormat ChineseTraditionalLanguage synonymousExternalConcept "同義外部概念") domainEnglishFormat.kif 56637-56637
(termFormat EnglishLanguage synonymousExternalConcept "synonymous external concept") domainEnglishFormat.kif 56636-56636
(termFormat de synonymousExternalConcept "synonymesVerwandtesAeusserkonzept") terms-de.txt 142-142

appearance as argument number 0
-------------------------


(synonymousExternalConcept "1st Lieutenant" USMilitaryRankO2 USAirforceRankingSystem) Military.kif 564-564
(synonymousExternalConcept "1st Lieutenant" USMilitaryRankO2 USArmyRankingSystem) Military.kif 563-563
(synonymousExternalConcept "1st Lieutenant" USMilitaryRankO2 USMarineCorpsRankingSystem) Military.kif 565-565
(synonymousExternalConcept "2nd Lieutenant" USMilitaryRankO1 USAirforceRankingSystem) Military.kif 554-554
(synonymousExternalConcept "2nd Lieutenant" USMilitaryRankO1 USArmyRankingSystem) Military.kif 553-553
(synonymousExternalConcept "2nd Lieutenant" USMilitaryRankO1 USMarineCorpsRankingSystem) Military.kif 555-555
(synonymousExternalConcept "Admiral" USMilitaryRankO10 USCoastGuardRankingSystem) Military.kif 656-656
(synonymousExternalConcept "Admiral" USMilitaryRankO10 USNavyRankingSystem) Military.kif 655-655
(synonymousExternalConcept "Airman Basic" USMilitaryRankE1 USAirforceRankingSystem) Military.kif 420-420
(synonymousExternalConcept "Airman First Class" USMilitaryRankE3 USAirforceRankingSystem) Military.kif 446-446
(synonymousExternalConcept "Airman" USMilitaryRankE2 USAirforceRankingSystem) Military.kif 433-433
(synonymousExternalConcept "Brigadier General" USMilitaryRankO7 USAirforceRankingSystem) Military.kif 617-617
(synonymousExternalConcept "Brigadier General" USMilitaryRankO7 USArmyRankingSystem) Military.kif 613-613
(synonymousExternalConcept "Brigadier General" USMilitaryRankO7 USMarineCorpsRankingSystem) Military.kif 618-618
(synonymousExternalConcept "Captain" USMilitaryRankO3 USAirforceRankingSystem) Military.kif 574-574
(synonymousExternalConcept "Captain" USMilitaryRankO3 USArmyRankingSystem) Military.kif 573-573
(synonymousExternalConcept "Captain" USMilitaryRankO3 USMarineCorpsRankingSystem) Military.kif 575-575
(synonymousExternalConcept "Captain" USMilitaryRankO6 USCoastGuardRankingSystem) Military.kif 607-607
(synonymousExternalConcept "Captain" USMilitaryRankO6 USNavyRankingSystem) Military.kif 606-606
(synonymousExternalConcept "Chief Master Sergeant of the Air Force" USMilitaryRankE9special USAirforceRankingSystem) Military.kif 544-544
(synonymousExternalConcept "Chief Master Sergeant" USMilitaryRankE9 USAirforceRankingSystem) Military.kif 529-529
(synonymousExternalConcept "Chief Petty Officer" USMilitaryRankE7 USCoastGuardRankingSystem) Military.kif 501-501
(synonymousExternalConcept "Chief Petty Officer" USMilitaryRankE7 USNavyRankingSystem) Military.kif 500-500
(synonymousExternalConcept "Chief Warrant Officer (CW2)" USMilitaryRankWO2 USArmyRankingSystem) Military.kif 706-706
(synonymousExternalConcept "Chief Warrant Officer (CW3)" USMilitaryRankWO3 USArmyRankingSystem) Military.kif 716-716

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