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

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


(termFormat EnglishLanguage Girl "girl") domainEnglishFormat.kif 4766-4766

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


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


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