TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Girl HumanChild)	Mid-level-ontology.kif 344-344	Girl is a subclass of human child
(subclass Girl Woman)	Mid-level-ontology.kif 345-345	Girl is a subclass of woman
(documentation Girl EnglishLanguage "A HumanChild who is Female.")	Mid-level-ontology.kif 346-346	Girl is a subclass of woman
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/7/76/ Anderson_Sophie_Portrait_Of_Young_Girl.jpg")	pictureList.kif 102-102	Girl is a subclass of woman
(externalImage Girl "http://articulatesoftware.com/SUMOpictures/people/faces/ faces_5/ girl.png")	pictureList.kif 463-463	Girl is a subclass of woman
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Morioka_Kinder_2.JPG")	pictureList.kif 2957-2957	Girl is a subclass of woman
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/7/72/ Frukosten_av_Amalia_Lindegren_1866.jpg")	pictureList.kif 3101-3101	Girl is a subclass of woman
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Bindi_Irwin_at_Australia_Zoo_in_January_2007.jpg")	pictureList.kif 3102-3102	Girl is a subclass of woman
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/a/ab/ Girl_and_cat.jpg")	pictureList.kif 3104-3104	Girl is a subclass of woman
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/7/7b/ In%C3%AAsPortoCovo2006-1.jpg")	pictureList.kif 3105-3105	Girl is a subclass of woman
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/7/7f/ SaniyaSyona.jpg")	pictureList.kif 3106-3106	Girl is a subclass of woman

appearance as argument number 2

(termFormat EnglishLanguage Girl "girl")	domainEnglishFormat.kif 26072-26072
(termFormat ChineseTraditionalLanguage Girl "女孩")	domainEnglishFormat.kif 26073-26073
(termFormat ChineseLanguage Girl "女孩")	domainEnglishFormat.kif 26074-26074

antecedent

(=>
    (and
        (instance ?MIT BatMitzvah)
        (patient ?MIT ?X)
        (instance ?X Girl)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))

Biography.kif 102-118

If All of the following hold: (1) X is an instance of bat mitzvah (2) Y is a patient of X (3) Y is an instance of girl (4) Y is a member of Z (5) Z is an instance of judaism (6) W is a birthdate of Y (7) W is an instance of the day V of month the month U, then there exist T and S such that T is an instance of integer and equal T and (R and 13) and S is an instance of the day V of month the month U and equal the time of existence of X and immediately after S

consequent

(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Female)))
    (holdsDuring ?T1
        (instance ?H Girl)))

Mid-level-ontology.kif 348-353

If X is an instance of human child and female is an attribute of X holds during Y, then X is an instance of girl holds during Y

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: