Animal - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Animal ChineseLanguage "这是一种有真核 Cell 的 Organism。它们没有硬的细胞壁、质体和光合色素。")	chinese_format.kif 3392-3393
(documentation Animal EnglishLanguage "An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic pigments.")	Merge.kif 14522-14523
(partition Animal Vertebrate Invertebrate)	Merge.kif 14521-14521	動物は脊椎動物 + 無脊椎動物に exhaustively partitioned %n
(subclass Animal Organism)	Merge.kif 14520-14520	動物は物の subclass では %n

appearance as argument number 2

(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 24840-24840	initialPart AnimalAnatomicalStructure and 動物
(initialPart AnimalShell Animal)	Mid-level-ontology.kif 12425-12425	initialPart AnimalShell and 動物
(initialPart Exoskeleton Animal)	Mid-level-ontology.kif 12569-12569	initialPart Exoskeleton and 動物
(initialPart Hair Animal)	Mid-level-ontology.kif 12680-12680	initialPart Hair and 動物
(partition Organism Animal Plant Fungus Microorganism)	Merge.kif 14431-14431	物は動物, 植物, 菌類, + 微生物に exhaustively partitioned %n
(subclass Biped Animal)	Mid-level-ontology.kif 4473-4473	Biped は動物の subclass では %n
(subclass DomesticAnimal Animal)	Mid-level-ontology.kif 21106-21106	DomesticAnimal は動物の subclass では %n
(subclass Invertebrate Animal)	Merge.kif 14577-14577	無脊椎動物は動物の subclass では %n
(subclass Vertebrate Animal)	Merge.kif 14574-14574	脊椎動物は動物の subclass では %n
(termFormat ChineseLanguage Animal "动物")	chinese_format.kif 972-972	脊椎動物は動物の subclass では %n
(termFormat EnglishLanguage Animal "animal")	english_format.kif 1151-1151	脊椎動物は動物の subclass では %n
(termFormat FrenchLanguage Animal "animal")	french_format.kif 649-649	脊椎動物は動物の subclass では %n
(termFormat Hindi Animal "pashu")	terms-hindi.txt 180-180	脊椎動物は動物の subclass では %n
(termFormat ItalianLanguage Animal "Animale")	terms-it.txt 183-183	脊椎動物は動物の subclass では %n
(termFormat JapaneseLanguage Animal "動物")	japanese_format.kif 2333-2333	脊椎動物は動物の subclass では %n
(termFormat PortugueseLanguage Animal "Animal")	portuguese_format.kif 601-601	脊椎動物は動物の subclass では %n
(termFormat cb Animal "hayup")	terms-cb.txt 185-185	脊椎動物は動物の subclass では %n
(termFormat cz Animal "animal")	terms-cz.txt 217-217	脊椎動物は動物の subclass では %n
(termFormat de Animal "Tier")	terms-de.txt 476-476	脊椎動物は動物の subclass では %n
(termFormat ro Animal "animal")	relations-ro.kif 670-670	脊椎動物は動物の subclass では %n
(termFormat tg Animal "hayop")	terms-tg.txt 184-184	脊椎動物は動物の subclass では %n

appearance as argument number 3

(domain birthplace 1 Animal)	Mid-level-ontology.kif 25372-25372	birthplace の数値 1 引数は動物の instance では %n
(domain burialplace 1 Animal)	Biography.kif 204-204	burialplace の数値 1 引数は動物の instance では %n
(domain deathplace 1 Animal)	Mid-level-ontology.kif 25416-25416	deathplace の数値 1 引数は動物の instance では %n
(domain detainee 2 Animal)	Mid-level-ontology.kif 7558-7558	detainee の数値 2 引数は動物の instance では %n
(domain grasps 1 Animal)	Merge.kif 11571-11571	grasps の数値 1 引数は動物の instance では %n
(domain wears 1 Animal)	Merge.kif 16021-16021	wears の数値 1 引数は動物の instance では %n
(domainSubclass meatOfAnimal 2 Animal)	Mid-level-ontology.kif 21443-21443	meatOfAnimal の数値 2 引数は動物のsubclass では %n

antecedent

(=> (and (antagonistMuscles ?A ?B) (instance ?E Extension) (instrument ?E ?AC) (moves ?E ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Flexion instrument ?BC))	Mid-level-ontology.kif 11581-11592	antagonistMuscles 筋肉 and 筋肉 motion は Extension の instance では %n 筋肉C は motion の instrument では %n moves motion and 筋肉C 筋肉C は筋肉の instance では %n 筋肉C は筋肉の instance では %n 筋肉C はオブジェクトの part では %n 筋肉C はオブジェクトの part では %n オブジェクトは動物の instance では %n 筋肉C は Flexion を instrument として行う capable では %n
(=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Extension instrument ?BC))	Mid-level-ontology.kif 11568-11579	antagonistMuscles 筋肉 and 筋肉 motion は Flexion の instance では %n 筋肉C は motion の instrument では %n moves motion and 筋肉C 筋肉C は筋肉の instance では %n 筋肉C は筋肉の instance では %n 筋肉C はオブジェクトの part では %n 筋肉C はオブジェクトの part では %n オブジェクトは動物の instance では %n 筋肉C は Extension を instrument として行う capable では %n
(=> (and (instance ?A (BodyAreaFn ?OC)) (instance ?H Animal) (part ?A ?H)) (exists (?O) (and (instance ?O ?OC) (orientation ?A ?O Near) (part ?O ?H))))	Medicine.kif 6221-6230	オブジェクトは BodyAreaFn 体の部分の instance では %n オブジェクトは動物の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトオブジェクトは体の部分の instance では %n オブジェクトは Near 対オブジェクトでは %n オブジェクトはオブジェクトの part では %n
(=> (and (instance ?A Animal) (instance ?P (BodySideFn ?S ?BPC)) (contraryAttribute ?S ?SO) (attribute ?A Healthy)) (exists (?PO) (and (instance ?PO (BodySideFn ?SO ?BPC)) (orientation ?P ?PO ?S))))	Merge.kif 15053-15064	オブジェクトは動物の instance では %n オブジェクトは BodySideFn AntiSymmetricPositionalAttribute and 体の部分の instance では %n AntiSymmetricPositionalAttribute は AntiSymmetricPositionalAttributeO の disjoint では %n Healthy はオブジェクトの attribute では %n オブジェクトO オブジェクトO は BodySideFn AntiSymmetricPositionalAttributeO and 体の部分の instance では %n オブジェクトは AntiSymmetricPositionalAttribute 対オブジェクトO では %n
(=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile)))	Mid-level-ontology.kif 12427-12434	オブジェクトは動物の instance では %n オブジェクトは AnimalShell の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは無脊椎動物の instance では %n オブジェクトは爬虫類の instance では %n
(=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (objectTransferred ?P ?W))))	Mid-level-ontology.kif 2228-2241	AutonomousAgent は動物の instance では %n 属性は病気または症候群の instance では %n 属性は AutonomousAgent の attribute では移動オブジェクト移動は生物学的プロセスの instance では %n 移動は除却の instance では %n 移動は AutonomousAgent から originates %n{ない} オブジェクトは Sewage の instance では %n AutonomousAgent は移動の agent では %n objectTransferred 移動 and オブジェクト
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate))	Mid-level-ontology.kif 12571-12576	オブジェクトは動物の instance では %n オブジェクトは Exoskeleton の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは無脊椎動物の instance では %n
(=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate))	Mid-level-ontology.kif 12551-12556	オブジェクトは動物の instance では %n オブジェクトは Skeleton の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは脊椎動物の instance では %n
(=> (and (instance ?C Chest) (instance ?A Animal) (instance ?C ?A) (part ?C ?A)) (exists (?T) (and (instance ?T Torso) (part ?C ?T) (part ?T ?A))))	Mid-level-ontology.kif 12115-12125	オブジェクトは Chest の instance では %n クラスは動物の instance では %n オブジェクトはクラスの instance では %n オブジェクトはクラスの part では %n オブジェクトオブジェクトは Torso の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはクラスの part では %n
(=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish))	Geography.kif 2696-2701	工程は Fishing の instance では %n エンティティーは工程の patient では %n エンティティーは動物の instance では %n エンティティーは魚の instance では %n
(=> (and (instance ?I Intestine) (instance ?A Animal) (part ?I ?A)) (modalAttribute (exists (?E) (and (instance ?E EscherichiaColi) (contains ?I ?E))) Likely))	Medicine.kif 5478-5488	オブジェクトは Intestine の instance では %n オブジェクトは動物の instance では %n オブジェクトはオブジェクトの part では %n ステートメントエンティティーエンティティーは EscherichiaColi の instance では %n オブジェクトはエンティティーを contains %n{ない} には Likely の modal force がある
(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?HUMAN) (instance ?HUMAN Animal)) (holdsDuring (WhenFn ?PROC) (attribute ?HUMAN Awake)))	Merge.kif 10568-10573	工程は意図的なプロセスの instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は動物の instance では %n 起きているは AutonomousAgent の attribute では %n は工程の time の existence の during holds %n{ない}
(=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate))	Mid-level-ontology.kif 12346-12351	オブジェクトは NervousSystem の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは動物の instance では %n オブジェクトは脊椎動物の instance では %n
(=> (and (instance ?SH SafetyHarness) (instance ?PERSON Animal) (wears ?PERSON ?SH)) (hasPurpose ?SH (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (instrument ?PROC ?SH) (patient ?PROC ?PERSON) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?F ?H ?T) (and (instance ?H Human) (experiencer ?I ?H) (instance ?F Falling) (experiencer ?F ?H) (causes ?F ?I) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ)))))	Cars.kif 3450-3478	WearableItem は SafetyHarness の instance では %n 動物は動物の instance では %n 動物は % を wears %n{ない} WearableItem はエンティティーエンティティー and エンティティーエンティティーは工程の instance では %n WearableItem はエンティティーの instrument では %n 動物はエンティティーの patient では %n エンティティーはエンティティーで記述される class の subclass では %n エンティティーはエンティティーの出来事を prevents %n{ない} の目的 %n{ない}
(=> (and (instance ?VO VitalOrgan) (instance ?H Animal) (not (part ?VO ?H))) (not (attribute ?H Living)))	Mid-level-ontology.kif 12733-12740	オブジェクトは VitalOrgan の instance では %n オブジェクトは動物の instance では %n オブジェクトはオブジェクトの part では Living はオブジェクトの attribute では
(=> (and (instance ?X Respirator) (instance ?PERSON Animal) (wears ?PERSON ?X)) (hasPurpose ?X (exists (?INHAL ?INJ ?PROTECT ?I) (and (instance ?PROTECT Process) (instrument ?PROTECT ?X) (prevents ?PROTECT ?INJ) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?H) (and (instance ?H Human) (patient ?I ?H) (instance ?INHAL Inhaling) (agent ?INHAL ?H) (causes ?I ?INHAL))))))))))	Cars.kif 3592-3613	WearableItem は Respirator の instance では %n 動物は動物の instance では %n 動物は % を wears %n{ない} WearableItem はエンティティーエンティティー, エンティティー and エンティティーエンティティーは工程の instance では %n WearableItem はエンティティーの instrument では %n エンティティーはエンティティーの出来事を prevents %n{ない} エンティティーはエンティティーで記述される class の subclass では %n の目的 %n{ない}
(=> (instance ?A Animal) (capability Drooling experiencer ?A))	Mid-level-ontology.kif 7132-7134	オブジェクトは動物の instance では %n オブジェクトは Drooling を experiencer として行う capable では %n
(=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR))))	Merge.kif 18232-18237	オブジェクトは動物の instance では %n 属性属性は性別属性の instance では %n 属性はオブジェクトの attribute では %n
(=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR)))))	Merge.kif 18151-18161	AutonomousAgent は動物の instance では %n 工程工程は動作の instance では %n AutonomousAgent は工程の agent では %n 属性属性は BodyPosition の instance では %n 属性は AutonomousAgent の attribute では %n
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR))))	Merge.kif 17735-17740	オブジェクトは FoodForFn 動物の instance では %n 属性属性は味覚属性の instance では %n 属性はオブジェクトの attribute では %n

