Girl - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Girl "女孩")	domainEnglishFormat.kif 26081-26081
(termFormat ChineseTraditionalLanguage Girl "女孩")	domainEnglishFormat.kif 26080-26080
(termFormat EnglishLanguage Girl "girl")	domainEnglishFormat.kif 26079-26079

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 a process is an instance of bat mitzvah and a human is a patient of the process and the human is an instance of girl and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month,
then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position

consequent

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

Mid-level-ontology.kif 358-363

If an entity is an instance of human child and female is an attribute of the entity holds during a time position,
then the entity is an instance of girl holds during the time position

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

KB Term:			Term intersection

English Word: