| Boy
| |
| appearance as argument number 1 |
|
|
| (documentation Boy EnglishLanguage "A HumanChild who is Male.") | Mid-level-ontology.kif 345-345 | |
| (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 2943-2943 | |
| (externalImage Boy "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ children/ boy.png") | pictureList.kif 287-287 | |
| (subclass Boy HumanChild) | Mid-level-ontology.kif 343-343 | |
| (subclass Boy Man) | Mid-level-ontology.kif 344-344 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Boy "男孩") | domainEnglishFormat.kif 11822-11822 | |
| (termFormat ChineseTraditionalLanguage Boy "男孩") | domainEnglishFormat.kif 11821-11821 | |
| (termFormat EnglishLanguage Boy "boy") | domainEnglishFormat.kif 11820-11820 |
| consequent |
|
|
| (=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Male))) (holdsDuring ?T1 (instance ?H Boy))) |
Mid-level-ontology.kif 347-352 |
|
|
|