TreeView 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 14494-14495
(partition Animal Vertebrate Invertebrate)	Merge.kif 14493-14493	動物は脊椎動物 + 無脊椎動物に exhaustively partitioned %n
(subclass Animal Organism)	Merge.kif 14492-14492	動物は物の subclass では %n

appearance as argument number 2

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

appearance as argument number 3

(domain birthplace 1 Animal)	Mid-level-ontology.kif 24310-24310	birthplace の数値 1 引数は動物の instance では %n
(domain burialplace 1 Animal)	Biography.kif 204-204	burialplace の数値 1 引数は動物の instance では %n
(domain deathplace 1 Animal)	Mid-level-ontology.kif 24354-24354	deathplace の数値 1 引数は動物の instance では %n
(domain detainee 2 Animal)	Mid-level-ontology.kif 6812-6812	detainee の数値 2 引数は動物の instance では %n
(domain grasps 1 Animal)	Merge.kif 11542-11542	grasps の数値 1 引数は動物の instance では %n
(domain wears 1 Animal)	Merge.kif 15996-15996	wears の数値 1 引数は動物の instance では %n
(domainSubclass meatOfAnimal 2 Animal)	Mid-level-ontology.kif 20381-20381	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 10712-10723	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 10699-10710	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 6237-6246	オブジェクトは 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 15025-15036	オブジェクトは動物の 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 11558-11565	オブジェクトは動物の 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 2155-2168	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 11702-11707	オブジェクトは動物の 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 11682-11687	オブジェクトは動物の 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 11246-11256	オブジェクトは 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 2708-2713	工程は 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 5490-5500	オブジェクトは 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 10539-10544	工程は意図的なプロセスの 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 11477-11482	オブジェクトは 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 3374-3402	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 11864-11871	オブジェクトは 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 3516-3537	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 6577-6579	オブジェクトは動物の instance では %n オブジェクトは Drooling を experiencer として行う capable では %n
(=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR))))	Merge.kif 18207-18212	オブジェクトは動物の 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 18126-18136	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 17710-17715	オブジェクトは 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 10971-10977	微粒子オブジェクトは脊椎動物の instance では %n 微粒子オブジェクト微粒子オブジェクトは動物の instance では %n 微粒子オブジェクトは微粒子オブジェクトの component では %n 微粒子オブジェクトは SpinalColumn の instance では %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 4945-4950	オブジェクトは 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 12305-12314	工程は手術の 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 8889-8893	工程は Bathing の instance では %n エンティティーは工程の patient では %n エンティティーは動物の instance では %n
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal))	Mid-level-ontology.kif 21416-21420	工程は 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 14649-14655	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 2759-2766	オブジェクトは AnimalPoweredDevice の instance では %n オブジェクトは工程の instrument では %n オブジェクトオブジェクトは動物の instance では %n オブジェクトは工程の instrument では %n
(=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal))	Mid-level-ontology.kif 11609-11613	工程は Feeding の instance では %n 工程はエンティティーに ends %n{ない} エンティティーは動物の instance では %n
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal)))	Mid-level-ontology.kif 11603-11607	工程は 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 24188-24194	工程は 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 1420-1427	オブジェクトは動物言語の 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 13501-13505	工程は知覚の instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は動物の instance では %n
(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 15046-15051	オブジェクトは AnimalAnatomicalStructure の instance では %n オブジェクトは物の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは動物の instance では %n
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 14862-14867	オブジェクトは 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 2732-2740	物理は 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 2402-2407	エンティティーは 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 4338-4347	工程は 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 6031-6040	エンティティーは 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 491-503	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 11417-11422	工程は Carrying の instance では %n オブジェクトオブジェクトは動物の instance では %n オブジェクトは工程の instrument では %n
(=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P)))))	Merge.kif 15986-15993	物理は衣類の instance では %n 物理はエンティティーエンティティーエンティティーは動物の instance では %n エンティティーはエンティティーの part では %n covers 物理 and エンティティーの目的 %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 21660-21660	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 4113-4113	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 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

KB Term:			Term intersection

English Word: