Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


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

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


(abbreviation "IFRCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3469-3469 "IFRCS" is an abbreviation of international federation of red cross and red crescent societies
(conventionalLongName "International Federation of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3468-3468 International federation of red cross and red crescent societies is a conventional long name of "International Federation of Red Cross and Red Crescent Societies"
(formerName "LORCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3471-3471 "LORCS" is a former name for international federation of red cross and red crescent societies
(formerName "League of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3470-3470 "League of Red Cross and Red Crescent Societies" is a former name for international federation of red cross and red crescent societies
(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 3567-3569 A physical is a member of international red cross and red crescent movement if and only if the physical 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 is open source software produced by Articulate Software and its partners