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


KB Term:  Term intersection
English Word: 

Sigma KEE - Primate
Primate(primate)

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


(subclass Primate Mammal) Merge.kif 14801-14801 Primate is a subclass of mammal
(disjointDecomposition Primate Ape Monkey Hominid) Merge.kif 14802-14802 Primate is disjointly decomposed into ape, monkey, and hominid
(documentation Primate EnglishLanguage "The Class of Mammals which are Primates.") Merge.kif 14803-14804 Primate is disjointly decomposed into ape, monkey, and hominid
(defaultMinimumHeight Primate
    (MeasureFn 1.5 FootLength))		 DimensioningAmenities.kif 926-926 The minimum expected height of primate is 1.5 foot length(s)
(defaultMaximumHeight Primate
    (MeasureFn 8 FootLength))		 DimensioningAmenities.kif 927-927 The maximum expected height of primate is 8 foot length(s)
(defaultMinimumMeasure Primate
    (MeasureFn 6 PoundMass))		 DimensioningAmenities.kif 928-928 The minimum expected value of primate is 6 pound mass(s)
(defaultMaximumMeasure Primate
    (MeasureFn 1000 PoundMass))		 DimensioningAmenities.kif 929-929 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 14806-14806 Ape is a subclass of primate
(subclass Monkey Primate) Merge.kif 14810-14810 Monkey is a subclass of primate
(subclass Hominid Primate) Merge.kif 14814-14814 Hominid is a subclass of primate
(subclass Lemur Primate) Mid-level-ontology.kif 33184-33184 Lemur is a subclass of primate
(initialPart Bone Primate) Anatomy.kif 20-20 Every bone is initially part of a primate
(termFormat EnglishLanguage Primate "primate") english_format.kif 1203-1203 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 12591-12604 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 14169-14182 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 14196-14209 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 13949-13954 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 14272-14277 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 14328-14333 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 is open source software produced by Articulate Software and its partners