more pictures...
| Girl
more pictures... | |
| 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 3101-3101 | |
| (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 3105-3105 | |
| (externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/7/7f/ SaniyaSyona.jpg") | pictureList.kif 3106-3106 | |
| (externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Morioka_Kinder_2.JPG") | pictureList.kif 2957-2957 | |
| (externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Bindi_Irwin_at_Australia_Zoo_in_January_2007.jpg") | pictureList.kif 3102-3102 | |
| (externalImage Girl "http://upload.wikimedia.org/wikipedia/commons/a/ab/ Girl_and_cat.jpg") | pictureList.kif 3104-3104 | |
| (subclass Girl HumanChild) | Mid-level-ontology.kif 354-354 | Girl est une sous-classe de HumanChild |
| (subclass Girl Woman) | Mid-level-ontology.kif 355-355 | Girl est une sous-classe de Woman |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Girl "女孩") | domainEnglishFormat.kif 26081-26081 | |
| (termFormat ChineseTraditionalLanguage Girl "女孩") | domainEnglishFormat.kif 26080-26080 | |
| (termFormat EnglishLanguage Girl "girl") | domainEnglishFormat.kif 26079-26079 |
| 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 102-118 |
|
| consequent |
|
|
| (=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Female))) (holdsDuring ?T1 (instance ?H Girl))) |
Mid-level-ontology.kif 358-363 |
|
|
|
|