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

KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalFederationOfRedCrossAndRedCrescentSocieties
InternationalFederationOfRedCrossAndRedCrescentSocieties(international federation of red cross and red crescent societies)

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


(instance InternationalFederationOfRedCrossAndRedCrescentSocieties OrganizationOfNations) Government.kif 3495-3495 International federation of red cross and red crescent societies is an instance of organization of nations
(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties
    (DayFn 5
        (MonthFn May
            (YearFn 1919))))		 Government.kif 3500-3500 The day 5 of month the month May is a date established of international federation of red cross and red crescent societies
(organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties HumanitarianAid) Government.kif 3501-3501 Humanitarian aid is an organizational objective of international federation of red cross and red crescent societies

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


(conventionalLongName "International Federation of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3496-3496 International federation of red cross and red crescent societies is a conventional long name of "International Federation of Red Cross and Red Crescent Societies"
(abbreviation "IFRCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3497-3497 "IFRCS" is an abbreviation of international federation of red cross and red crescent societies
(formerName "League of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3498-3498 "League of Red Cross and Red Crescent Societies" is a former name for international federation of red cross and red crescent societies
(formerName "LORCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3499-3499 "LORCS" is a former name for international federation of red cross and red crescent societies
(termFormat EnglishLanguage InternationalFederationOfRedCrossAndRedCrescentSocieties "international federation of red cross and red crescent societies") domainEnglishFormat.kif 30591-30591 "LORCS" is a former name for international federation of red cross and red crescent societies
(termFormat ChineseTraditionalLanguage InternationalFederationOfRedCrossAndRedCrescentSocieties "國際紅十字會和紅新月會聯合會") domainEnglishFormat.kif 30592-30592 "LORCS" is a former name for international federation of red cross and red crescent societies
(termFormat ChineseLanguage InternationalFederationOfRedCrossAndRedCrescentSocieties "国际红十字会和红新月会联合会") domainEnglishFormat.kif 30593-30593 "LORCS" is a former name for international federation of red cross and red crescent societies

consequent
-------------------------


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))		 Government.kif 3595-3597 X is a member of international red cross and red crescent movement if and only if X is a member of international federation of red cross and red crescent societies


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners