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 513-513
(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 511-511
(subclass Girl Woman) Mid-level-ontology.kif 512-512

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


(termFormat ChineseLanguage Girl "女孩") domainEnglishFormat.kif 25999-25999
(termFormat ChineseTraditionalLanguage Girl "女孩") domainEnglishFormat.kif 25998-25998
(termFormat EnglishLanguage Girl "girl") domainEnglishFormat.kif 25997-25997

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners