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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Exoskeleton

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 11698-11699
(externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Ant_SEM.jpg") pictureList.kif 5997-5997
(externalImage Exoskeleton "http://upload.wikimedia.org/wikipedia/en/5/59/ Exoskeleton3.jpg") pictureList.kif 6499-6499
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 11700-11700 initialPart Exoskeleton and 動物
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 11696-11696 ExoskeletonAnimalAnatomicalStructuresubclass では %n
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 11697-11697 Exoskeleton体の部分subclass では %n

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


(termFormat ChineseLanguage Exoskeleton "外骨骼") domainEnglishFormat.kif 22786-22786
(termFormat ChineseTraditionalLanguage Exoskeleton "外骨骼") domainEnglishFormat.kif 22785-22785
(termFormat EnglishLanguage Exoskeleton "exoskeleton") domainEnglishFormat.kif 22784-22784

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


(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 11702-11707
(=>
    (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 11718-11728

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


(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))
Mid-level-ontology.kif 11709-11716 オブジェクトinstance では %n オブジェクト オブジェクトSkeletoninstance では %n オブジェクトExoskeletoninstance では %n オブジェクト オブジェクトpart では %n


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 is open source software produced by Articulate Software and its partners