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 14470-14471
(partition Animal Vertebrate Invertebrate)	Merge.kif 14469-14469	動物は脊椎動物 + 無脊椎動物に exhaustively partitioned %n
(subclass Animal Organism)	Merge.kif 14468-14468	動物は物の subclass では %n

appearance as argument number 2

(initialPart AnimalAnatomicalStructure Animal)	Mid-level-ontology.kif 23720-23720	initialPart AnimalAnatomicalStructure and 動物
(initialPart AnimalShell Animal)	Mid-level-ontology.kif 11528-11528	initialPart AnimalShell and 動物
(initialPart Exoskeleton Animal)	Mid-level-ontology.kif 11672-11672	initialPart Exoskeleton and 動物
(initialPart Hair Animal)	Mid-level-ontology.kif 11783-11783	initialPart Hair and 動物
(partition Organism Animal Plant Fungus Microorganism)	Merge.kif 14379-14379	物は動物, 植物, 菌類, + 微生物に exhaustively partitioned %n
(subclass Biped Animal)	Mid-level-ontology.kif 4407-4407	Biped は動物の subclass では %n
(subclass DomesticAnimal Animal)	Mid-level-ontology.kif 20016-20016	DomesticAnimal は動物の subclass では %n
(subclass Invertebrate Animal)	Merge.kif 14525-14525	無脊椎動物は動物の subclass では %n
(subclass Locust Animal)	Geography.kif 6794-6794	Locust は動物の subclass では %n
(subclass Vertebrate Animal)	Merge.kif 14522-14522	脊椎動物は動物の 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 24252-24252	birthplace の数値 1 引数は動物の instance では %n
(domain burialplace 1 Animal)	Biography.kif 204-204	burialplace の数値 1 引数は動物の instance では %n
(domain deathplace 1 Animal)	Mid-level-ontology.kif 24296-24296	deathplace の数値 1 引数は動物の instance では %n
(domain detainee 2 Animal)	Mid-level-ontology.kif 6784-6784	detainee の数値 2 引数は動物の instance では %n
(domain grasps 1 Animal)	Merge.kif 11518-11518	grasps の数値 1 引数は動物の instance では %n
(domain wears 1 Animal)	Merge.kif 15946-15946	wears の数値 1 引数は動物の instance では %n
(domainSubclass meatOfAnimal 2 Animal)	Mid-level-ontology.kif 20353-20353	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 10684-10695	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 10671-10682	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 15001-15012	オブジェクトは動物の 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 11530-11537	オブジェクトは動物の 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 2162-2175	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 11674-11679	オブジェクトは動物の 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 11654-11659	オブジェクトは動物の 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 11218-11228	オブジェクトは 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 10527-10532	工程は意図的なプロセスの 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 11449-11454	オブジェクトは 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 3397-3425	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 11836-11843	オブジェクトは 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 3539-3560	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 6582-6584	オブジェクトは動物の instance では %n オブジェクトは Drooling を experiencer として行う capable では %n
(=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR))))	Merge.kif 18150-18155	オブジェクトは動物の 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 18069-18079	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 17653-17658	オブジェクトは 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 10943-10949	微粒子オブジェクトは脊椎動物の 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 12281-12290	工程は手術の 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 8861-8865	工程は Bathing の instance では %n エンティティーは工程の patient では %n エンティティーは動物の instance では %n
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal))	Mid-level-ontology.kif 21388-21392	工程は 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 14625-14631	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 2766-2773	オブジェクトは AnimalPoweredDevice の instance では %n オブジェクトは工程の instrument では %n オブジェクトオブジェクトは動物の instance では %n オブジェクトは工程の instrument では %n
(=> (and (instance ?F Feeding) (destination ?F ?A)) (instance ?A Animal))	Mid-level-ontology.kif 11581-11585	工程は Feeding の instance では %n 工程はエンティティーに ends %n{ない} エンティティーは動物の instance では %n
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal)))	Mid-level-ontology.kif 11575-11579	工程は 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 24130-24136	工程は 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 13477-13481	工程は知覚の instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は動物の instance では %n
(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 15022-15027	オブジェクトは AnimalAnatomicalStructure の instance では %n オブジェクトは物の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは動物の instance では %n
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal))	Merge.kif 14838-14843	オブジェクトは 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 2739-2747	物理は 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 2409-2414	エンティティーは 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 4345-4354	工程は 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 11393-11398	工程は 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 15936-15943	物理は衣類の 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 21632-21632	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: