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


KB Term:  Term intersection
English Word: 

  Skeleton

 Sigma KEE - Skeleton
Skeleton(skeleton)skeletal

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


(subclass Skeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 13150-13150 Skeleton is a subclass of animal anatomical structure
(subclass Skeleton BodyPart) Mid-level-ontology.kif 13151-13151 Skeleton is a subclass of body part
(documentation Skeleton EnglishLanguage "The system of Bones that make up the supporting structure of Vertebrates.") Mid-level-ontology.kif 13152-13153 Skeleton is a subclass of body part

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


(termFormat EnglishLanguage Skeleton "skeleton") domainEnglishFormat.kif 53289-53289
(termFormat ChineseTraditionalLanguage Skeleton "骨架") domainEnglishFormat.kif 53290-53290
(termFormat ChineseLanguage Skeleton "骨架") domainEnglishFormat.kif 53291-53291

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


(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))		 Mid-level-ontology.kif 13155-13160 If X is an instance of animal, Y is an instance of skeleton, and Y is a part of X, then X is an instance of vertebrate
(=>
    (instance ?S Skeleton)
    (exists (?A)
        (and
            (instance ?A Animal)
            (interiorPart ?S ?A))))		 Mid-level-ontology.kif 13162-13167 If X is an instance of skeleton, then there exists Y such that Y is an instance of animal and X is a interior part of Y

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
(=>
    (instance ?J BodyJoint)
    (exists (?S ?P1 ?P2)
        (and
            (instance ?S Skeleton)
            (component ?P1 ?S)
            (component ?P2 ?S)
            (component ?J ?S)
            (connects ?J ?P1 ?P2))))		 Mid-level-ontology.kif 13207-13215 If X is an instance of body joint, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of skeleton (3) Z is a component of Y (4) W is a component of Y (5) X is a component of Y (6) X connects Z (7) W


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