![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Man ChineseLanguage "这是 Male Human 的类别。") | chinese_format.kif 3439-3439 | |
(documentation Man EnglishLanguage "The class of Male Humans.") | Merge.kif 14705-14705 | |
(externalImage Man "http://articulatesoftware.com/SUMOpictures/people/male/ men_2/ man_02.png") | pictureList.kif 577-577 | |
(externalImage Man "http://upload.wikimedia.org/wikipedia/commons/2/22/Da_Vinci_Vitruve_Luc_Viatour.jpg") | pictureList.kif 3159-3159 | |
(externalImage Man "http://upload.wikimedia.org/wikipedia/commons/8/89/Pioneer_plaque_line_drawing_of_a_human_male.svg") | pictureList.kif 3157-3157 | |
(externalImage Man "http://upload.wikimedia.org/wikipedia/commons/f/fd/Symbol_mars.svg") | pictureList.kif 3158-3158 | |
(subclass Man Human) | Merge.kif 14704-14704 | Man est une sous-classe de humain |
appearance as argument number 2 |
![]() |
(instance JesusOfNazareth Man) | Media.kif 1918-1918 | JesusOfNazareth est une instance de Man |
(partition Human Man Woman) | Merge.kif 14700-14700 | Humain est compl�tement d�compos� en Man + Woman |
(subclass Boy Man) | Mid-level-ontology.kif 344-344 | Boy est une sous-classe de Man |
(termFormat ChineseLanguage Man "人") | domainEnglishFormat.kif 35932-35932 | Boy est une sous-classe de Man |
(termFormat ChineseTraditionalLanguage Man "人") | domainEnglishFormat.kif 35931-35931 | Boy est une sous-classe de Man |
(termFormat EnglishLanguage Man "man") | domainEnglishFormat.kif 35930-35930 | Boy est une sous-classe de Man |
appearance as argument number 3 |
![]() |
(domain brother 1 Man) | Merge.kif 16580-16580 | Le nombre 1 argument de brother est une instance de Man |
(domain grandfather 2 Man) | Mid-level-ontology.kif 23396-23396 | Le nombre 2 argument de grandfather est une instance de Man |
(domain husband 1 Man) | Merge.kif 16649-16649 | Le nombre 1 argument de husband est une instance de Man |
(domain nephew 1 Man) | Mid-level-ontology.kif 23419-23419 | Le nombre 1 argument de nephew est une instance de Man |
(domain stepfather 2 Man) | Mid-level-ontology.kif 23463-23463 | Le nombre 2 argument de stepfather est une instance de Man |
(domain uncle 1 Man) | Mid-level-ontology.kif 23447-23447 | Le nombre 1 argument de uncle est une instance de Man |
(domain wife 2 Man) | Merge.kif 16660-16660 | Le nombre 2 argument de wife est une instance de Man |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?H Dishdashah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H))))) |
ArabicCulture.kif 450-456 | |
(=> (instance ?H Jallabiyyah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H))))) |
ArabicCulture.kif 438-444 |
![]() |
![]() |