Boy
|
|
appearance as argument number 1 |
(documentation Boy EnglishLanguage "A HumanChild who is Male.") | Mid-level-ontology.kif 352-352 | |
(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 2942-2942 | |
(subclass Boy HumanChild) | Mid-level-ontology.kif 350-350 | Boy is a subclass of human child |
(subclass Boy Man) | Mid-level-ontology.kif 351-351 | Boy is a subclass of man |
appearance as argument number 2 |
(termFormat ChineseLanguage Boy "男孩") | domainEnglishFormat.kif 11819-11819 | |
(termFormat ChineseTraditionalLanguage Boy "男孩") | domainEnglishFormat.kif 11818-11818 | |
(termFormat EnglishLanguage Boy "boy") | domainEnglishFormat.kif 11817-11817 |
antecedent |
consequent |
(=> (holdsDuring ?T1 (and (instance ?H HumanChild) (attribute ?H Male))) (holdsDuring ?T1 (instance ?H Boy))) |
Mid-level-ontology.kif 354-359 |
|