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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 9889-9890
(externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Ant_SEM.jpg") pictureList.kif 5998-5998
(externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/en/5/59/ Exoskeleton3.jpg") pictureList.kif 6500-6500
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 9891-9891 initialPart Exoskeleton and Animal
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 9887-9887 subclass Exoskeleton and AnimalAnatomicalStructure
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 9888-9888 subclass Exoskeleton and BodyPart

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


(termFormat ChineseLanguage Exoskeleton "外骨骼") domainEnglishFormat.kif 22720-22720
(termFormat ChineseTraditionalLanguage Exoskeleton "外骨骼") domainEnglishFormat.kif 22719-22719
(termFormat EnglishLanguage Exoskeleton "exoskeleton") domainEnglishFormat.kif 22718-22718

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


(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 9893-9898
(=>
    (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 9909-9919

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


(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))
Mid-level-ontology.kif 9900-9907 instance Object and Bone Object instance Object and Skeleton instance Object and Exoskeleton part Object and 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 3.0 is open source software produced by Articulate Software and its partners