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 13002-13003
(externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Ant_SEM.jpg") pictureList.kif 5996-5996
(externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/en/5/59/ Exoskeleton3.jpg") pictureList.kif 6498-6498
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 13004-13004
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 13000-13000
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 13001-13001

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


(termFormat ChineseLanguage Exoskeleton "外骨骼") domainEnglishFormat.kif 22789-22789
(termFormat ChineseTraditionalLanguage Exoskeleton "外骨骼") domainEnglishFormat.kif 22788-22788
(termFormat EnglishLanguage Exoskeleton "exoskeleton") domainEnglishFormat.kif 22787-22787

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


(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 13006-13011
(=>
    (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 13022-13032

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


(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))
Mid-level-ontology.kif 13013-13020


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