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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Man

Sigma KEE - Man
Man
آدَم, قابيل, أُودِيب, أُودِيب رِكْس, الملِك أُودِيب, ...

appearance as argument number 1
-------------------------


(documentation Man ChineseLanguage "这是 Male Human 的类别。") Merge.kif 14689-14689
(documentation Man EnglishLanguage "The class of Male Humans.") Merge.kif 14688-14688
(externalImage Man "http://upload.wikimedia.org/wikipedia/commons/2/22/Da_Vinci_Vitruve_Luc_Viatour.jpg") pictureList.kif 3161-3161
(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 "http://upload.wikimedia.org/wikipedia/commons/f/fd/Symbol_mars.svg") pictureList.kif 3160-3160
(externalImage Man "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ male/ men_2/ man_02.png") pictureList.kif 577-577
(subclass Man Human) Merge.kif 14687-14687

appearance as argument number 2
-------------------------


(instance JesusOfNazareth Man) Media.kif 1920-1920
(partition Human Man Woman) Merge.kif 14682-14682
(subclass Boy Man) Mid-level-ontology.kif 501-501
(termFormat EnglishLanguage Man "man") domainEnglishFormat.kif 6402-6402

appearance as argument number 3
-------------------------


(domain brother 1 Man) Merge.kif 16686-16686
(domain grandfather 2 Man) Mid-level-ontology.kif 20943-20943
(domain husband 1 Man) Merge.kif 16767-16767
(domain nephew 1 Man) Mid-level-ontology.kif 20968-20968
(domain stepfather 2 Man) Mid-level-ontology.kif 21013-21013
(domain uncle 1 Man) Mid-level-ontology.kif 20997-20997
(domain wife 2 Man) Merge.kif 16779-16779

antecedent
-------------------------


(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))
Mid-level-ontology.kif 20888-20892
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))
Mid-level-ontology.kif 20873-20877
(=>
    (instance ?MAN Man)
    (attribute ?MAN Male))
Merge.kif 14691-14693

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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