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 synonymousExternalConceptsubsumedExternalConceptdisjoint では
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 635-635 synonymousExternalConceptsubsumingExternalConceptdisjoint では
(documentation synonymousExternalConcept ChineseLanguage "(synonymousExternalConcept ?STRING ?THING ?LANGUAGE) 的意思是SUMO概念 ?THING 和概念 ?STRING 在语言 ?LANGUAGE 的含义是相同 的。") chinese_format.kif 1524-1526 synonymousExternalConceptsubsumingExternalConceptdisjoint では
(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 synonymousExternalConceptsubsumingExternalConceptdisjoint では
(documentation synonymousExternalConcept JapaneseLanguage "(synonymousExternalConcept ?STRING ?THING ?LANGUAGE) とは、SUMO概念?THINGが?LANGUAGEの?STRINGと同じ、という意味である。") japanese_format.kif 90-91 synonymousExternalConceptsubsumingExternalConceptdisjoint では
(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 synonymousExternalConceptsubsumingExternalConceptdisjoint では
(domain synonymousExternalConcept 1 SymbolicString) Merge.kif 629-629 synonymousExternalConcept の数値 1 引数は 記号文字列instance では
(domain synonymousExternalConcept 2 Entity) Merge.kif 630-630 synonymousExternalConcept の数値 2 引数は エンティティーinstance では
(domain synonymousExternalConcept 3 Language) Merge.kif 631-631 synonymousExternalConcept の数値 3 引数は 言語instance では
(instance synonymousExternalConcept TernaryPredicate) Merge.kif 633-633 synonymousExternalConcept3進述語instance では
(subrelation synonymousExternalConcept relatedExternalConcept) Merge.kif 628-628 synonymousExternalConceptrelatedExternalConceptsubrelation では

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 56609-56609
(termFormat ChineseLanguage synonymousExternalConcept "和外部意义相同的概念") chinese_format.kif 339-339
(termFormat ChineseTraditionalLanguage synonymousExternalConcept "同義外部概念") domainEnglishFormat.kif 56608-56608
(termFormat EnglishLanguage synonymousExternalConcept "synonymous external concept") domainEnglishFormat.kif 56607-56607
(termFormat de synonymousExternalConcept "synonymesVerwandtesAeusserkonzept") terms-de.txt 142-142

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


(synonymousExternalConcept "1st Lieutenant" USMilitaryRankO2 USAirforceRankingSystem) Military.kif 574-574
(synonymousExternalConcept "1st Lieutenant" USMilitaryRankO2 USArmyRankingSystem) Military.kif 573-573
(synonymousExternalConcept "1st Lieutenant" USMilitaryRankO2 USMarineCorpsRankingSystem) Military.kif 575-575
(synonymousExternalConcept "2nd Lieutenant" USMilitaryRankO1 USAirforceRankingSystem) Military.kif 564-564
(synonymousExternalConcept "2nd Lieutenant" USMilitaryRankO1 USArmyRankingSystem) Military.kif 563-563
(synonymousExternalConcept "2nd Lieutenant" USMilitaryRankO1 USMarineCorpsRankingSystem) Military.kif 565-565
(synonymousExternalConcept "Admiral" USMilitaryRankO10 USCoastGuardRankingSystem) Military.kif 666-666
(synonymousExternalConcept "Admiral" USMilitaryRankO10 USNavyRankingSystem) Military.kif 665-665
(synonymousExternalConcept "Airman Basic" USMilitaryRankE1 USAirforceRankingSystem) Military.kif 430-430
(synonymousExternalConcept "Airman First Class" USMilitaryRankE3 USAirforceRankingSystem) Military.kif 456-456
(synonymousExternalConcept "Airman" USMilitaryRankE2 USAirforceRankingSystem) Military.kif 443-443
(synonymousExternalConcept "Brigadier General" USMilitaryRankO7 USAirforceRankingSystem) Military.kif 627-627
(synonymousExternalConcept "Brigadier General" USMilitaryRankO7 USArmyRankingSystem) Military.kif 623-623
(synonymousExternalConcept "Brigadier General" USMilitaryRankO7 USMarineCorpsRankingSystem) Military.kif 628-628
(synonymousExternalConcept "Captain" USMilitaryRankO3 USAirforceRankingSystem) Military.kif 584-584
(synonymousExternalConcept "Captain" USMilitaryRankO3 USArmyRankingSystem) Military.kif 583-583
(synonymousExternalConcept "Captain" USMilitaryRankO3 USMarineCorpsRankingSystem) Military.kif 585-585
(synonymousExternalConcept "Captain" USMilitaryRankO6 USCoastGuardRankingSystem) Military.kif 617-617
(synonymousExternalConcept "Captain" USMilitaryRankO6 USNavyRankingSystem) Military.kif 616-616
(synonymousExternalConcept "Chief Master Sergeant of the Air Force" USMilitaryRankE9special USAirforceRankingSystem) Military.kif 554-554
(synonymousExternalConcept "Chief Master Sergeant" USMilitaryRankE9 USAirforceRankingSystem) Military.kif 539-539
(synonymousExternalConcept "Chief Petty Officer" USMilitaryRankE7 USCoastGuardRankingSystem) Military.kif 511-511
(synonymousExternalConcept "Chief Petty Officer" USMilitaryRankE7 USNavyRankingSystem) Military.kif 510-510
(synonymousExternalConcept "Chief Warrant Officer (CW2)" USMilitaryRankWO2 USArmyRankingSystem) Military.kif 716-716
(synonymousExternalConcept "Chief Warrant Officer (CW3)" USMilitaryRankWO3 USArmyRankingSystem) Military.kif 726-726

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