AnimalAnatomicalStructure - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 14915-14915	解剖学的構造は AnimalAnatomicalStructure + PlantAnatomicalStructure に exhaustively partitioned %n
(subclass Abdomen AnimalAnatomicalStructure)	Mid-level-ontology.kif 12817-12817	Abdomen は AnimalAnatomicalStructure の subclass では %n
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 11092-11092	Alveolus は AnimalAnatomicalStructure の subclass では %n
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 11525-11525	AnimalShell は AnimalAnatomicalStructure の subclass では %n
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 10152-10152	BloodCell は AnimalAnatomicalStructure の subclass では %n
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 11078-11078	BloodVessel は AnimalAnatomicalStructure の subclass では %n
(subclass Brain AnimalAnatomicalStructure)	Mid-level-ontology.kif 11847-11847	Brain は AnimalAnatomicalStructure の subclass では %n
(subclass Breast AnimalAnatomicalStructure)	Mid-level-ontology.kif 12828-12828	Breast は AnimalAnatomicalStructure の subclass では %n
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 11066-11066	BronchialDuct は AnimalAnatomicalStructure の subclass では %n
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 11213-11213	Chest は AnimalAnatomicalStructure の subclass では %n
(subclass Chin AnimalAnatomicalStructure)	Mid-level-ontology.kif 12918-12918	Chin は AnimalAnatomicalStructure の subclass では %n
(subclass DigitAppendage AnimalAnatomicalStructure)	Mid-level-ontology.kif 12481-12481	DigitAppendage は AnimalAnatomicalStructure の subclass では %n
(subclass Ear AnimalAnatomicalStructure)	Mid-level-ontology.kif 12141-12141	Ear は AnimalAnatomicalStructure の subclass では %n
(subclass Egg AnimalAnatomicalStructure)	Merge.kif 15025-15025	Egg は AnimalAnatomicalStructure の subclass では %n
(subclass Exoskeleton AnimalAnatomicalStructure)	Mid-level-ontology.kif 11669-11669	Exoskeleton は AnimalAnatomicalStructure の subclass では %n
(subclass Eye AnimalAnatomicalStructure)	Mid-level-ontology.kif 12107-12107	Eye は AnimalAnatomicalStructure の subclass では %n
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 12882-12882	Face は AnimalAnatomicalStructure の subclass では %n
(subclass Feather AnimalAnatomicalStructure)	Mid-level-ontology.kif 20336-20336	Feather は AnimalAnatomicalStructure の subclass では %n
(subclass Foot AnimalAnatomicalStructure)	Mid-level-ontology.kif 12697-12697	Foot は AnimalAnatomicalStructure の subclass では %n
(subclass GastroIntestinalTract AnimalAnatomicalStructure)	Mid-level-ontology.kif 12051-12051	GastroIntestinalTract は AnimalAnatomicalStructure の subclass では %n
(subclass Gills AnimalAnatomicalStructure)	Medicine.kif 265-265	Gills は AnimalAnatomicalStructure の subclass では %n
(subclass Hair AnimalAnatomicalStructure)	Mid-level-ontology.kif 11781-11781	Hair は AnimalAnatomicalStructure の subclass では %n
(subclass Hand AnimalAnatomicalStructure)	Mid-level-ontology.kif 12469-12469	Hand は AnimalAnatomicalStructure の subclass では %n
(subclass Head AnimalAnatomicalStructure)	Mid-level-ontology.kif 12865-12865	Head は AnimalAnatomicalStructure の subclass では %n
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 11336-11336	Heart は AnimalAnatomicalStructure の subclass では %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 15000-15005

オブジェクトは AnimalAnatomicalStructure の instance では %n オブジェクトは物の instance では %n オブジェクトはオブジェクトの part では %n
オブジェクトは動物の instance では %n

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

KB Term:			Term intersection

English Word: