| appearance as argument number 1 |
|
|
| s__documentation(s__Man,s__ChineseLanguage,'"这是 Male Human 的类别。"')
|
chinese_format.kif 3439-3439 | |
| s__documentation(s__Man,s__EnglishLanguage,'"The class of Male Humans."')
|
Merge.kif 13956-13956 | |
| s__externalImage(s__Man,'"http://upload.wikimedia.org/wikipedia/commons/2/22/Da_Vinci_Vitruve_Luc_Viatour.jpg"')
|
pictureList.kif 3161-3161 | |
| s__externalImage(s__Man,'"http://upload.wikimedia.org/wikipedia/commons/8/89/Pioneer_plaque_line-drawing_of_a_human_male.svg"')
|
pictureList.kif 3159-3159 | |
| s__externalImage(s__Man,'"http://upload.wikimedia.org/wikipedia/commons/f/fd/Symbol_mars.svg"')
|
pictureList.kif 3160-3160 | |
| s__externalImage(s__Man,'"http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ male/ men_2/ man_02.png"')
|
pictureList.kif 577-577 | |
| s__instance(s__Man,s__SetOrClass) s__instance(s__Human,s__SetOrClass)
|
Merge.kif 13955-13955 | Man is a subclass of human |
| appearance as argument number 2 |
|
|
| s__instance(s__Man,s__SetOrClass) s__instance(s__JesusOfNazareth,s__Man)
|
Media.kif 1920-1920 | JesusOfNazareth is an instance of man |
| s__partition__3(s__Human,s__Man,s__Woman)
|
Merge.kif 13951-13951 | Human is exhaustively partitioned into man and woman |
| s__subclass(s__Boy,s__Man) s__instance(s__Man,s__SetOrClass) s__instance(s__Boy,s__SetOrClass)
|
Mid-level-ontology.kif 329-329 | Boy is a subclass of man |
| s__termFormat(s__ChineseLanguage,s__Man,'"人"')
|
domainEnglishFormat.kif 35886-35886 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__Man,'"人"')
|
domainEnglishFormat.kif 35885-35885 | |
| s__termFormat(s__EnglishLanguage,s__Man,'"man"')
|
domainEnglishFormat.kif 35884-35884 |
| appearance as argument number 3 |
|
|
| s__domain(s__brother__m,n__1,s__Man)
|
Merge.kif 15727-15727 | The number 1 argument of brother is an instance of man |
| s__domain(s__grandfather__m,n__2,s__Man)
|
Mid-level-ontology.kif 21822-21822 | The number 2 argument of grandfather is an instance of man |
| s__domain(s__husband__m,n__1,s__Man)
|
Merge.kif 15796-15796 | The number 1 argument of husband is an instance of man |
| s__domain(s__nephew__m,n__1,s__Man)
|
Mid-level-ontology.kif 21845-21845 | The number 1 argument of nephew is an instance of man |
| s__domain(s__stepfather__m,n__2,s__Man)
|
Mid-level-ontology.kif 21889-21889 | The number 2 argument of stepfather is an instance of man |
| s__domain(s__uncle__m,n__1,s__Man)
|
Mid-level-ontology.kif 21873-21873 | The number 1 argument of uncle is an instance of man |
| s__domain(s__wife__m,n__2,s__Man)
|
Merge.kif 15807-15807 | The number 2 argument of wife is an instance of man |
| antecedent |
|
|
| ( ! [V__CHILD,V__PARENT] : ((s__instance(V__PARENT,s__Organism) => (((s__parent(V__CHILD,V__PARENT) & s__instance(V__CHILD,s__Man)) => (s__son(V__CHILD,V__PARENT))))) ) )
|
Mid-level-ontology.kif 21768-21772 |
|
| ( ! [V__CHILD,V__PARENT] : ((s__instance(V__CHILD,s__Organism) => (((s__parent(V__CHILD,V__PARENT) & s__instance(V__PARENT,s__Man)) => (s__father(V__CHILD,V__PARENT))))) ) )
|
Mid-level-ontology.kif 21762-21766 |
|
| ( ! [V__MAN] : ((s__instance(V__MAN,s__Man) => (s__attribute(V__MAN,s__Male))) ) )
|
Merge.kif 13958-13960 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 437-443 |
|
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 425-431 |
|
|
|
|