TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23756-23762
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23764-23764	初始部分的 1 数量是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23765-23765	初始部分的 2 数量是客体的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23752-23752	初始部分是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23753-23753	初始部分是空间关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23755-23755	初始部分和最初包含部分是内部相关
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23754-23754	初始部分和部分是内部相关

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3706-3706
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3705-3705
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3704-3704
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30127-30127
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30126-30126
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30125-30125

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23767-23776	如果 %每个有点客体是另一个有点客体的 initially part 和物理是有点客体的 instance，然后有存在实体这样那个实体是另一个有点客体的 instance 和那个物理是那个实体的 part 在那个物理出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 599-607	如果客体是另一个有点客体的 instance 和另一个有点客体是细胞核的 subclass 和 %每个那个另外有点客体是真核细胞的 initially part ，然后有存在第三客体这样那个第三客体是染色质的 instance 和那个第三客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	如果有点客体是混合物的 subclass 和 %每个有点客体是 meat 的 initially part 和 %每个那个有点客体是 FoodFromPlant 的 initially part 和 %每个那个有点客体是饮用水的 initially part ，然后那个有点客体 equal 高汤
No TPTP formula. May not be expressible in strict first order.	Food.kif 2822-2824	如果 %每个乳制品是有点客体的 initially part ，然后有点客体 equal 乳
No TPTP formula. May not be expressible in strict first order.	Food.kif 1809-1814	如果 %每个茶是有点客体的 initially part ，然后有点客体 equal 花茶或那个有点客体 equal 茶叶或那个有点客体 equal 茎茶

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 2876-2882	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 AnimalFat 的 subclass 和另一个有点客体是脂肪组织的 subclass，然后 %每个那个另外有点客体是动物的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4629-4634	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是咖啡豆的 subclass 和另一个有点客体是种子的 subclass，然后 %每个那个另外有点客体是 CoffeePlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4693-4699	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是可可豆的 subclass 和另一个有点客体是种子的 subclass，然后 %每个那个另外有点客体是可可樹的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4166-4172	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 Malt 的 subclass 和另一个有点客体是谷物的 subclass，然后 %每个那个另外有点客体是谷物草的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 OilFromPlant 的 subclass 和另一个有点客体是种子的 subclass 或那个另外有点客体是水果的 subclass，然后有存在第三有点客体这样第三有点客体是开花植物的 subclass 和 %每个那个另外有点客体是那个第三有点客体的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2906-2914	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 Suet 的 subclass 和另一个有点客体是脂肪组织的 subclass，然后 %每个那个另外有点客体是牛的 initially part 或 %每个那个另外有点客体是羊的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5041-5046	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是小羊皮的 subclass 和另一个有点客体是皮肤的 subclass，然后 %每个那个另外有点客体是羔羊的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5051-5056	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是羊皮的 subclass 和另一个有点客体是皮肤的 subclass，然后 %每个那个另外有点客体是羊的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4715-4721	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是茶树空中部分的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 TeaPlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5296-5301	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 BalsaWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 BalsaTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5306-5311	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 BeechWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 BeechTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5316-5321	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 BirchWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 BirchTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5421-5426	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 CedarWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 CedarTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5326-5333	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 CherryWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 BlackCherryTree 的 initially part 或 %每个那个另外有点客体是 SweetCherryTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5431-5436	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 FirWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 FirTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5284-5291	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是 Hardwood 的 subclass 和有点有机物体是 PlantStem 的 subclass，然后 %每个那个有点有机物体是 DeciduousTree 的 initially part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5441-5446	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 LarchWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 LarchTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5338-5343	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 MapleWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 MapleTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5348-5353	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 OkoumeWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是奥古曼树的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5461-5466	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 PineWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是松树的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5358-5363	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 PoplarWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 PoplarTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5368-5373	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 RedOakWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 RedOakTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5378-5383	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 SapeleWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 SapeleTree 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是 Softwood 的 subclass 和有点有机物体是 PlantStem 的 subclass，然后 %每个那个有点有机物体是 Conifers 的 initially part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5451-5456	如果有点客体 equal OrganicObjectFn 另一个有点客体和有点客体是 SpruceWood 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后 %每个那个另外有点客体是 SpruceTree 的 initially part

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23778-23778	%每个动物解剖结构是动物的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11556-11556	%每个动物壳是动物的 initially part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 688-688	%每个 ArmBone 是臂的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4583-4583	%每个 AvocadoOil 是鳄梨的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4130-4130	%每个大麦籽粒是 BarleyGrass 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10810-10810	%每个 Bicep 是臂的 initially part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 21-21	%每个骨骼是灵长类动物的 initially part
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1221-1221	%每个 BoneMarrow 是骨骼的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10828-10828	%每个 CalfMuscle 是腿的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2439-2439	%每个 Chocolate 是可可豆的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2492-2492	%每个可可脂是 CocoaLiquor 的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2484-2484	%每个可可粉是 CocoaLiquor 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4580-4580	%每个 CoconutOil 是椰子的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 634-634	%每个咖啡是咖啡豆的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 1507-1507	%每个 CommonWheatFlour 是 CommonWheatGrain 的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 1547-1547	%每个 CornFlour 是玉米粒的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12162-12162	%每个 Cornea 是眼睛的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12532-12532	%每个数字附属物是肢的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 1517-1517	%每个 DurumWheatFlour 是 DurumWheatGrain 的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2547-2547	%每个 EggYolk 是蛋的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11700-11700	%每个外骨骼是动物的 initially part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1438-1438	%每个 Eyebrow 是头的 initially part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 880-880	%每个 FingerBone 是手的 initially part
No TPTP formula. May not be expressible in strict first order.	Food.kif 2311-2311	%每个 FleshOrPulp 是水果或蔬菜的 initially part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1102-1102	%每个 FoodBone 是足的 initially part

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: