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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Brood

appearance as argument number 1

(documentation Brood EnglishLanguage "A GroupOfAnimals that are all born at the same time and to the same parents.") Mid-level-ontology.kif 7449-7450
(externalImage Brood " Bienenwabe_mit_Eiern_und_Brut_5.jpg") pictureList.kif 10568-10568
(externalImage Brood " Day_old_chick_black_background.jpg") pictureList.kif 10566-10566
(externalImage Brood " Frog_in_frogspawn.jpg") pictureList.kif 9925-9925
(externalImage Brood " Chikies_17apr06.jpg") pictureList.kif 10567-10567
(subclass Brood GroupOfAnimals) Mid-level-ontology.kif 7448-7448

appearance as argument number 2

(termFormat ChineseLanguage Brood "窝") domainEnglishFormat.kif 12103-12103
(termFormat ChineseTraditionalLanguage Brood "窩") domainEnglishFormat.kif 12102-12102
(termFormat EnglishLanguage Brood "brood") domainEnglishFormat.kif 12101-12101


    (instance ?BROOD Brood)
    (exists (?TIME)
        (forall (?MEMBER)
                (member ?MEMBER ?BROOD)
                (exists (?BIRTH)
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?MEMBER)
                        (equal ?TIME
                            (WhenFn ?BIRTH))))))))
Mid-level-ontology.kif 7461-7471
    (instance ?BROOD Brood)
    (forall (?MEMBER1 ?MEMBER2)
                (member ?MEMBER1 ?BROOD)
                (member ?MEMBER2 ?BROOD))
            (sibling ?MEMBER1 ?MEMBER2))))
Mid-level-ontology.kif 7452-7459

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 3.0 is open source software produced by Articulate Software and its partners