Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalFederationOfRedCrossAndRedCrescentSocieties
InternationalFederationOfRedCrossAndRedCrescentSocieties

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


(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties
    (DayFn 5
        (MonthFn May
            (YearFn 1919))))
Government.kif 3508-3508
(instance InternationalFederationOfRedCrossAndRedCrescentSocieties OrganizationOfNations) Government.kif 3503-3503
(organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties HumanitarianAid) Government.kif 3509-3509

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


(abbreviation "IFRCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3505-3505
(conventionalLongName "International Federation of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3504-3504
(formerName "LORCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3507-3507
(formerName "League of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3506-3506
(termFormat ChineseLanguage InternationalFederationOfRedCrossAndRedCrescentSocieties "国际红十字会和红新月会联合会") domainEnglishFormat.kif 30589-30589
(termFormat ChineseTraditionalLanguage InternationalFederationOfRedCrossAndRedCrescentSocieties "國際紅十字會和紅新月會聯合會") domainEnglishFormat.kif 30588-30588
(termFormat EnglishLanguage InternationalFederationOfRedCrossAndRedCrescentSocieties "international federation of red cross and red crescent societies") domainEnglishFormat.kif 30587-30587

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))
Government.kif 3603-3605


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