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

KB Term:  Term intersection
English Word: 

Sigma KEE - Primate
Primate(primate)
Adapid, Adapid_group, Anthropoidea, Arctocebus, Avahi, Cynocephalidae, Cynocephalus, Cynocephalus_variegatus, Daubentonia, Daubentoniidae, Dermoptera, Indriidae, Lemuroidea, Lorisidae, Nycticebus, Omomyid, Omomyid_group, Perodicticus, Primates, Prosimii, Ptilocercus, Scandentia, Strepsirhini, Tarsiidae, Tarsioidea, Tarsius, Tarsius_glis, Tarsius_syrichta, Tupaia, Tupaiidae, anthropoid, colugo, family_Cynocephalidae, family_Daubentoniidae, family_Indriidae, family_Lorisidae, family_Tarsiidae, family_Tupaiidae, flying_cat, flying_lemur, genus_Arctocebus, genus_Avahi, genus_Cynocephalus, genus_Daubentonia, genus_Galago, genus_Indri, genus_Loris, genus_Nycticebus, genus_Perodicticus, genus_Ptilocercus...

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


(subclass Primate Mammal) Merge.kif 14938-14938 Primate is a subclass of mammal
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14939-14939 Primate is disjointly decomposed into ape, monkey, and hominid
(documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") Merge.kif 14940-14941 Primate is disjointly decomposed into ape, monkey, and hominid
(defaultMinimumHeight Primate
    (MeasureFn 1.5 FootLength))		 DimensioningAmenities.kif 928-928 The minimum expected height of primate is 1.5 foot length(s)
(defaultMaximumHeight Primate
    (MeasureFn 8 FootLength))		 DimensioningAmenities.kif 929-929 The maximum expected height of primate is 8 foot length(s)
(defaultMinimumMeasure Primate
    (MeasureFn 6 PoundMass))		 DimensioningAmenities.kif 930-930 The minimum expected value of primate is 6 pound mass(s)
(defaultMaximumMeasure Primate
    (MeasureFn 1000 PoundMass))		 DimensioningAmenities.kif 931-931 The maximum expected value of primate is 1000 pound mass(s)
(externalImage Primate "http://upload.wikimedia.org/wikipedia/en/thumb/9/ 9f/ Primate_in_cage_restraint.jpeg/ 200px_Primate_in_cage_restraint.jpeg") pictureList-ImageNet.kif 234-234 The maximum expected value of primate is 1000 pound mass(s)
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 3e/ Mandrillus_sphinx_2_(Piotr_Kuczynski).jpg/ 800px_Mandrillus_sphinx_2_(Piotr_Kuczynski).jpg") pictureList-ImageNet.kif 235-235 The maximum expected value of primate is 1000 pound mass(s)
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1f/ Ring_tailed_lemurs.jpg/ 250px_Ring_tailed_lemurs.jpg") pictureList-ImageNet.kif 236-236 The maximum expected value of primate is 1000 pound mass(s)
(externalImage Primate "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ 723px_Orang_utan_bukit_lawang_2006.jpg") pictureList-ImageNet.kif 237-237 The maximum expected value of primate is 1000 pound mass(s)

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


(subclass Ape Primate) Merge.kif 14943-14943 Ape is a subclass of primate
(subclass Monkey Primate) Merge.kif 14947-14947 Monkey is a subclass of primate
(subclass Hominid Primate) Merge.kif 14951-14951 Hominid is a subclass of primate
(subclass Lemur Primate) Mid-level-ontology.kif 33126-33126 Lemur is a subclass of primate
(initialPart Bone Primate) Anatomy.kif 18-18 Every bone is initially part of a primate
(termFormat EnglishLanguage Primate "primate") english_format.kif 1207-1207 Every bone is initially part of a primate

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


(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Lung)
            (instance ?L2 Lung)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?H))))		 Mid-level-ontology.kif 12688-12701 If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of lung (3) W is an instance of lung (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X
(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Leg)
            (instance ?L2 Leg)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?H))))		 Mid-level-ontology.kif 14299-14312 If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of leg (3) W is an instance of leg (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X
(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Foot)
            (instance ?L2 Foot)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?H))))		 Mid-level-ontology.kif 14326-14339 If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of foot (3) W is an instance of foot (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X

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


(=>
    (instance ?ARM Arm)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?ARM ?PRIMATE))))		 Mid-level-ontology.kif 14077-14082 If X is an instance of arm, then there exists Y such that Y is an instance of primate and X is a part of Y
(=>
    (instance ?SHOULDER Shoulder)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?SHOULDER ?PRIMATE))))		 Mid-level-ontology.kif 14402-14407 If X is an instance of shoulder, then there exists Y such that Y is an instance of primate and X is a part of Y
(=>
    (instance ?B Breast)
    (exists (?P)
        (and
            (instance ?P Primate)
            (part ?B ?P))))		 Mid-level-ontology.kif 14458-14463 If X is an instance of breast, then there exists Y such that Y is an instance of primate and X is a part of Y


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