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 and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 132-132	域子類, 2 and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 129-129	例子類 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18551-18551	例子類 and ClosedWorldPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 130-130	例子類 and PartialOrderingRelation

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 21366-21366	子關係子領域 and 子類
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5392-5392	子關係子集 and 子類
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55706-55706
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 55705-55705
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55704-55704

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	attribute AutonomousAgent and ADHD attribute AutonomousAgent and ADHD 等於 AutonomousAgent and AutonomousAgent 例 Process and Class 例 Process and Class 子類 Class and IntentionalPsychologicalProcess agent Process and AutonomousAgent agent Process and AutonomousAgent 持續時間何時 Process and TimeDuration 持續時間何時 Process and TimeDuration 模態屬性比較多 TimeDuration and TimeDuration and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	attribute Object and Oversized 立即實例 Object and Class 子類 Class and HotelUnit Physical RealNumber, RealNumber and UnitOfMeasure 立即實例 Physical and Class 例 UnitOfMeasure and UnitOfArea 測量 Physical and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and AreaMeasure 例 RealNumber and AreaMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	attribute AutonomousAgent and 作家例 Entity and ContentBearingObject 子類 ContentBearingObject and Text 子類 ContentBearingObject and Document 例 Process and Writing agent Process and AutonomousAgent 結果 Process and Entity 作者 AutonomousAgent and ContentBearingObject
No TPTP formula. May not be expressible in strict first order.	WMD.kif 789-793	Process 是生化劑的 biochemical 病毒傳遞子類 Process and Process Process 是生化劑的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 976-980	Organism 是生物製劑的病毒傳遞者子類 Organism and Organism Organism 是生物製劑的病毒傳遞者
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	能力 Process, CaseRole and Object 子類 Process and Shooting Object 例 Object and Weapon 部分 Object and Object 能力 Process, CaseRole and Object
No TPTP formula. May not be expressible in strict first order.	Government.kif 583-589	天 PositiveInteger and 月 Month and 年 Integer 是假日的 commemorates 日期例 Entity and 假日子類假日 and 固定假期小於或等於 Integer and entity-YEAR 例 Entity and 天 PositiveInteger and 月 Month and 年 entity-YEAR
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Object 例 Entity and Physical 賦予權利 entity 例 entity and Process 資源 entity and Entity 儀器 entity and Entity 患者 entity and Entity agent entity and CognitiveAgent 體驗者 entity and CognitiveAgent, AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Process 模態屬性 entity entity and entity 元件 entity and 屬性 AutonomousAgent agent entity and AutonomousAgent 患者 entity and CognitiveAgent 例 entity and Physical 例 entity and Physical 子過程 entity and entity 位於 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13574-13585	Object 的 maximum 預期價值是測量 RealNumber and UnitOfMeasure 子類 Class and NonCompositeUnitOfMeasure 例 UnitOfMeasure and Class 模態屬性 entity RealNumberUANTITY and entity 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and entity 例 entity and Class 比較多測量 RealNumberUANTITY and entity and 測量 RealNumber and UnitOfMeasure and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13543-13554	Object 的 minimum 預期價值是測量 RealNumber and UnitOfMeasure 子類 Class and NonCompositeUnitOfMeasure 例 UnitOfMeasure and Class 模態屬性 entity RealNumberUANTITY and entity 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and entity 例 entity and Class 少於 RealNumberUANTITY and RealNumber and 較不可能
No TPTP formula. May not be expressible in strict first order.	WMD.kif 957-961	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance 子類 Process and Process DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance 子類 BiologicallyActiveSubstance and BiologicallyActiveSubstance DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2112-2121	GeopoliticalArea 是對於 TimeInterval 在其間 PhysicalQuantity 的 electricity 消耗子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力消耗
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2156-2165	GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 輸出子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力輸出
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2202-2211	GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 輸出子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea annual 的電力輸入
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1980-1989	GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 生產子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力生產
No TPTP formula. May not be expressible in strict first order.	Food.kif 2876-2882	等於 Object and OrganicObjectFn Object 子類 Object and AnimalFat 子類 Object and FatTissue %每個 Object 是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4629-4634	等於 Object and OrganicObjectFn Object 子類 Object and 咖啡豆子類 Object and 種子 %每個 Object 是 CoffeePlant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4693-4699	等於 Object and OrganicObjectFn Object 子類 Object and 可可豆子類 Object and 種子 %每個 Object 是可可樹的 initially part
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	等於 Getting and receiving 一個 Object 等於 Getting and receiving 一個 Object 子類 Object and Object 子類 Getting and Getting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18428-18433	等於 Organization and DepartmentOfPreventingFn Organization and Physical 子類 Physical and Process 子組織 Organization and Organization 抑制 Organization and Physical
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4945-4950	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Meat 子類 OrganicObject and Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4166-4172	等於 Object and OrganicObjectFn Object 子類 Object and Malt 子類 Object and 穀物 %每個 Object 是穀物草的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	等於 Object and OrganicObjectFn Object 子類 Object and OilFromPlant 子類 Object and 種子子類 Object and 水果 Object 子類 Object and FloweringPlant %每個 Object 是 Object 的 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 31419-31426	applicableRelation Object and Relation 例 Object and ObjectC 域 Relation, 1 and Class 等於 ObjectC and Class 子類 ObjectC and Class
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	attribute Object and DutyFree 例 Object and 商店 GeopoliticalArea Entity, Object and Process 例 GeopoliticalArea and GeopoliticalArea 位於 Object and GeopoliticalArea 子類 Object and Object Object 是 GeopoliticalArea 的 import 商品種類例 Entity and Object 例 Process and Selling 患者 Process and Entity 位於 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24293-24303	Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer Human 的 birthday 是 Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 221-227	域 Relation, PositiveInteger and Class 域 Relation, PositiveInteger and Class 子類 Class and Class 子類 Class and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3006-3011	域子類 Relation, PositiveInteger and Class 例 Relation and Predicate Relation @ROW 子類清單順序名單 @ROW and PositiveInteger and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 244-250	域子類 Relation, PositiveInteger and Class 域子類 Relation, PositiveInteger and Class 子類 Class and Class 子類 Class and Class
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	等於 Getting and receiving 一個 Object 等於 Getting and receiving 一個 Object 子類 Object and Object 子類 Getting and Getting
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4945-4950	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Meat 子類 OrganicObject and Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	等於 Object and OrganicObjectFn Object 子類 Object and OilFromPlant 子類 Object and 種子子類 Object and 水果 Object 子類 Object and FloweringPlant %每個 Object 是 Object 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Object 子類 OrganicObject and Organism 子類 OrganicObject and AnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5032-5036	等於 Object and OrganicObjectFn OrganicObject 子類 Object and 毛皮子類 OrganicObject and 皮膚
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5235-5244	等於 Object and OrganicObjectFn Object 子類 Object and WoodProduct 子類 Object and PlantStem Object 子類 Object and 植物樹 %每個 Object 是 Object 的 initially part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1780-1788	等於 Object and Object 跟 Attribute 的 attr 例 Object and Object 例 Object and Object 子類 Object and Object attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3840-3845	例 Object and AegilopsGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3963-3968	例 Object and CommonWheatGrass 部分 ObjectELL and Object 例 ObjectELL and ObjectLASS 子類 ObjectLASS and HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3993-3998	例 Object and SpeltWheatGrass 部分 ObjectELL and Object 例 ObjectELL and ObjectLASS 子類 ObjectLASS and HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12060-12072	例 Process and 決定 agent Process and CognitiveAgent 例 Set and Set 患者 Process and Set 元件 Entity and Set 相信 CognitiveAgent and entity 例 Entity and entity 子類 entity and IntentionalProcess 能力 entity, agent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3904-3909	例 Object and DurumWheatGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3934-3939	例 Object and EinkornWheatGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3872-3877	例 Object and EmmerWheatGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3948-3953	例 Object and TriticumUrartu 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5485-5493	例 Process and 砍伐結果 Process and Entity EntityTEM 例 Entity and 一個 dead EntityTEM 子類 EntityTEM and PlantStem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18111-18119	例 Process and 收穫結果 Process and Entity EntityRG 例 Entity and 一個 dead EntityRG 子類 EntityRG and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3432-3461	例可穿戴物品 and 聽力保護例 Animal and Human 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity, entity and entity 例 entity and RadiatingSound 例 entity and Hearing 例 entity and Human 患者 entity and entity 體驗者 entity and entity 原因 entity and entity 體驗者 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity 儀器 entity and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Dining.kif 219-223	例 Catalog and AlcoholMenu Entity 是在 Catalog 子類 Entity and 酒精飲料

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 886-897	等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5094-5097	Object 子類 Object and HandToolBox manufacturer Object and SortimoCorp

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1170-1170	子類 AAM and 空襲導彈
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1169-1169	子類 AAM and 空中發射導彈
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1171-1171	子類 AAM and 導彈
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1647-1647	子類 AAV and 兩棲車輛
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1646-1646	子類 AAV and 軍車
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1648-1648	子類 AAV and 乘用車
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1649-1649	子類 AAV and 動力車輛
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 778-778	子類 ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve and Nerve
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26388-26388	子類 ACPowerSource and 能量源
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3293-3293	子類 ADHD and PsychologicalDysfunction
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1123-1123	子類 AG m and 空中發射導彈
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1124-1124	子類 AG m and 地面攻擊導彈
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1203-1203	子類 AG m114 and AG m
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1205-1205	子類 AG m114 and 反裝甲武器
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1204-1204	子類 AG m114 and 束騎導彈
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1136-1136	子類 AG m65 and AG m
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1138-1138	子類 AG m65 and 反裝甲武器
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1137-1137	子類 AG m65 and 紅外導彈
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1889-1889	子類 A h1 and 直升機
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1890-1890	子類 A h1 and 軍車
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1177-1177	子類 AI m9 and AAM
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1178-1178	子類 AI m9 and 紅外導彈
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2130-2130	子類 AMEV and 救護車
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2129-2129	子類 AMEV and 陸地車輛
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2128-2128	子類 AMEV and 軍車

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: