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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Girl

Sigma KEE - Girl
Girl(女孩)
more pictures...

appearance as argument number 1
-------------------------


(documentation Girl EnglishLanguage "A HumanChild who is Female.") Mid-level-ontology.kif 363-363
(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 3102-3102
(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 3106-3106
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/7/7f/ SaniyaSyona.jpg") pictureList.kif 3107-3107
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Morioka_Kinder_2.JPG") pictureList.kif 2958-2958
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Bindi_Irwin_at_Australia_Zoo_in_January_2007.jpg") pictureList.kif 3103-3103
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/a/ab/ Girl_and_cat.jpg") pictureList.kif 3105-3105
(subclass Girl HumanChild) Mid-level-ontology.kif 361-361 女孩人类的孩子subclass
(subclass Girl Woman) Mid-level-ontology.kif 362-362 女孩女人subclass

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


(termFormat ChineseLanguage Girl "女孩") domainEnglishFormat.kif 26070-26070
(termFormat ChineseTraditionalLanguage Girl "女孩") domainEnglishFormat.kif 26069-26069
(termFormat EnglishLanguage Girl "girl") domainEnglishFormat.kif 26068-26068

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 99-115

consequent
-------------------------


(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Female)))
    (holdsDuring ?T1
        (instance ?H Girl)))
Mid-level-ontology.kif 365-370


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