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 dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties and 5 day 目
(instance InternationalFederationOfRedCrossAndRedCrescentSocieties OrganizationOfNations) Government.kif 3503-3503 InternationalFederationOfRedCrossAndRedCrescentSocieties は OrganizationOfNations の instance では %n
(organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties HumanitarianAid) Government.kif 3509-3509 organizationalObjective InternationalFederationOfRedCrossAndRedCrescentSocieties and HumanitarianAid

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


(abbreviation "IFRCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3505-3505 abbreviation "IFRCS" and InternationalFederationOfRedCrossAndRedCrescentSocieties
(conventionalLongName "International Federation of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3504-3504 conventionalLongName "International Federation of Red Cross and Red Crescent Societies" and InternationalFederationOfRedCrossAndRedCrescentSocieties
(formerName "LORCS" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3507-3507 formerName "LORCS" and InternationalFederationOfRedCrossAndRedCrescentSocieties
(formerName "League of Red Cross and Red Crescent Societies" InternationalFederationOfRedCrossAndRedCrescentSocieties) Government.kif 3506-3506 formerName "League of Red Cross and Red Crescent Societies" and InternationalFederationOfRedCrossAndRedCrescentSocieties
(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 物理 は InternationalRedCrossAndRedCrescentMovement の member では %n 物理 は InternationalFederationOfRedCrossAndRedCrescentSocieties の member では %n


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