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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalFederationOfRedCrossAndRedCrescentSocieties

Sigma KEE - InternationalFederationOfRedCrossAndRedCrescentSocieties
InternationalFederationOfRedCrossAndRedCrescentSocieties

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


(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties
    (DayFn 5
        (MonthFn May
            (YearFn 1919))))
Government.kif 3445-3445
(instance InternationalFederationOfRedCrossAndRedCrescentSocieties OrganizationOfNations) Government.kif 3440-3440
(organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties HumanitarianAid) Government.kif 3446-3446

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


(abbreviation "IFRCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3442-3442
(conventionalLongName "International Federation of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3441-3441
(formerName "LORCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3444-3444
(formerName "League of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3443-3443
(termFormat EnglishLanguage InternationalFederationOfRedCrossAndRedCrescentSocieties "international federation of red cross and red crescent societies") domainEnglishFormat.kif 5515-5515

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))
Government.kif 3540-3542


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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