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


KB Term:  Term intersection
English Word: 

  DieselFuel

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