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 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.	Merge.kif 5377-5377	子集是子类别的 subrelation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55725-55725
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55724-55724
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55723-55723

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	如果 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 730-740	如果作家是施事体的 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 619-625	如果正整数 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 和那个实体%n是那个第三实体的subProcess 和那个实体是 located 在那个另外实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13417-13428	如果有点客体的 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 13386-13397	如果有点客体的 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 2128-2137	如果地缘政治区域是对于有点时距在其间物理量的 electricity 消耗和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力消耗在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2172-2181	如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力输出在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2218-2227	如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域 annual 的电力输入在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1996-2005	如果地缘政治区域是对于有点时距在周期物理量的 electricity 生产和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力生产在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	如果有点获得 equal receiving 一个有点客体和另一个有点获得 equal receiving 一个另一个有点客体和有点客体是另一个有点客体的 subclass，然后有点获得是另一个有点获得的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18234-18239	如果机构 equal DepartmentOfPreventingFn 另一个机构 and 有点物理和有点物理是过程的 subclass 和那个机构是那个另外机构 Organization 的一部分，然后那个机构 inhibits 那个有点物理
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2293-2302	如果地缘政治区域对于有点时距在周期货币测量 export 全部和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个货币测量是那个地缘政治区域的 annual 总共输出在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	如果有点物理的使用是对于有点 HotelUnit 免费和有点物理是客体的 subclass 和暂住是有点 HotelUnit 的 instance 和人类 stays 在那个暂住和那个暂住是施事体的财产的 element 和客体是那个有点物理的 instance 和那个客体是 located 在那个暂住和过程是过程的 instance 和那个人类是那个过程的 agent 和那个客体是那个过程的 patient 或那个客体是导致那个过程的 instrument 或那个客体是那个过程的 resource，然后那个客体是对于那个人类的 price 0 美国美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	如果有点物理的使用是对于有点 HotelUnit 免费和有点物理是过程的 subclass 和暂住是有点 HotelUnit 的 instance 和人类 stays 在那个暂住和那个暂住是施事体的财产的 element 和那个人类是过程的 patient 和那个过程是那个有点物理的 instance 或另一个过程是那个有点物理的 instance 和那个过程%n是那个另外过程的subProcess 和那个过程是 located 在那个暂住，然后那个过程是对于那个人类的 price 0.0 美国美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	如果有点物理的使用对于有点 HotelFunctionRoom 是免费和实体是有点 HotelFunctionRoom 的 instance 和那个实体是施事体的财产的 element 和过程是租的 instance 和那个实体是那个过程的 patient 和那个施事体是那个过程的 agent 和那个过程在另一个实体结束和有点物理是客体的 subclass，然后有存在第三实体和第四实体这样那个第三实体是那个有点物理的 instance 和那个第四实体是过程的 instance 和那个第三实体是那个第四实体的 resource 或那个第三实体是导致那个第四实体的 instrument 或那个第三实体是那个第四实体的 patient 和那个另外实体是那个第四实体的 agent 或那个另外实体经历了那个第四实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	如果人类是在施事体的 guest 和那个人类 stays 在暂住和那个暂住是那个施事体的财产的 element 和那个暂住是那个暂住OOM 的 instance 和有点物理是 amenity 在那个暂住OOM 和有点物理是客体的 subclass，然后有存在另一个物理这样那个另外物理是那个有点物理的 instance 和那个另外物理是 located 在那个暂住和那个施事体允许那个人类执行有存在实体这样那个人类是那个实体的 agent 和那个另外物理是导致那个实体的 instrument 或那个另外物理是那个实体的 patient 或那个另外物理是那个实体的 resource 的任务
No TPTP formula. May not be expressible in strict first order.	Media.kif 1900-1904	如果实体 publishes 类在时间位置 holdsDuring 和那个类是书的 subclass，然后图书出版商是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 1888-1892	如果实体 publishes 类在时间位置 holdsDuring 和那个类是音乐作品的 subclass，然后音乐出版商是那个实体的 attribute 在那个时间位置 holdsDuring

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 31492-31499	如果 applicableRelation 客体 and 关系和那个客体是那个客体C 的 instance 和那个关系的 1 数量是另一个类的 instance，然后那个客体C equal 那个另外类或那个客体C 是那个另外类的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	如果 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 24312-24322	如果日是人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样那个人类的 birthday 是另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和那个另外有点日 equal 那个正整数 day 和那个整数是 greaterThan 另一个整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 221-227	如果关系的正整数数量是类的 instance 和那个关系的那个正整数数量是另一个类的 instance，然后那个类是那个另外类的 subclass 或那个另外类是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2992-2997	如果关系的正整数数量是类的 subclass 和那个关系是谓语的 instance 和那个关系 @ROW，然后 (@ROW) 的第那个正整数几个元素是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 244-250	如果关系的正整数数量是类的 subclass 和那个关系的那个正整数数量是另一个类的 subclass，然后那个类是那个另外类的 subclass 或那个另外类是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	如果有点获得 equal receiving 一个有点客体和另一个有点获得 equal receiving 一个另一个有点客体和有点客体是另一个有点客体的 subclass，然后有点获得是另一个有点获得的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1767-1775	如果有点客体 equal 另一个有点客体跟属性的 attr 和第三客体是有点客体的 instance，然后那个第三客体是另一个有点客体的 instance 和那个有点客体是那个另外有点客体的 subclass 和那个属性是那个第三客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	如果可穿戴物品是听力保护的 instance 和动物是人类的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生和那个可穿戴物品是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Dining.kif 219-223	如果 Catalog 是 AlcoholMenu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是酒精饮料的 subclass
No TPTP formula. May not be expressible in strict first order.	Dining.kif 208-212	如果 Catalog 是 BeverageMenu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是饮料的 subclass
No TPTP formula. May not be expressible in strict first order.	Dining.kif 178-182	如果 Catalog 是 Menu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是 food for 人类的 subclass
No TPTP formula. May not be expressible in strict first order.	Dining.kif 229-233	如果 Catalog 是 WineMenu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是 WineMenu 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9513-9526	如果客体是植物的 instance 和另一个客体是那个客体的 part，然后有存在过程，实体， and 和另一个有点过程这样那个过程是另一个有点过程的 instance 和那个另外有点过程是保存的 subclass 和那个实体是水的 instance 和那个实体是那个过程的 patient 和那个另外客体能够担当工具的角色做那个另外有点过程和那个另外客体是 PlantLeaf 的 instance 或那个另外客体是 PlantStem 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16775-16779	如果关系是经济关系的 instance 和那个关系的 1 数量是类的 instance，然后那个类是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3379-3383	如果函数是序列函数的 instance 和那个函数的 range 是类的实例，然后那个类是整数的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	如果可穿戴物品是安全套的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个可穿戴物品是导致那个实体的 instrument 和那个动物是那个实体的 patient 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1039-1046	如果躯体性物体是 SnowSki 的 instance 和有点物质是那个躯体性物体的材料，然后有点物质是金属的 subclass 或那个有点物质是木的 subclass 或那个有点物质是塑料的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4665-4673	如果客体是 BalsaWood 的 instance 和那个客体是另一个客体的 part，然后有存在有点 OrganicObjecct 这样那个另外客体是一个 dead 有点 OrganicObjecct 的 instance 和那个有点 OrganicObjecct 是 PlatnStem 的 subclass 和 %每个那个有点 OrganicObjecct 是 Balsa 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4678-4686	如果客体是 BeechWood 的 instance 和那个客体是另一个客体的 part，然后有存在有点 OrganicObjecct 这样那个另外客体是一个 dead 有点 OrganicObjecct 的 instance 和那个有点 OrganicObjecct 是 PlatnStem 的 subclass 和 %每个那个有点 OrganicObjecct 是 Beech 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4691-4699	如果客体是 BirchWood 的 instance 和那个客体是另一个客体的 part，然后有存在有点 OrganicObjecct 这样那个另外客体是一个 dead 有点 OrganicObjecct 的 instance 和那个有点 OrganicObjecct 是 PlatnStem 的 subclass 和 %每个那个有点 OrganicObjecct 是 Birch 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4824-4832	如果客体是 CedarWood 的 instance 和那个客体是另一个客体的 part，然后有存在有点 OrganicObjecct 这样那个另外客体是一个 dead 有点 OrganicObjecct 的 instance 和那个有点 OrganicObjecct 是 PlatnStem 的 subclass 和 %每个那个有点 OrganicObjecct 是 Cedar 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4704-4713	如果客体是 CherryWood 的 instance 和那个客体是另一个客体的 part，然后有存在实体这样那个另外客体是一个 dead 那个实体的 instance 和那个实体是 PlatnStem 的 subclass 和 %每个那个实体是 BlackCherryTree 的 initially part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4837-4846	如果客体是 FirWood 的 instance 和那个客体是另一个客体的 part，然后有存在实体这样那个另外客体是一个 dead 那个实体的 instance 和那个实体是 PlatnStem 的 subclass 和 %每个那个实体是 DouglasFir 的 initially part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4651-4660	如果客体是 Hardwood 的 instance 和那个客体是另一个客体的 part，然后有存在实体这样那个另外客体是一个 dead 那个实体的 instance 和那个实体是 PlantStem 的 subclass 和 %每个那个实体是 DeciduousTree 的 initially part 的声明 has 容易的语气

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 895-906	地缘政治区域的 fit 对于军服务男性 equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5109-5112	有存在有点客体这样有点客体是 HandToolBox 的 subclass 和 manufacturer 那个有点客体 and SortimoCorp

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1170-1170	AAM 是空袭导弹的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1169-1169	AAM 是空中发射导弹的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1171-1171	AAM 是导弹的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1647-1647	AAV 是两栖车辆的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1646-1646	AAV 是军车的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1648-1648	AAV 是乘用车的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1649-1649	AAV 是动力车辆的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26453-26453	ACPowerSource 是能量源的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1123-1123	AG m 是空中发射导弹的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1124-1124	AG m 是地面攻击导弹的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1203-1203	AG m114 是 AG m 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1205-1205	AG m114 是反装甲武器的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1204-1204	AG m114 是束骑导弹的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1136-1136	AG m65 是 AG m 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1138-1138	AG m65 是反装甲武器的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1137-1137	AG m65 是红外导弹的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1889-1889	A h1 是直升机的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1890-1890	A h1 是军车的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1177-1177	AI m9 是 AAM 的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1178-1178	AI m9 是红外导弹的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25631-25631	AMFMAlarmClock 是 AlarmClock 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25632-25632	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 3169-3169	AOCnumber 是符号串的 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: