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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 11671-11672
(externalImage Exoskeleton " c/ ca/ Ant_SEM.jpg") pictureList.kif 5997-5997
(externalImage Exoskeleton " Exoskeleton3.jpg") pictureList.kif 6499-6499
(initialPart Exoskeleton Animal) Mid-level-ontology.kif 11673-11673 %每个 外骨骼动物initially part
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 11669-11669 外骨骼动物解剖结构subclass
(subclass Exoskeleton BodyPart) Mid-level-ontology.kif 11670-11670 外骨骼身体部位subclass

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


        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 11675-11680
    (instance ?X Exoskeleton)
    (exists (?A)
            (instance ?A Animal)
            (part ?X ?A)
                (exists (?PART)
                        (properPart ?PART ?A)
                        (orientation ?PART ?X Outside)))))))
Mid-level-ontology.kif 11691-11701


    (instance ?BONE Bone)
    (exists (?SKELETON)
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))
Mid-level-ontology.kif 11682-11689 客体骨骼instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体骨架instance那个 另外 客体外骨骼instance那个 客体那个 另外 客体part

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