subclass - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1371-1373
No TPTP formula. May not be expressible in strict first order.	Merge.kif 133-135
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 27-29
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 28-30
No TPTP formula. May not be expressible in strict first order.	Merge.kif 131-131	子类别的 1 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 132-132	子类别的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 129-129	子类别是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18660-18660	子类别是 ClosedWorldPredicate 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 130-130	子类别是偏序关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 319-319
No TPTP formula. May not be expressible in strict first order.	english_format.kif 324-324
No TPTP formula. May not be expressible in strict first order.	french_format.kif 182-182
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 271-271
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2002-2002
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 134-134
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 175-175
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 419-419
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 308-308
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 202-202
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 192-192
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 463-463
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22956-22956	子领域是子类别的 subrelation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55708-55708	子领域是子类别的 subrelation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 320-320	子领域是子类别的 subrelation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55707-55707	子领域是子类别的 subrelation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55706-55706	子领域是子类别的 subrelation
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 133-133	子领域是子类别的 subrelation

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3987-4007	如果 ADHD 是施事体的 attribute 和 ADHD 不是另一个施事体的 attribute 和 equal 那个施事体 and 那个另外施事体和过程是类的 instance 和另一个过程是那个类的 instance 和那个类是有意图的心理过程的 subclass 和那个施事体是那个过程的 agent 和那个另外施事体是那个另外过程的 agent 和那个过程出现的 time 的 duration 是持续时间和那个另外过程出现的 time 的 duration 是另一个持续时间，然后那个另外持续时间是 greaterThan 那个持续时间的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1194-1209	如果 Oversized 是客体的 attribute 和那个客体是类的 immediateInstance 和那个类是 HotelUnit 的 subclass，然后有存在物理，实数,，，另一个实数， and 和测量单位这样那个物理是那个类的 immediateInstance 和那个测量单位是 UnitOfArea 的 instance 和那个物理的 measure 是那个实数那个测量单位和那个客体的 measure 是那个另外实数那个测量单位和那个实数是面积测量的 instance 和那个另外实数是面积测量的 instance 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Biography.kif 738-748	如果作家是施事体的 attribute 和实体是有点有内用物体的 instance 和有点有内用物体是文本的 subclass 或那个有点有内用物体是 Document 的 subclass 和过程是写作的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 result，然后那个施事体是那个有点有内用物体的 authors
No TPTP formula. May not be expressible in strict first order.	WMD.kif 789-793	如果有点过程是有点生化剂的 biochemical 病毒传递和另一个有点过程是有点过程的 subclass，然后另一个有点过程是有点生化剂的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 976-980	如果有点生物是有点生物制剂的病毒传递者和另一个有点生物是有点生物的 subclass，然后另一个有点生物是有点生物制剂的病毒传递者
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	如果客体能够担当格角色的角色做有点过程和有点过程是射击的 subclass，然后有存在另一个客体这样那个另外客体是武器的 instance 和那个另外客体是那个客体的 part 和那个另外客体能够担当那个格角色的角色做那个有点过程
No TPTP formula. May not be expressible in strict first order.	Government.kif 583-589	如果正整数 day 是有点假日的 commemorates 日期和实体是有点假日的 instance 和那个有点假日是固定假期的 subclass 和整数是 lessThanOrEqualTo 另一个实体_YEAR，然后那个实体是那个正整数 day 的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	如果施事体是有认知的主事的 customer 和那个施事体有有点物理和有点物理是客体的 subclass 和实体是那个有点物理的 instance，然后那个施事体允许那个有认知的主事执行有存在另一个实体这样那个另外实体是过程的 instance 和那个实体是那个另外实体的 resource 或那个实体是导致那个另外实体的 instrument 或那个实体是那个另外实体的 patient 和那个有认知的主事是那个另外实体的 agent 或那个有认知的主事经历了那个另外实体的任务
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	如果施事体是有认知的主事的 customer 和那个施事体有有点物理和有点物理是过程的 subclass，然后有存在实体，另一个实体， and 和第三实体这样那个另外实体是那个施事体的财产的 element 和那个施事体是那个实体的 agent 和那个有认知的主事是那个实体的 patient 和那个实体是那个有点物理的 instance 或那个第三实体是那个有点物理的 instance 和那个实体是那个第三实体的subProcess 和那个实体是 located 在那个另外实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14886-14897	如果有点客体的 maximum 预期价值是实数测量单位和类是 NonCompositeUnitOfMeasure 的 subclass 和那个测量单位是那个类的 instance，然后有存在实体，那个实数UANTITY， and 和第三实体这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个第三实体和那个第三实体是那个类的 instance 和那个实数UANTITY 那个第三实体是 greaterThan 那个实数那个测量单位的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14855-14866	如果有点客体的 minimum 预期价值是实数测量单位和类是 NonCompositeUnitOfMeasure 的 subclass 和那个测量单位是那个类的 instance，然后有存在实体，那个实数UANTITY， and 和第三实体这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个第三实体和那个第三实体是那个类的 instance 和那个实数UANTITY 是 lessThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	WMD.kif 957-961	如果疾病或综合症是对于有点过程的 disease 治愈有点生物活性物质和另一个有点过程是有点过程的 subclass，然后那个疾病或综合症是对于另一个有点过程的 disease 治愈有点生物活性物质
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	如果疾病或综合症是对于有点过程的 disease 治愈有点生物活性物质和另一个有点生物活性物质是有点生物活性物质的 subclass，然后那个疾病或综合症是对于有点过程的 disease 治愈另一个有点生物活性物质
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2352-2361	如果地缘政治区域是对于有点时距在其间物理量的 electricity 消耗和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力消耗在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2396-2405	如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力输出在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2442-2451	如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域 annual 的电力输入在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2220-2229	如果地缘政治区域是对于有点时距在周期物理量的 electricity 生产和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力生产在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 2883-2889	如果 equal 有点客体 and OrganicObjectFn 另一个有点客体和有点客体是 AnimalFat 的 subclass 和另一个有点客体是脂肪组织的 subclass，然后 %每个那个另外有点客体是动物的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4967-4972	如果 equal 有点客体 and OrganicObjectFn 另一个有点客体和有点客体是咖啡豆的 subclass 和另一个有点客体是种子的 subclass，然后 %每个那个另外有点客体是 CoffeePlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5031-5037	如果 equal 有点客体 and OrganicObjectFn 另一个有点客体和有点客体是可可豆的 subclass 和另一个有点客体是种子的 subclass，然后 %每个那个另外有点客体是可可樹的 initially part
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	如果 equal 有点获得 and receiving 一个有点客体和 equal 另一个有点获得 and receiving 一个另一个有点客体和有点客体是另一个有点客体的 subclass，然后有点获得是另一个有点获得的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19972-19977	如果 equal 机构 and DepartmentOfPreventingFn 另一个机构 and 有点物理和有点物理是过程的 subclass 和那个机构是那个另外机构 Organization 的一部分，然后那个机构 inhibits 那个有点物理
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5285-5290	如果 equal 有点客体 and OrganicObjectFn 有点有机物体和有点客体是 meat 的 subclass，然后有点有机物体是动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4503-4509	如果 equal 有点客体 and OrganicObjectFn 另一个有点客体和有点客体是 Malt 的 subclass 和另一个有点客体是谷物的 subclass，然后 %每个那个另外有点客体是谷物草的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4870-4881	如果 equal 有点客体 and OrganicObjectFn 另一个有点客体和有点客体是 OilFromPlant 的 subclass 和另一个有点客体是种子的 subclass 或那个另外有点客体是水果的 subclass，然后有存在第三有点客体这样第三有点客体是开花植物的 subclass 和 %每个那个另外有点客体是那个第三有点客体的 initially part

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33332-33339	如果 applicableRelation 客体 and 关系和那个客体是那个客体C 的 instance 和那个关系的 1 数量是另一个类的 instance，然后 equal 那个客体C and 那个另外类或那个客体C 是那个另外类的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4203-4227	如果 ToxicandInfectiousSubstance 是客体的 attribute 和那个客体是物质的 instance 或那个客体是微生物的 instance，然后有存在施事体，过程,，，另一个过程， and 和第三有点过程这样那个施事体是人类的 instance 或那个施事体是动物的 instance 和那个客体在那个施事体的近和那个过程是吸入的 instance 或那个过程是消化的 instance 或那个过程是接触的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个过程 causes 那个另外过程和那个施事体是那个另外过程的 patient 和那个另外过程是第三有点过程的 instance 和那个客体能够担当资源的角色做那个第三有点过程和那个第三有点过程是受伤的 subclass 或那个第三有点过程是死亡的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1489-1502	如果 DutyFree 是客体的 attribute 和那个客体是商店的 instance，然后有存在地缘政治区域，实体,，，另一个有点客体， and 和过程这样那个地缘政治区域是地缘政治区域的 instance 和那个客体是 located 在那个地缘政治区域和另一个有点客体是客体的 subclass 和那个另外有点客体是那个地缘政治区域的 import 商品种类和那个实体是那个另外有点客体的 instance 和那个过程是出售的 instance 和那个实体是那个过程的 patient 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25883-25893	如果日是人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样那个人类的 birthday 是另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和 equal 那个另外有点日 and 那个正整数 day 和那个整数是 greaterThan 另一个整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 215-221	如果关系的正整数数量是类的 instance 和那个关系的那个正整数数量是另一个类的 instance，然后那个类是那个另外类的 subclass 或那个另外类是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3018-3023	如果关系的正整数数量是类的 subclass 和那个关系是谓语的 instance 和那个关系 @ROW，然后 (@ROW) 的第那个正整数几个元素是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 238-244	如果关系的正整数数量是类的 subclass 和那个关系的那个正整数数量是另一个类的 subclass，然后那个类是那个另外类的 subclass 或那个另外类是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	如果 equal 有点获得 and receiving 一个有点客体和 equal 另一个有点获得 and receiving 一个另一个有点客体和有点客体是另一个有点客体的 subclass，然后有点获得是另一个有点获得的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5285-5290	如果 equal 有点客体 and OrganicObjectFn 有点有机物体和有点客体是 meat 的 subclass，然后有点有机物体是动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4870-4881	如果 equal 有点客体 and OrganicObjectFn 另一个有点客体和有点客体是 OilFromPlant 的 subclass 和另一个有点客体是种子的 subclass 或那个另外有点客体是水果的 subclass，然后有存在第三有点客体这样第三有点客体是开花植物的 subclass 和 %每个那个另外有点客体是那个第三有点客体的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5599-5606	如果 equal 有点客体 and OrganicObjectFn 有点有机物体和有点客体是客体的 subclass，然后有点有机物体是生物的 subclass 或那个有点有机物体是解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5373-5377	如果 equal 有点客体 and OrganicObjectFn 有点有机物体和有点客体是毛皮的 subclass，然后有点有机物体是皮肤的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5576-5585	如果 equal 有点客体 and OrganicObjectFn 另一个有点客体和有点客体是 WoodProduct 的 subclass 和另一个有点客体是 PlantStem 的 subclass，然后有存在第三有点客体这样第三有点客体是植物树的 subclass 和 %每个那个另外有点客体是那个第三有点客体的 initially part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1790-1798	如果 equal 有点客体 and 另一个有点客体跟属性的 attr 和第三客体是有点客体的 instance，然后那个第三客体是另一个有点客体的 instance 和那个有点客体是那个另外有点客体的 subclass 和那个属性是那个第三客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4177-4182	如果客体是 AegilopsGrass 的 instance 和另一个客体是那个客体的 part 和那个另外客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 DiploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4300-4305	如果客体是 CommonWheatGrass 的 instance 和那个客体ELL 是那个客体的 part 和那个客体ELL 是那个客体LASS 的 instance，然后那个客体LASS 是 HexaploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4330-4335	如果客体是 SpeltWheatGrass 的 instance 和那个客体ELL 是那个客体的 part 和那个客体ELL 是那个客体LASS 的 instance，然后那个客体LASS 是 HexaploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12164-12176	如果过程是决定的 instance 和有认知的主事是那个过程的 agent 和集合是集合的 instance 和那个集合是那个过程的 patient 和实体是那个集合的 element，然后那个有认知的主事 believes 有存在另一个实体这样那个实体是那个另外实体的 instance 和那个另外实体是有意图过程的 subclass 和那个有认知的主事能够担当主事的角色做那个另外实体
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4241-4246	如果客体是 DurumWheatGrass 的 instance 和另一个客体是那个客体的 part 和那个另外客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 TetraploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4271-4276	如果客体是 EinkornWheatGrass 的 instance 和另一个客体是那个客体的 part 和那个客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 DiploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4209-4214	如果客体是 EmmerWheatGrass 的 instance 和另一个客体是那个客体的 part 和那个另外客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 TetraploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4285-4290	如果客体是 TriticumUrartu 的 instance 和另一个客体是那个客体的 part 和那个客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 DiploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5827-5835	如果过程是砍伐的 instance 和实体是那个过程的 result，然后有存在那个实体TEM 这样那个实体是一个 dead 那个实体TEM 的 instance 和那个实体TEM 是 PlantStem 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19655-19663	如果过程是收获的 instance 和实体是那个过程的 result，然后有存在那个实体RG 这样那个实体是一个 dead 那个实体RG 的 instance 和那个实体RG 是有机物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3508-3537	如果可穿戴物品是听力保护的 instance 和动物是人类的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生和那个可穿戴物品是导致那个实体的 instrument

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Military.kif 963-974	equal 地缘政治区域的 fit 对于军服务男性 and 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5170-5173	有存在有点客体这样有点客体是 HandToolBox 的 subclass 和 manufacturer 那个有点客体 and SortimoCorp

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Muscles.kif 778-778	ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve 是 Nerve 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28254-28254	ACPowerSource 是能量源的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3294-3294	ADHD 是心理功能障碍的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27208-27208	AMFMAlarmClock 是 AlarmClock 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27209-27209	AMFMAlarmClock 是无线电接收器的 subclass
No TPTP formula. May not be expressible in strict first order.	Communications.kif 293-293	AM广播电台是广播电台的 subclass
No TPTP formula. May not be expressible in strict first order.	Communications.kif 236-236	AM无线电系统是无线电系统的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4075-4075	AOCnumber 是符号串的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3601-3601	自动提款机是固定人工制品的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3677-3677	ATM插槽是洞的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4876-4876	ATVTire 是 Tire 的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2169-2169	影/音控制传输协议是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6430-6430	AVPUStatus 是关联属性的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 1994-1994	AbaloneMeat 是 MolluskMeat 的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4952-4952	Abatacept 是 Immunosupressant 的 subclass
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 527-527	阿巴亚是披风的 subclass
No TPTP formula. May not be expressible in strict first order.	People.kif 1213-1213	僧院是宗教机构的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14148	Abdomen 是动物解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1272-1272	AbdominalAorta 是动脉的 subclass
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 135-135	AbducensNerveCNVI 是 Nerve 的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2046-2046	Abducting 是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2047-2047	Abducting 是 MovingAwayFrom 的 subclass
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1608-1608	AbductorDigitiMinimiMuscle 是肌肉的 subclass
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2127-2127	AbductorHallucisMuscle 是肌肉的 subclass
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1581-1581	AbductorPollicisBrevisMuscle 是肌肉的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: