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 619-619 synonymous external concept and subsumed external concept are disjoint
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 620-620 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
(documentation synonymousExternalConcept EnglishLanguage "(synonymousExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING has the same meaning as ?STRING in ?LANGUAGE.") Merge.kif 623-625
(instance synonymousExternalConcept TernaryPredicate) Merge.kif 618-618 synonymous external concept is an instance of ternary predicate
(subrelation synonymousExternalConcept relatedExternalConcept) Merge.kif 617-617 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 345-345
(termFormat ChineseLanguage synonymousExternalConcept "同义外部概念") domainEnglishFormat.kif 56498-56498
(termFormat ChineseLanguage synonymousExternalConcept "和外部意义相同的概念") chinese_format.kif 339-339
(termFormat ChineseTraditionalLanguage synonymousExternalConcept "同義外部概念") domainEnglishFormat.kif 56497-56497
(termFormat EnglishLanguage synonymousExternalConcept "synonymous external concept") domainEnglishFormat.kif 56496-56496

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners