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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Exoskeleton
Exoskeleton(exoskeleton)
exoskeleton

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


(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 9890-9891
(externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Ant_SEM.jpg") pictureList.kif 5998-5998 "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Ant_SEM.jpg" is a URL depicting exoskeleton
(externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/en/5/59/ Exoskeleton3.jpg") pictureList.kif 6500-6500 "http://upload.wikimedia.org/wikipedia/en/5/59/Exoskeleton3.jpg" is a URL depicting exoskeleton
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 9892-9892 Every exoskeleton is initially part of a animal
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 9888-9888 Exoskeleton is a subclass of animal anatomical structure
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 9889-9889 Exoskeleton is a subclass of body part

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


(termFormat EnglishLanguage Exoskeleton "exoskeleton") domainEnglishFormat.kif 4219-4219 "exoskeleton" is the printable form of exoskeleton in english language

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


(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 9894-9899
(=>
    (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 9910-9920

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


(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))
Mid-level-ontology.kif 9901-9908 An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners