| Boy
| |
| appearance as argument number 1 |
|
|
| (documentation Boy EnglishLanguage "A HumanChild who is Male.") | Mid-level-ontology.kif 345-345 | |
| (externalImage Boy "http://articulatesoftware.com/SUMOpictures/people/children/ boy.png") | pictureList.kif 287-287 | |
| (externalImage Boy "http://upload.wikimedia.org/wikipedia/commons/2/29/Babasteve_three_boys.jpg") | pictureList.kif 50-50 | |
| (externalImage Boy "http://upload.wikimedia.org/wikipedia/commons/c/cc/Young_Polish_boy.jpg") | pictureList.kif 2941-2941 | |
| (subclass Boy HumanChild) | Mid-level-ontology.kif 343-343 | Boy est une sous-classe de HumanChild |
| (subclass Boy Man) | Mid-level-ontology.kif 344-344 | Boy est une sous-classe de Man |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Boy "男孩") | domainEnglishFormat.kif 11828-11828 | |
| (termFormat ChineseTraditionalLanguage Boy "男孩") | domainEnglishFormat.kif 11827-11827 | |
| (termFormat EnglishLanguage Boy "boy") | domainEnglishFormat.kif 11826-11826 |
| antecedent |
|
|
| (=> (and (instance ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (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 71-87 |
|
| consequent |
|
|
| (=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Male))) (holdsDuring ?T1 (instance ?H Boy))) |
Mid-level-ontology.kif 347-352 |
|
|
|
|