|
|
   Girl
|
|
|
| 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 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 354-354 | Girl e' uma sub-classe de HumanChild |
| (subclass Girl Woman) | Mid-level-ontology.kif 355-355 | Girl e' uma sub-classe de Woman |
| 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 358-363 |
|
|
|
|
