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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Man

Sigma KEE - Man
Man(man)
1st_Baron_Beaverbrook, 1st_Baron_Verulam, 1st_Earl_Attlee, 1st_Earl_Baldwin_of_Bewdley, 1st_Earl_of_Balfour, 1st_Viscount_Montgomery_of_Alamein, A._A._Michelson, A._E._Burnside, A._E._Housman, A._Noam_Chomsky, Aalto, Aaron, Aaron_Burr, Aaron_Copland, Aaron_Montgomery_Ward, Abbott_Lawrence_Lowell, Abdias, Abel, Abel_Janszoon_Tasman, Abel_Tasman, Abelard, Abraham, Abu_Ali_al-Husain_ibn_Abdallah_ibn_Sina, Abul-Walid_Mohammed_ibn-Ahmad_Ibn-Mohammed_ibn-Roshd, Aby_Moritz_Warburg, Aby_Warburg, Acheson, Achille_Ratti, Achilles, Achmad_Sukarno, Adam, Adam_Smith, Adams, Adenauer, Adlai_Ewing_Stevenson, Adlai_Stevenson, Admiral_Byrd, Admiral_Dewey, Admiral_Nelson, Admiral_Nimitz, Adolf_Eichmann, Adolf_Hitler, Adolf_Loos, Adolf_Windaus, Adolph_Simon_Ochs, Adolphe_Sax, Adrian, Aegisthus, Aelius_Donatus, Aeneas...

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


(documentation Man ChineseLanguage "这是 Male Human 的类别。") Merge.kif 14747-14747
(documentation Man EnglishLanguage "The class of Male Humans.") Merge.kif 14746-14746
(externalImage Man "http://upload.wikimedia.org/wikipedia/commons/2/22/Da_Vinci_Vitruve_Luc_Viatour.jpg") pictureList.kif 3161-3161 "http://upload.wikimedia.org/wikipedia/commons/2/22/ Da_Vinci_Vitruve_Luc_Viatour.jpg" is a URL depicting man
(externalImage Man "http://upload.wikimedia.org/wikipedia/commons/8/89/Pioneer_plaque_line-drawing_of_a_human_male.svg") pictureList.kif 3159-3159 "http://upload.wikimedia.org/wikipedia/commons/8/89/ Pioneer_plaque_line-drawing_of_a_human_male.svg" is a URL depicting man
(externalImage Man "http://upload.wikimedia.org/wikipedia/commons/f/fd/Symbol_mars.svg") pictureList.kif 3160-3160 "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Symbol_mars.svg" is a URL depicting man
(externalImage Man "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ male/ men_2/ man_02.png") pictureList.kif 577-577 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ male/ men_2/ man_02.png" is a URL depicting man
(subclass Man Human) Merge.kif 14745-14745 Man is a subclass of human

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


(instance JesusOfNazareth Man) Media.kif 1920-1920 JesusOfNazareth is an instance of man
(partition Human Man Woman) Merge.kif 14740-14740 Human is exhaustively partitioned into man and woman
(subclass Boy Man) Mid-level-ontology.kif 501-501 Boy is a subclass of man
(termFormat EnglishLanguage Man "man") domainEnglishFormat.kif 6402-6402 "man" is the printable form of man in english language

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


(domain brother 1 Man) Merge.kif 16738-16738 The number 1 argument of brother is an instance of man
(domain grandfather 2 Man) Mid-level-ontology.kif 20974-20974 The number 2 argument of grandfather is an instance of man
(domain husband 1 Man) Merge.kif 16819-16819 The number 1 argument of husband is an instance of man
(domain nephew 1 Man) Mid-level-ontology.kif 20999-20999 The number 1 argument of nephew is an instance of man
(domain stepfather 2 Man) Mid-level-ontology.kif 21044-21044 The number 2 argument of stepfather is an instance of man
(domain uncle 1 Man) Mid-level-ontology.kif 21028-21028 The number 1 argument of uncle is an instance of man
(domain wife 2 Man) Merge.kif 16831-16831 The number 2 argument of wife is an instance of man

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


(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Man))
    (son ?CHILD ?PARENT))
Mid-level-ontology.kif 20919-20923
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))
Mid-level-ontology.kif 20904-20908
(=>
    (instance ?MAN Man)
    (attribute ?MAN Male))
Merge.kif 14749-14751

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