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 3472-3472
(instance InternationalFederationOfRedCrossAndRedCrescentSocieties OrganizationOfNations) Government.kif 3467-3467
(organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties HumanitarianAid) Government.kif 3473-3473

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


(abbreviation "IFRCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3469-3469
(conventionalLongName "International Federation of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3468-3468
(formerName "LORCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3471-3471
(formerName "League of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3470-3470
(termFormat ChineseLanguage InternationalFederationOfRedCrossAndRedCrescentSocieties "国际红十字会和红新月会联合会") domainEnglishFormat.kif 30618-30618
(termFormat ChineseTraditionalLanguage InternationalFederationOfRedCrossAndRedCrescentSocieties "國際紅十字會和紅新月會聯合會") domainEnglishFormat.kif 30617-30617
(termFormat EnglishLanguage InternationalFederationOfRedCrossAndRedCrescentSocieties "international federation of red cross and red crescent societies") domainEnglishFormat.kif 30616-30616

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))		 Government.kif 3567-3569


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