Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Man
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 JesusOfNazarethManinstance では %n
(partition Human Man Woman) Merge.kif 19112-19112 人[人間]Man + Womanexhaustively partitioned %n
(subclass Boy Man) Mid-level-ontology.kif 501-501 BoyMansubclass では %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 引数は Maninstance では %n
(domain grandfather 2 Man) Mid-level-ontology.kif 20975-20975 grandfather の数値 2 引数は Maninstance では %n
(domain husband 1 Man) Merge.kif 21191-21191 husband の数値 1 引数は Maninstance では %n
(domain nephew 1 Man) Mid-level-ontology.kif 21000-21000 nephew の数値 1 引数は Maninstance では %n
(domain stepfather 2 Man) Mid-level-ontology.kif 21045-21045 stepfather の数値 2 引数は Maninstance では %n
(domain uncle 1 Man) Mid-level-ontology.kif 21029-21029 uncle の数値 1 引数は Maninstance では %n
(domain wife 2 Man) Merge.kif 21203-21203 wife の数値 2 引数は Maninstance では %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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners