| Man
| |
| appearance as argument number 1 |
|
|
| (documentation Man ChineseLanguage "这是 Male Human 的类别。") | Merge.kif 19119-19119 | |
| (documentation Man EnglishLanguage "The class of Male Humans.") | Merge.kif 19118-19118 | |
| (externalImage Man "http://upload.wikimedia.org/wikipedia/commons/2/22/Da_Vinci_Vitruve_Luc_Viatour.jpg") | pictureList.kif 3161-3161 | externalImage Man and "http://upload.wikimedia.org/wikipedia/commons/2/22/ Da_Vinci_Vitruve_Luc_Viatour.jpg" |
| (externalImage Man "http://upload.wikimedia.org/wikipedia/commons/8/89/Pioneer_plaque_line-drawing_of_a_human_male.svg") | pictureList.kif 3159-3159 | externalImage Man and "http://upload.wikimedia.org/wikipedia/commons/8/89/ Pioneer_plaque_line-drawing_of_a_human_male.svg" |
| (externalImage Man "http://upload.wikimedia.org/wikipedia/commons/f/fd/Symbol_mars.svg") | pictureList.kif 3160-3160 | externalImage Man and "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Symbol_mars.svg" |
| (externalImage Man "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ male/ men_2/ man_02.png") | pictureList.kif 577-577 | externalImage Man and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ male/ men_2/ man_02.png" |
| (subclass Man Human) | Merge.kif 19117-19117 | Man は 人［人間］ の subclass では %n |
| appearance as argument number 2 |
|
|
| (instance JesusOfNazareth Man) | Media.kif 1920-1920 | JesusOfNazareth は Man の instance では %n |
| (partition Human Man Woman) | Merge.kif 19112-19112 | 人［人間］ は Man + Woman に exhaustively partitioned %n |
| (subclass Boy Man) | Mid-level-ontology.kif 501-501 | Boy は Man の subclass では %n |
| (termFormat ChineseLanguage Man "人") | domainEnglishFormat.kif 35815-35815 | termFormat ChineseLanguage, Man and "人" |
| (termFormat ChineseTraditionalLanguage Man "人") | domainEnglishFormat.kif 35814-35814 | termFormat ChineseTraditionalLanguage, Man and "人" |
| (termFormat EnglishLanguage Man "man") | domainEnglishFormat.kif 35813-35813 | termFormat EnglishLanguage, Man and "man" |
| appearance as argument number 3 |
|
|
| (domain brother 1 Man) | Merge.kif 21110-21110 | brother の数値 1 引数は Man の instance では %n |
| (domain grandfather 2 Man) | Mid-level-ontology.kif 20975-20975 | grandfather の数値 2 引数は Man の instance では %n |
| (domain husband 1 Man) | Merge.kif 21191-21191 | husband の数値 1 引数は Man の instance では %n |
| (domain nephew 1 Man) | Mid-level-ontology.kif 21000-21000 | nephew の数値 1 引数は Man の instance では %n |
| (domain stepfather 2 Man) | Mid-level-ontology.kif 21045-21045 | stepfather の数値 2 引数は Man の instance では %n |
| (domain uncle 1 Man) | Mid-level-ontology.kif 21029-21029 | uncle の数値 1 引数は Man の instance では %n |
| (domain wife 2 Man) | Merge.kif 21203-21203 | wife の数値 2 引数は Man の instance では %n |
| antecedent |
|
|
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Man)) (son ?CHILD ?PARENT)) |
Mid-level-ontology.kif 20920-20924 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?PARENT Man)) (father ?CHILD ?PARENT)) |
Mid-level-ontology.kif 20905-20909 | |
| (=> (instance ?MAN Man) (attribute ?MAN Male)) |
Merge.kif 19121-19123 |
| consequent |
|
|
| (=> (instance ?H Dishdashah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H))))) |
ArabicCulture.kif 435-441 | |
| (=> (instance ?H Jallabiyyah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H))))) |
ArabicCulture.kif 423-429 |
|
|
|