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


KB Term:  Term intersection
English Word: 

Sigma KEE - Man
Man

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


(subclass Man Human) Merge.kif 14824-14824
(documentation Man EnglishLanguage "The class of Male Humans.") Merge.kif 14825-14825
(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/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
(externalImage Man "http://upload.wikimedia.org/wikipedia/commons/2/22/Da_Vinci_Vitruve_Luc_Viatour.jpg") pictureList.kif 3159-3159

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


(instance JesusOfNazareth Man) Media.kif 1920-1920
(partition Human Man Woman) Merge.kif 14820-14820
(subclass Boy Man) Mid-level-ontology.kif 347-347
(termFormat EnglishLanguage Man "man") domainEnglishFormat.kif 35903-35903
(termFormat ChineseTraditionalLanguage Man "人") domainEnglishFormat.kif 35904-35904
(termFormat ChineseLanguage Man "人") domainEnglishFormat.kif 35905-35905

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


(domain brother 1 Man) Merge.kif 16703-16703
(domain husband 1 Man) Merge.kif 16772-16772
(domain wife 2 Man) Merge.kif 16783-16783
(domain grandfather 2 Man) Mid-level-ontology.kif 25441-25441
(domain nephew 1 Man) Mid-level-ontology.kif 25464-25464
(domain uncle 1 Man) Mid-level-ontology.kif 25492-25492
(domain stepfather 2 Man) Mid-level-ontology.kif 25508-25508

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


(=>
    (and
        (instance ?H Man)
        (attribute ?H Mausaharati))
    (hasSkill Drumming ?H))		 ArabicCulture.kif 59-63
(=>
    (and
        (instance ?H Man)
        (attribute ?H Mausaharati)
        (instance ?D Drumming)
        (agent ?D ?H)
        (instance ?DAY Day)
        (instance ?S Sunrise)
        (during ?S ?DAY)
        (earlier
            (WhenFn ?D) ?S))
    (hasPurpose ?D
        (exists (?P ?SUHUR ?WU)
            (and
                (instance ?WU WakingUp)
                (experiencer ?WU ?P)
                (instance ?SUHUR Suhur)
                (agent ?SUHUR ?P)
                (earlier
                    (WhenFn ?WU)
                    (WhenFn ?SUHUR))
                (during
                    (WhenFn ?WU) ?DAY)
                (during
                    (WhenFn ?SUHUR) ?DAY)))))		 ArabicCulture.kif 65-84
(=>
    (instance ?MAN Man)
    (attribute ?MAN Male))		 Merge.kif 14827-14829
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))		 Mid-level-ontology.kif 25381-25385
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))		 Mid-level-ontology.kif 25387-25391

consequent
-------------------------


(=>
    (instance ?H Jallabiyyah)
    (hasPurpose ?H
        (exists (?M)
            (and
                (instance ?M Man)
                (wears ?M ?H)))))		 ArabicCulture.kif 438-444
(=>
    (instance ?H Dishdashah)
    (hasPurpose ?H
        (exists (?M)
            (and
                (instance ?M Man)
                (wears ?M ?H)))))		 ArabicCulture.kif 450-456


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 3.0 is open source software produced by Articulate Software and its partners