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 15067-15068
(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 24669-24669	initialPart AnimalAnatomicalStructure and 動物
(subclass AnimalAnatomicalStructure AnatomicalStructure)	Merge.kif 15066-15066	AnimalAnatomicalStructure は解剖学的構造の subclass では %n

appearance as argument number 2

(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 14985-14985	解剖学的構造は AnimalAnatomicalStructure + PlantAnatomicalStructure に exhaustively partitioned %n
(subclass Abdomen AnimalAnatomicalStructure)	Mid-level-ontology.kif 13641-13641	Abdomen は AnimalAnatomicalStructure の subclass では %n
(subclass Alveolus AnimalAnatomicalStructure)	Mid-level-ontology.kif 11916-11916	Alveolus は AnimalAnatomicalStructure の subclass では %n
(subclass AnimalShell AnimalAnatomicalStructure)	Mid-level-ontology.kif 12349-12349	AnimalShell は AnimalAnatomicalStructure の subclass では %n
(subclass BloodCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 10976-10976	BloodCell は AnimalAnatomicalStructure の subclass では %n
(subclass BloodVessel AnimalAnatomicalStructure)	Mid-level-ontology.kif 11902-11902	BloodVessel は AnimalAnatomicalStructure の subclass では %n
(subclass Brain AnimalAnatomicalStructure)	Mid-level-ontology.kif 12671-12671	Brain は AnimalAnatomicalStructure の subclass では %n
(subclass Breast AnimalAnatomicalStructure)	Mid-level-ontology.kif 13652-13652	Breast は AnimalAnatomicalStructure の subclass では %n
(subclass BronchialDuct AnimalAnatomicalStructure)	Mid-level-ontology.kif 11890-11890	BronchialDuct は AnimalAnatomicalStructure の subclass では %n
(subclass Chest AnimalAnatomicalStructure)	Mid-level-ontology.kif 12037-12037	Chest は AnimalAnatomicalStructure の subclass では %n
(subclass Chin AnimalAnatomicalStructure)	Mid-level-ontology.kif 13742-13742	Chin は AnimalAnatomicalStructure の subclass では %n
(subclass DigitAppendage AnimalAnatomicalStructure)	Mid-level-ontology.kif 13305-13305	DigitAppendage は AnimalAnatomicalStructure の subclass では %n
(subclass Ear AnimalAnatomicalStructure)	Mid-level-ontology.kif 12965-12965	Ear は AnimalAnatomicalStructure の subclass では %n
(subclass Egg AnimalAnatomicalStructure)	Merge.kif 15095-15095	Egg は AnimalAnatomicalStructure の subclass では %n
(subclass Exoskeleton AnimalAnatomicalStructure)	Mid-level-ontology.kif 12493-12493	Exoskeleton は AnimalAnatomicalStructure の subclass では %n
(subclass Eye AnimalAnatomicalStructure)	Mid-level-ontology.kif 12931-12931	Eye は AnimalAnatomicalStructure の subclass では %n
(subclass Face AnimalAnatomicalStructure)	Mid-level-ontology.kif 13706-13706	Face は AnimalAnatomicalStructure の subclass では %n
(subclass Feather AnimalAnatomicalStructure)	Mid-level-ontology.kif 21254-21254	Feather は AnimalAnatomicalStructure の subclass では %n
(subclass Foot AnimalAnatomicalStructure)	Mid-level-ontology.kif 13521-13521	Foot は AnimalAnatomicalStructure の subclass では %n
(subclass GastroIntestinalTract AnimalAnatomicalStructure)	Mid-level-ontology.kif 12875-12875	GastroIntestinalTract は AnimalAnatomicalStructure の subclass では %n
(subclass Gills AnimalAnatomicalStructure)	Medicine.kif 265-265	Gills は AnimalAnatomicalStructure の subclass では %n
(subclass Hair AnimalAnatomicalStructure)	Mid-level-ontology.kif 12605-12605	Hair は AnimalAnatomicalStructure の subclass では %n
(subclass Hand AnimalAnatomicalStructure)	Mid-level-ontology.kif 13293-13293	Hand は AnimalAnatomicalStructure の subclass では %n
(subclass Head AnimalAnatomicalStructure)	Mid-level-ontology.kif 13689-13689	Head は AnimalAnatomicalStructure の subclass では %n
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 12160-12160	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 15070-15075

オブジェクトは 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: