Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - synonymousExternalConcept
synonymousExternalConcept

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


(subrelation synonymousExternalConcept relatedExternalConcept) Merge.kif 627-627 synonymous external concept is a subrelation of related external concept
(domain synonymousExternalConcept 1 SymbolicString) Merge.kif 628-628 The number 1 argument of synonymous external concept is an instance of symbolic string
(domain synonymousExternalConcept 2 Entity) Merge.kif 629-629 The number 2 argument of synonymous external concept is an instance of entity
(domain synonymousExternalConcept 3 Language) Merge.kif 630-630 The number 3 argument of synonymous external concept is an instance of language
(instance synonymousExternalConcept TernaryPredicate) Merge.kif 632-632 synonymous external concept is an instance of ternary predicate
(disjointRelation synonymousExternalConcept subsumedExternalConcept) Merge.kif 633-633 synonymous external concept and subsumed external concept are disjoint
(disjointRelation synonymousExternalConcept subsumingExternalConcept) Merge.kif 634-634 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 637-639 synonymous external concept and subsuming external concept are disjoint

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage synonymousExternalConcept "synonymous external concept") domainEnglishFormat.kif 56600-56600
(termFormat ChineseTraditionalLanguage synonymousExternalConcept "同義外部概念") domainEnglishFormat.kif 56601-56601
(termFormat ChineseLanguage synonymousExternalConcept "同义外部概念") domainEnglishFormat.kif 56602-56602
(format EnglishLanguage synonymousExternalConcept "the concept of %1 in language %3 is %n synonymous with the concept of %2") english_format.kif 342-342

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


(synonymousExternalConcept "Private" USMilitaryRankE1 USArmyRankingSystem) Military.kif 627-627
(synonymousExternalConcept "Airman Basic" USMilitaryRankE1 USAirforceRankingSystem) Military.kif 628-628
(synonymousExternalConcept "Private" USMilitaryRankE1 USMarineCorpsRankingSystem) Military.kif 629-629
(synonymousExternalConcept "Seaman Recruit" USMilitaryRankE1 USNavyRankingSystem) Military.kif 630-630
(synonymousExternalConcept "Seaman Recruit" USMilitaryRankE1 USCoastGuardRankingSystem) Military.kif 631-631
(synonymousExternalConcept "Private" USMilitaryRankE2 USArmyRankingSystem) Military.kif 640-640
(synonymousExternalConcept "Airman" USMilitaryRankE2 USAirforceRankingSystem) Military.kif 641-641
(synonymousExternalConcept "Private First Class" USMilitaryRankE2 USMarineCorpsRankingSystem) Military.kif 642-642
(synonymousExternalConcept "Seaman Apprentice" USMilitaryRankE2 USNavyRankingSystem) Military.kif 643-643
(synonymousExternalConcept "Seaman Apprentice" USMilitaryRankE2 USCoastGuardRankingSystem) Military.kif 644-644
(synonymousExternalConcept "Private First Class" USMilitaryRankE3 USArmyRankingSystem) Military.kif 653-653
(synonymousExternalConcept "Airman First Class" USMilitaryRankE3 USAirforceRankingSystem) Military.kif 654-654
(synonymousExternalConcept "Lance Corporal" USMilitaryRankE3 USMarineCorpsRankingSystem) Military.kif 655-655
(synonymousExternalConcept "Seaman" USMilitaryRankE3 USNavyRankingSystem) Military.kif 656-656
(synonymousExternalConcept "Seaman" USMilitaryRankE3 USCoastGuardRankingSystem) Military.kif 657-657
(synonymousExternalConcept "Specialist, Fourth Class" USMilitaryRankE4 USArmyRankingSystem) Military.kif 666-666
(synonymousExternalConcept "Senior Airman" USMilitaryRankE4 USAirforceRankingSystem) Military.kif 667-667
(synonymousExternalConcept "Corporal" USMilitaryRankE4 USMarineCorpsRankingSystem) Military.kif 668-668
(synonymousExternalConcept "Petty Officer Third Class" USMilitaryRankE4 USNavyRankingSystem) Military.kif 669-669
(synonymousExternalConcept "Petty Officer Third Class" USMilitaryRankE4 USCoastGuardRankingSystem) Military.kif 670-670
(synonymousExternalConcept "Sergeant" USMilitaryRankE5 USArmyRankingSystem) Military.kif 679-679
(synonymousExternalConcept "Staff Sergeant" USMilitaryRankE5 USAirforceRankingSystem) Military.kif 680-680
(synonymousExternalConcept "Sergeant" USMilitaryRankE5 USMarineCorpsRankingSystem) Military.kif 681-681
(synonymousExternalConcept "Petty Officer Second Class" USMilitaryRankE5 USNavyRankingSystem) Military.kif 682-682
(synonymousExternalConcept "Petty Officer Second Class" USMilitaryRankE5 USCoastGuardRankingSystem) Military.kif 683-683

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners