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

KB Term:  Term intersection
English Word: 

Sigma KEE - Exoskeleton
Exoskeleton(exoskeleton)
exoskeleton

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


(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 13169-13169 Exoskeleton is a subclass of animal anatomical structure
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 13170-13170 Exoskeleton is a subclass of body part
(documentation Exoskeleton EnglishLanguage "The system of Bones that are on the Outside of an organism and make up the supporting structure of many Invertebrates.") Mid-level-ontology.kif 13171-13172 Exoskeleton is a subclass of body part
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 13173-13173 Every exoskeleton is initially part of a animal
(externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Ant_SEM.jpg") pictureList.kif 5996-5996 Every exoskeleton is initially part of a animal
(externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/en/5/59/ Exoskeleton3.jpg") pictureList.kif 6498-6498 Every exoskeleton is initially part of a animal

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


(termFormat EnglishLanguage Exoskeleton "exoskeleton") domainEnglishFormat.kif 22780-22780
(termFormat ChineseTraditionalLanguage Exoskeleton "外骨骼") domainEnglishFormat.kif 22781-22781
(termFormat ChineseLanguage Exoskeleton "外骨骼") domainEnglishFormat.kif 22782-22782

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


(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))		 Mid-level-ontology.kif 13175-13180 If X is an instance of animal, Y is an instance of exoskeleton, and Y is a part of X, then X is an instance of invertebrate
(=>
    (instance ?X Exoskeleton)
    (exists (?A)
        (and
            (instance ?A Animal)
            (part ?X ?A)
            (not
                (exists (?PART)
                    (and
                        (properPart ?PART ?A)
                        (orientation ?PART ?X Outside)))))))		 Mid-level-ontology.kif 13191-13201 If X is an instance of exoskeleton, then there exists Y such that Y is an instance of animal, X is a part of Y, there doesn't exist Z such that Z is a proper part of Y, and Z is outside of to X

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


(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 13182-13189 X is an instance of bone if, only if there exists Y such that Y is an instance of skeleton or Y is an instance of exoskeleton, 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