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.	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.	Merge.kif 5299-5299	子集是子类别的 subrelation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55683-55683
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 55682-55682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55681-55681

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 500-510	如果作家是施事体的 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 969-973	如果有点生物是有点生物制剂的病毒传递者和另一个有点生物是有点生物的 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 617-623	如果正整数 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 13066-13077	如果有点客体的 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 13035-13046	如果有点客体的 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 950-954	如果疾病或综合症是对于有点过程的 disease 治愈有点生物活性物质和另一个有点过程是有点过程的 subclass，然后那个疾病或综合症是对于另一个有点过程的 disease 治愈有点生物活性物质
No TPTP formula. May not be expressible in strict first order.	WMD.kif 956-960	如果疾病或综合症是对于有点过程的 disease 治愈有点生物活性物质和另一个有点生物活性物质是有点生物活性物质的 subclass，然后那个疾病或综合症是对于有点过程的 disease 治愈另一个有点生物活性物质
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2123-2132	如果地缘政治区域是对于有点时距在其间物理量的 electricity 消耗和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力消耗在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2167-2176	如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力输出在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2222	如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域 annual 的电力输入在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1991-2000	如果地缘政治区域是对于有点时距在周期物理量的 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 17836-17841	如果机构 equal DepartmentOfPreventingFn 另一个机构 and 有点过程和有点过程是过程的 subclass 和那个机构是那个另外机构 Organization 的一部分，然后那个机构 inhibits 那个有点过程
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2288-2297	如果地缘政治区域对于有点时距在周期货币测量 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 1886-1890	如果实体 publishes 类在时间位置 holdsDuring 和那个类是书的 subclass，然后图书出版商是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 1874-1878	如果实体 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 30884-30891	如果 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.	Merge.kif 221-227	如果关系的正整数数量是类的 instance 和那个关系的那个正整数数量是另一个类的 instance，然后那个类是那个另外类的 subclass 或那个另外类是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2941-2946	如果关系的正整数数量是类的 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 1728-1736	如果有点客体 equal 另一个有点客体跟属性的 attr 和第三客体是有点客体的 instance，然后那个第三客体是另一个有点客体的 instance 和那个有点客体是那个另外有点客体的 subclass 和那个属性是那个第三客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Dining.kif 215-219	如果 Catalog 是 AlcoholMenu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是酒精饮料的 subclass
No TPTP formula. May not be expressible in strict first order.	Dining.kif 204-208	如果 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 225-229	如果 Catalog 是 WineMenu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是 WineMenu 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9207-9220	如果客体是植物的 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 16399-16403	如果关系是经济关系的 instance 和那个关系的 1 数量是类的 instance，然后那个类是地缘政治区域的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3328-3332	如果函数是序列函数的 instance 和那个函数的 range 是类的实例，然后那个类是整数的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29534-29564	如果过程是 BreakingRecord 的 instance 和施事体是那个过程的 agent，然后有存在类，另一个类,，，另一个过程,，，时点,，，格角色,，，实体， and 和另一个实体这样那个类是集合的 instance 和那个施事体是那个类的 instance 和那个另外类是过程的 subclass 和那个实体是地区的 instance 和那个时点是时点的 instance 和那个另外实体是数量的 instance 和那个另外过程是那个另外类的 instance 和那个过程提到那个另外实体和那个另外实体提到那个另外过程和那个施事体对于那个另外过程在事件那个格角色 plays 角色和那个另外过程是 located 在 2 和不存在第三实体和第四实体这样那个第三实体是那个类的 instance 和那个第三实体不 equal 那个施事体和那个第四实体是那个另外类的 instance 和那个第三实体对于那个第四实体在事件那个格角色 plays 角色和那个第四实体是 located 在 2 在那个时点和那个过程出现的 time 的结束间的时段 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 324-330	如果函数的 range 是类的实例和那个函数的 range 是另一个类的实例，然后那个类是那个另外类的 subclass 或那个另外类是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 339-343	如果函数的所得值是有点类的 subclass 和那个函数(@ROW) equal 另一个类，然后那个另外类是有点类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 351-357	如果函数的所得值是有点类的 subclass 和那个函数的所得值是另一个有点类的 subclass，然后有点类是另一个有点类的 subclass 或那个另外有点类是那个有点类的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20440-20447	如果医生是客体的 attribute，然后有存在有点过程和另一个有点过程这样有点过程是诊断过程的 subclass 和另一个有点过程是治疗过程的 subclass 和那个客体能够担当主事的角色做那个有点过程和那个客体能够担当主事的角色做那个另外有点过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20493-20505	如果艺术评论家是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是艺术品的 instance 和那个客体出现的 time 时段和那个实体出现的 time 重叠和那个另外实体是那个第三实体的 instance 和那个第三实体是文章的 subclass 和那个客体是那个第三实体的 authors 和那个另外实体提到那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20470-20484	如果新闻记者是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个客体出现的 time 时段和那个实体出现的 time 重叠和那个另外实体是那个第三实体的 instance 和那个第三实体是报纸的 subclass 或那个第三实体是 Newsprogram 的 subclass 和那个客体是那个第三实体的 authors 和那个另外实体提到那个实体
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14705-14709	如果符号串在 ISO-639-1 denotes 类，然后那个类是人类语言的 instance 或那个类是人类语言的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1279-1281	如果疾病或综合症是对于有点过程的 disease 治愈口服抗生素，然后有点过程是消化的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1306-1308	如果疾病或综合症是对于有点过程的 disease 治愈外用抗生素，然后有点过程是遮盖的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2886-2891	如果类分拆成不相交的 @ROW，然后对所有第三类如果那个第三类是 (@ROW) 的 member，然后那个第三类是那个类的 subclass

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.

Cars.kif 5112-5115

有存在施事体这样那个施事体是 HandToolBox 的 subclass 和 manufacturer SortimoCorp and 那个施事体

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 25834-25834	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 25017-25017	AMFMAlarmClock 是 AlarmClock 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25018-25018	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 3168-3168	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: