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

KB Term:  Term intersection
English Word: 

Sigma KEE - Man
Man

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


(subclass Man Human) Merge.kif 14961-14961
(documentation Man EnglishLanguage "The class of Male Humans.") Merge.kif 14962-14962
(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
-------------------------


(partition Human Man Woman) Merge.kif 14957-14957
(subclass Boy Man) Mid-level-ontology.kif 334-334
(instance JesusOfNazareth Man) Media.kif 1865-1865
(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 16862-16862
(domain husband 1 Man) Merge.kif 16930-16930
(domain wife 2 Man) Merge.kif 16940-16940
(domain grandfather 2 Man) Mid-level-ontology.kif 25399-25399
(domain nephew 1 Man) Mid-level-ontology.kif 25422-25422
(domain uncle 1 Man) Mid-level-ontology.kif 25450-25450
(domain stepfather 2 Man) Mid-level-ontology.kif 25466-25466
(connectedBodyPartTypes TesticularArtery AbdominalAorta Man) arteries.kif 1493-1493
(connectedBodyPartTypes InferiorVesicalArtery InternalIliacArtery Man) arteries.kif 1581-1581
(connectedBodyPartTypes PosteriorScrotalBranchArtery InternalPudendalArtery Man) arteries.kif 1606-1606
(connectedBodyPartTypes ArteryOfBulbOfPenis InternalPudendalArtery Man) arteries.kif 1621-1621
(connectedBodyPartTypes DorsalArteryOfPenis InternalPudendalArtery Man) arteries.kif 1631-1631
(connectedBodyPartTypes DeepArteryOfPenis InternalPudendalArtery Man) arteries.kif 1641-1641
(connectedBodyPartTypes DeferentialArtery InternalIliacArtery Man) arteries.kif 1668-1668

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


(=>
    (instance ?MAN Man)
    (attribute ?MAN Male))		 Merge.kif 14964-14966
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))		 Mid-level-ontology.kif 25339-25343
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))		 Mid-level-ontology.kif 25345-25349
(=>
    (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

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


(=>
    (instance ?H Jallabiyyah)
    (hasPurpose ?H
        (exists (?M)
            (and
                (instance ?M Man)
                (wears ?M ?H)))))		 ArabicCulture.kif 437-443
(=>
    (instance ?H Dishdashah)
    (hasPurpose ?H
        (exists (?M)
            (and
                (instance ?M Man)
                (wears ?M ?H)))))		 ArabicCulture.kif 449-455


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners