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

Formal Language: 



KB Term:  Term intersection
English Word: 

  completelyFills

Sigma KEE - AnimalAnatomicalStructure
AnimalAnatomicalStructure

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


(documentation AnimalAnatomicalStructure ChineseLanguage "这是只属于 AnimalAnatomicalStructure。") chinese_format.kif 3495-3496
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.") Merge.kif 15019-15020
(initialPart AnimalAnatomicalStructure Animal) Mid-level-ontology.kif 23720-23720 initialPart AnimalAnatomicalStructure and 動物
(subclass AnimalAnatomicalStructure AnatomicalStructure) Merge.kif 15018-15018 AnimalAnatomicalStructure解剖学的構造subclass では %n

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


(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure) Merge.kif 14937-14937 解剖学的構造AnimalAnatomicalStructure + PlantAnatomicalStructureexhaustively partitioned %n
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 12816-12816 AbdomenAnimalAnatomicalStructuresubclass では %n
(subclass Alveolus AnimalAnatomicalStructure) Mid-level-ontology.kif 11091-11091 AlveolusAnimalAnatomicalStructuresubclass では %n
(subclass AnimalShell AnimalAnatomicalStructure) Mid-level-ontology.kif 11524-11524 AnimalShellAnimalAnatomicalStructuresubclass では %n
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 10151-10151 BloodCellAnimalAnatomicalStructuresubclass では %n
(subclass BloodVessel AnimalAnatomicalStructure) Mid-level-ontology.kif 11077-11077 BloodVesselAnimalAnatomicalStructuresubclass では %n
(subclass Brain AnimalAnatomicalStructure) Mid-level-ontology.kif 11846-11846 BrainAnimalAnatomicalStructuresubclass では %n
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 12827-12827 BreastAnimalAnatomicalStructuresubclass では %n
(subclass BronchialDuct AnimalAnatomicalStructure) Mid-level-ontology.kif 11065-11065 BronchialDuctAnimalAnatomicalStructuresubclass では %n
(subclass Chest AnimalAnatomicalStructure) Mid-level-ontology.kif 11212-11212 ChestAnimalAnatomicalStructuresubclass では %n
(subclass Chin AnimalAnatomicalStructure) Mid-level-ontology.kif 12917-12917 ChinAnimalAnatomicalStructuresubclass では %n
(subclass DigitAppendage AnimalAnatomicalStructure) Mid-level-ontology.kif 12480-12480 DigitAppendageAnimalAnatomicalStructuresubclass では %n
(subclass Ear AnimalAnatomicalStructure) Mid-level-ontology.kif 12140-12140 EarAnimalAnatomicalStructuresubclass では %n
(subclass Egg AnimalAnatomicalStructure) Merge.kif 15047-15047 EggAnimalAnatomicalStructuresubclass では %n
(subclass Exoskeleton AnimalAnatomicalStructure) Mid-level-ontology.kif 11668-11668 ExoskeletonAnimalAnatomicalStructuresubclass では %n
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 12106-12106 EyeAnimalAnatomicalStructuresubclass では %n
(subclass Face AnimalAnatomicalStructure) Mid-level-ontology.kif 12881-12881 FaceAnimalAnatomicalStructuresubclass では %n
(subclass Feather AnimalAnatomicalStructure) Mid-level-ontology.kif 20335-20335 FeatherAnimalAnatomicalStructuresubclass では %n
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 12696-12696 FootAnimalAnatomicalStructuresubclass では %n
(subclass GastroIntestinalTract AnimalAnatomicalStructure) Mid-level-ontology.kif 12050-12050 GastroIntestinalTractAnimalAnatomicalStructuresubclass では %n
(subclass Gills AnimalAnatomicalStructure) Medicine.kif 265-265 GillsAnimalAnatomicalStructuresubclass では %n
(subclass Hair AnimalAnatomicalStructure) Mid-level-ontology.kif 11780-11780 HairAnimalAnatomicalStructuresubclass では %n
(subclass Hand AnimalAnatomicalStructure) Mid-level-ontology.kif 12468-12468 HandAnimalAnatomicalStructuresubclass では %n
(subclass Head AnimalAnatomicalStructure) Mid-level-ontology.kif 12864-12864 HeadAnimalAnatomicalStructuresubclass では %n
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 11335-11335 HeartAnimalAnatomicalStructuresubclass では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))
Merge.kif 15022-15027


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