consequent

(<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn))))	Mid-level-ontology.kif 11840-11846	微粒子オブジェクトは脊椎動物の instance では %n 微粒子オブジェクト微粒子オブジェクトは動物の instance では %n 微粒子オブジェクトは微粒子オブジェクトの component では %n 微粒子オブジェクトは SpinalColumn の instance では %n
(=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death)))))	Transportation.kif 4197-4221	ToxicandInfectiousSubstance はオブジェクトの attribute では %n オブジェクトは物質の instance では %n オブジェクトは微生物の instance では %n AutonomousAgent 工程, 工程 and 工程 AutonomousAgent は人［人間］の instance では %n AutonomousAgent は動物の instance では %n オブジェクトは Near 対 AutonomousAgent では %n 工程は Inhaling の instance では %n 工程は摂取の instance では %n 工程は接触の instance では %n AutonomousAgent は工程の agent では %n オブジェクトは工程の patient では %n 工程は工程を causes %n{ない} AutonomousAgent は工程の patient では %n 工程は工程の instance では %n オブジェクトは工程を resource として行う capable では %n 工程はけがの subclass では %n 工程は死の subclass では %n
(=> (and (equal ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal))	Food.kif 2876-2882	オブジェクトは OrganicObjectFn オブジェクトと equal では %n オブジェクトは AnimalFat の subclass では %n オブジェクトは脂肪組織の subclass では %n initialPart オブジェクト and 動物
(=> (and (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal))	Economy.kif 5155-5160	オブジェクトは OrganicObjectFn 有機物と equal では %n オブジェクトは肉の subclass では %n 有機物は動物の subclass では %n
(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT))))	Merge.kif 12334-12343	工程は手術の instance では %n エンティティーは工程の patient では %n 工程工程は切断の instance では %n エンティティーは動物の instance では %n エンティティーは工程の patient では %n 工程は工程% の subprocess では %n
(=> (and (instance ?B Bathing) (patient ?B ?A)) (instance ?A Animal))	Mid-level-ontology.kif 9635-9639	工程は Bathing の instance では %n エンティティーは工程の patient では %n エンティティーは動物の instance では %n
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal))	Mid-level-ontology.kif 22478-22482	工程は Bleeding の instance では %n AutonomousAgent が工程を experiences %n{ない} AutonomousAgent は動物の instance では %n
(=> (and (instance ?CARNIVORE Carnivore) (instance ?EAT Eating) (agent ?EAT ?CARNIVORE) (patient ?EAT ?PREY)) (instance ?PREY Animal))	Merge.kif 14677-14683	AutonomousAgent は肉食動物の instance では %n 工程は摂食の instance では %n AutonomousAgent は工程の agent では %n エンティティーは工程の patient では %n エンティティーは動物の instance では %n
(=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A))))	Mid-level-ontology.kif 2832-2839	オブジェクトは AnimalPoweredDevice の instance では %n オブジェクトは工程の instrument では %n オブジェクトオブジェクトは動物の instance では %n オブジェクトは工程の instrument では %n
(=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal))	Mid-level-ontology.kif 12478-12482	工程は Feeding の instance では %n 工程はエンティティーに ends %n{ない} エンティティーは動物の instance では %n
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal)))	Mid-level-ontology.kif 12472-12476	工程は Feeding の instance では %n エンティティーは工程の patient では %n エンティティーは FoodForFn 動物の instance では %n
(=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female)))	Mid-level-ontology.kif 25250-25256	工程は LayingEggs の instance では %n AutonomousAgent が工程を experiences %n{ない} AutonomousAgent は動物の instance では %n Female は AutonomousAgent の attribute では %n
(=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human))))	Merge.kif 1413-1420	オブジェクトは動物言語の instance では %n AutonomousAgent は工程の agent では %n オブジェクトは工程の instrument では %n AutonomousAgent は動物の instance では %n AutonomousAgent は人［人間］の instance では
(=> (and (instance ?ORG Organization) (attribute ?ORG AgricultureForestryFishingAndHunting)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?EV ?MEM) (exists (?THING ?EV2 ?MEM2) (and (or (instance ?EV Killing) (instance ?EV Maintaining)) (patient ?EV ?THING) (or (instance ?THING Animal) (instance ?THING Plant)) (not (instance ?THING Human)) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 50-72	コレクションは組織の instance では %n AgricultureForestryFishingAndHunting はコレクションの attribute では %n 工程 AutonomousAgent AutonomousAgent はコレクションの member では %n AutonomousAgent は工程の agent では %n エンティティー工程2 and AutonomousAgent2 工程は殺害の instance では %n 工程は維持の instance では %n エンティティーは工程の patient では %n エンティティーは動物の instance では %n エンティティーは植物の instance では %n エンティティーは人［人間］の instance では AutonomousAgent2 はコレクションの member では %n 工程2 は販売の instance では %n AutonomousAgent2 は工程2 の agent では %n エンティティーは工程2 の patient では %n
(=> (and (instance ?ORG Organization) (attribute ?ORG FoodAndBeverageStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (or (instance ?THING (FoodForFn Animal)) (instance ?THING Beverage)) (patient ?EV ?THING))))))	naics.kif 7319-7333	コレクションは組織の instance では %n FoodAndBeverageStores はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n エンティティー AutonomousAgent は販売の instance では %n エンティティーは FoodForFn 動物の instance では %n エンティティーは飲料の instance では %n エンティティーは AutonomousAgent の patient では %n
(=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal))	Merge.kif 13530-13534	工程は知覚の instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は動物の instance では %n
(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 15074-15079	オブジェクトは AnimalAnatomicalStructure の instance では %n オブジェクトは物の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは動物の instance では %n
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 14890-14895	オブジェクトは AnimalSubstance の instance では %n オブジェクトは物の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは動物の instance では %n
(=> (instance ?AC AnimalController) (hasPurpose ?AC (exists (?G ?A) (and (instance ?G Guiding) (instrument ?G ?AC) (instance ?A Animal) (patient ?G ?A)))))	Mid-level-ontology.kif 2805-2813	物理は AnimalController の instance では %n 物理はエンティティーエンティティーエンティティーは案内の instance では %n 物理はエンティティーの instrument では %n エンティティーは動物の instance では %n エンティティーはエンティティーの patient では %n の目的 %n{ない}
(=> (instance ?AD AnimalDoll) (exists (?A) (and (instance ?A Animal) (represents ?AD ?A))))	Mid-level-ontology.kif 2475-2480	エンティティーは AnimalDoll の instance では %n エンティティーエンティティーは動物の instance では %n エンティティーはエンティティーを expresses %n{ない}
(=> (instance ?AG AnimalGuiding) (exists (?A ?C ?H) (and (instance ?A Animal) (agent ?AG ?H) (instance ?C Carrying) (agent ?C ?A) (objectTransferred ?C ?H) (instrument ?AG ?A))))	Mid-level-ontology.kif 4411-4420	工程は AnimalGuiding の instance では %n AutonomousAgent 移動 and AutonomousAgent AutonomousAgent は動物の instance では %n AutonomousAgent は工程の agent では %n 移動は Carrying の instance では %n AutonomousAgent は移動の agent では %n objectTransferred 移動 and AutonomousAgent AutonomousAgent は工程の instrument では %n
(=> (instance ?B Burrow) (exists (?P ?A) (and (instance ?P Process) (agent ?P ?A) (instance ?A Animal) (not (instance ?A Human)) (result ?P ?B))))	Geography.kif 6100-6109	エンティティーは Burrow の instance では %n 工程 AutonomousAgent 工程は工程の instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は動物の instance では %n AutonomousAgent は人［人間］の instance ではエンティティーは工程の result では %n
(=> (instance ?BC BloodCirculation) (exists (?O ?V ?A ?B) (and (instance ?O Animal) (instance ?B Blood) (moves ?BC ?B) (instance ?A Artery) (instance ?V Vein) (part ?A ?O) (part ?V ?O) (path ?BC ?A) (path ?BC ?V))))	Medicine.kif 479-491	Motion は BloodCirculation の instance では %n オブジェクトオブジェクト, オブジェクト and オブジェクトオブジェクトは動物の instance では %n オブジェクトは血の instance では %n moves motion and オブジェクトオブジェクトは Artery の instance では %n オブジェクトは Vein の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトは motion が発生する path では %n オブジェクトは motion が発生する path では %n
(=> (instance ?C CSGas) (hasPurpose ?C (exists (?INJ ?ORG) (and (instance ?INJ Injuring) (instrument ?INJ ?C) (patient ?INJ ?ORG) (instance ?ORG Animal)))))	MilitaryDevices.kif 1345-1353	物理は CSGas の instance では %n 物理はエンティティーエンティティーエンティティーはけがの instance では %n 物理はエンティティーの instrument では %n エンティティーはエンティティーの patient では %n エンティティーは動物の instance では %n の目的 %n{ない}
(=> (instance ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL))))	Merge.kif 11446-11451	工程は Carrying の instance では %n オブジェクトオブジェクトは動物の instance では %n オブジェクトは工程の instrument では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(industryProductType FoodManufacturing (FoodForFn Animal))	Economy.kif 1744-1744	industryProductType FoodManufacturing and FoodForFn 動物
(subclass Apple (FoodForFn Animal))	Food.kif 2180-2180	Apple は FoodForFn 動物の subclass では %n
(subclass Avocado (FoodForFn Animal))	Food.kif 2282-2282	Avocado は FoodForFn 動物の subclass では %n
(subclass Coconut (FoodForFn Animal))	Food.kif 2371-2371	Coconut は FoodForFn 動物の subclass では %n
(subclass DateFruit (FoodForFn Animal))	Food.kif 2189-2189	DateFruit は FoodForFn 動物の subclass では %n
(subclass Honey (FoodForFn Animal))	Mid-level-ontology.kif 22722-22722	Honey は FoodForFn 動物の subclass では %n
(subclass LemonFruit (FoodForFn Animal))	Food.kif 2328-2328	LemonFruit は FoodForFn 動物の subclass では %n
(subclass OrangeFruit (FoodForFn Animal))	Food.kif 2342-2342	OrangeFruit は FoodForFn 動物の subclass では %n
(subclass Pea (FoodForFn Animal))	Economy.kif 4323-4323	Pea は FoodForFn 動物の subclass では %n
(subclass PearFruit (FoodForFn Animal))	Food.kif 2194-2194	PearFruit は FoodForFn 動物の subclass では %n
(subclass WineGrape (FoodForFn Animal))	Food.kif 3689-3689	WineGrape は FoodForFn 動物の subclass では %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: