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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Girl
Girl
more pictures...

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


(documentation Girl EnglishLanguage "A HumanChild who is Female.") Mid-level-ontology.kif 341-341
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/7/72/ Frukosten_av_Amalia_Lindegren_1866.jpg") pictureList.kif 3103-3103
(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 3107-3107
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/7/7f/ SaniyaSyona.jpg") pictureList.kif 3108-3108
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Morioka_Kinder_2.JPG") pictureList.kif 2959-2959
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Bindi_Irwin_at_Australia_Zoo_in_January_2007.jpg") pictureList.kif 3104-3104
(externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/a/ab/ Girl_and_cat.jpg") pictureList.kif 3106-3106
(externalImage Girl "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ faces/ faces_5/ girl.png") pictureList.kif 463-463
(subclass Girl HumanChild) Mid-level-ontology.kif 339-339
(subclass Girl Woman) Mid-level-ontology.kif 340-340

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


(termFormat ChineseLanguage Girl "女孩") domainEnglishFormat.kif 26061-26061
(termFormat ChineseTraditionalLanguage Girl "女孩") domainEnglishFormat.kif 26060-26060
(termFormat EnglishLanguage Girl "girl") domainEnglishFormat.kif 26059-26059

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


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


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