| Boy
| |
| appearance as argument number 1 |
|
|
| (documentation Boy EnglishLanguage "A HumanChild who is Male.") | Mid-level-ontology.kif 501-501 | |
| (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 499-499 | |
| (subclass Boy Man) | Mid-level-ontology.kif 500-500 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Boy "男孩") | domainEnglishFormat.kif 11831-11831 | |
| (termFormat ChineseTraditionalLanguage Boy "男孩") | domainEnglishFormat.kif 11830-11830 | |
| (termFormat EnglishLanguage Boy "boy") | domainEnglishFormat.kif 11829-11829 |
| consequent |
|
|
| (=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Male))) (holdsDuring ?T1 (instance ?H Boy))) |
Mid-level-ontology.kif 504-509 |
|
|
|