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 132-134
No TPTP formula. May not be expressible in strict first order.	Merge.kif 130-130	域子類, 1 and SetOrClass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 131-131	域子類, 2 and SetOrClass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 128-128	例子類 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 129-129	例子類 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 327-327
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5114-5114	子關係子集 and 子類
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55628-55628
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 55627-55627
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55626-55626

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1140-1152	attribute Object and Oversized 立即實例 Object and SetOrClass 子類 SetOrClass and HotelUnit Object PhysicalQuantity and PhysicalQuantity 立即實例 Object and SetOrClass 測量 Object and PhysicalQuantity 測量 Object and PhysicalQuantity 例 PhysicalQuantity and AreaMeasure 例 PhysicalQuantity and AreaMeasure 比較多 PhysicalQuantity and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1853-1857	作者 Agent and 音樂作品子類音樂作品 and 音樂作品 Agent composed 音樂作品
No TPTP formula. May not be expressible in strict first order.	WMD.kif 784-788	Process 是生化劑的 biochemical 病毒傳遞子類 Process and Process Process 是生化劑的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 931-935	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.	Media.kif 2859-2865	SymbolicString 在 ISO-4217-A denotes UnitOfCurrency SymbolicString 在 ISO-3166-1-alpha-2 denotes GeopoliticalArea 子類 GeopoliticalArea and GeopoliticalArea 等於 SymbolicString and SymbolicString 的 sub-string 從 0 對於 2 UnitOfCurrency 是 GeopoliticalArea 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Government.kif 606-612	天 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 480-496	CognitiveAgent 是 CognitiveAgent 的 customer CognitiveAgent 有 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, CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 498-514	CognitiveAgent 是 CognitiveAgent 的 customer CognitiveAgent 有 Physical 子類 Physical and Process 模態屬性 entity entity 元件 entity and 屬性 CognitiveAgent agent entity and CognitiveAgent 患者 entity and CognitiveAgent 例 entity and Physical 例 entity and entity 子過程 entity and entity 位於 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11174-11185	Object 的 maximum 預期價值是測量 RealNumber and UnitOfMeasure 子類 SetOrClass and NonCompositeUnitOfMeasure 例 UnitOfMeasure and SetOrClass 模態屬性 entity RealNumberUANTITY and entity 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and entity 例 entity and SetOrClass 比較多測量 RealNumberUANTITY and entity and 測量 RealNumber and UnitOfMeasure and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11145-11156	Object 的 minimum 預期價值是測量 RealNumber and UnitOfMeasure 子類 SetOrClass and NonCompositeUnitOfMeasure 例 UnitOfMeasure and SetOrClass 模態屬性 entity RealNumberUANTITY and entity 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and entity 例 entity and SetOrClass 少於測量 RealNumberUANTITY and entity and 測量 RealNumber and UnitOfMeasure and 較不可能
No TPTP formula. May not be expressible in strict first order.	WMD.kif 912-916	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance 子類 Process and Process DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 918-922	DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance 子類 BiologicallyActiveSubstance and BiologicallyActiveSubstance DiseaseOrSyndrome 是對於 Process 的 disease 治癒 BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2116-2125	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 2160-2169	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 2206-2215	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 1984-1993	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.	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 16094-16098	等於 and DepartmentOfPreventingFn Organization and Process 子類 Process and Process 抑制 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16100-16109	等於 and DepartmentOfPreventingFn Organization and Process 子類 Process and Process 慾望 Organization and entity 例 entity and Process Organization 是事件 entity 的 involved
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2281-2290	GeopoliticalArea 對於 TimeInterval 在週期 CurrencyMeasure export 全部子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 annual 總共輸出
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 334-349	SetOrClass 的使用對於 HotelUnit 是免費子類 SetOrClass and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 Agent 例 Object and SetOrClass 位於 Object and 暫住例 Process and Process agent Process and Human 患者 Process and Object 儀器 Process and Object 資源 Process and Object Process 是對於 Agent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 351-365	SetOrClass 的使用對於 HotelUnit 是免費子類 SetOrClass and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 Agent 患者 Process and Human 例 Process and SetOrClass 例 Process and SetOrClass 子過程 Process and Process 位於 Process and 暫住 Process 是對於 Agent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 784-805	Physical 的使用對於 HotelFunctionRoom 是免費例 Entity and HotelFunctionRoom 元件 Entity and 屬性 Agent 例 Process and 租患者 Process and Entity agent Process and Agent 目的地 Process and Entity 子類 Physical and Object 模態屬性 entity entity 例 entity and Physical 例 entity and Process 資源 entity and entity 儀器 entity and entity 患者 entity and entity agent entity and Entity 體驗者 entity and Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 289-308	Human 是在 CognitiveAgent 的 guest Human stays 在暫住元件暫住 and 屬性 CognitiveAgent 例暫住 and 暫住OOM Physical 是 amenity 在暫住OOM 子類 Physical and Object Physical 例 Physical and Physical 位於 Physical and 暫住賦予權利 entity agent entity and Human 儀器 entity and Physical 患者 entity and Physical 資源 entity and Physical, CognitiveAgent and Human

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.	Merge.kif 794-796	例 SetOrClass and Class 子類 SetOrClass and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 220-226	域 Relation, PositiveInteger and SetOrClass 域 Relation, PositiveInteger and SetOrClass 子類 SetOrClass and SetOrClass 子類 SetOrClass and SetOrClass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2899-2904	域子類 Relation, PositiveInteger and SetOrClass 例 Relation and Predicate Relation @ROW 子類清單順序名單 @ROW and PositiveInteger and SetOrClass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 243-249	域子類 Relation, PositiveInteger and SetOrClass 域子類 Relation, PositiveInteger and SetOrClass 子類 SetOrClass and SetOrClass 子類 SetOrClass and SetOrClass
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.	Dining.kif 215-219	例 Catalog and AlcoholMenu Entity 是在 Catalog 子類 Entity and 酒精飲料
No TPTP formula. May not be expressible in strict first order.	Dining.kif 204-208	例 Catalog and BeverageMenu Entity 是在 Catalog 子類 Entity and Beverage
No TPTP formula. May not be expressible in strict first order.	Dining.kif 178-182	例 Catalog and Menu Entity 是在 Catalog 子類 Entity and food for Human
No TPTP formula. May not be expressible in strict first order.	Dining.kif 225-229	例 Catalog and WineMenu Entity 是在 Catalog 子類 Entity and WineMenu
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11929-11933	例 Process and Publication 患者 Process and SetOrClass 子類 SetOrClass and Text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14488-14492	例 Relation and 經濟關係域 Relation, 1 and SetOrClass 子類 SetOrClass and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3274-3278	例 Function and SequenceFunction 範圍 Function and SetOrClass 子類 SetOrClass and Integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28228-28257	例 Process and BreakingRecord agent Process and Agent SetOrClass SetOrClass, Process, TimePoint, CaseRole, SetOrClass and Entity 例 SetOrClass and Set 例 Agent and SetOrClass 子類 SetOrClass and Process 子類 SetOrClass and Region 例 TimePoint and TimePoint 例 Entity and Quantity 參照 Process and Entity 參照 Entity and SetOrClass Agent 對於 Process 在事件 CaseRole plays 角色 Process 是 located 在 2 Entity Entity 例 Entity and SetOrClass 等於 Entity and Agent 例 Entity and SetOrClass 持有期間時間間隔 TimePoint and 結束何時 Process and Entity 對於 Entity 在事件 CaseRole plays 角色 Entity 是 located 在 2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 323-329	範圍 Function and SetOrClass 範圍 Function and SetOrClass 子類 SetOrClass and SetOrClass 子類 SetOrClass and SetOrClass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 338-342	範圍子類 Function and SetOrClass 等於任務 Function and @ROW and SetOrClass 子類 SetOrClass and SetOrClass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 350-356	範圍子類 Function and SetOrClass 範圍子類 Function and SetOrClass 子類 SetOrClass and SetOrClass 子類 SetOrClass and SetOrClass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18748-18755	attribute Object and 醫生 Process Process 子類 Process and DiagnosticProcess 子類 Process and TherapeuticProcess 能力 Process, agent and Object 能力 Process, agent and Object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 74-78	SetOrClass 和 SetOrClass 的 intersection 是 SetOrClass 子類 SetOrClass and SetOrClass 子類 SetOrClass and SetOrClass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14683-14687	SymbolicString 在 ISO-639-1 denotes SetOrClass 例 SetOrClass and HumanLanguage 子類 SetOrClass and HumanLanguage
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1206-1208	DiseaseOrSyndrome 是對於 Process 的 disease 治癒口服抗生素子類 Process and Ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1233-1235	DiseaseOrSyndrome 是對於 Process 的 disease 治癒外用抗生素子類 Process and Covering
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2844-2849	不相交分解 Class and @ROW SetOrClass 在列表中 SetOrClass and 名單 @ROW 子類 SetOrClass and Class
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6352-6354	等於 GeographicArea and GeographicArea 所有的 instances 在 GeographicArea 子類 GeographicArea and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1689-1698	等於 Class and SetOrClass 跟 Attribute 的 attr Entity 例 Entity and Class 例 Entity and SetOrClass 子類 Class and SetOrClass 屬性 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Media.kif 3173-3175	SymbolicString 是在 Language 的 title 對於 SetOrClass 的例子子類 SetOrClass and Collection

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 5090-5093

Agent 子類 Agent and HandToolBox manufacturer SortimoCorp and Agent

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1300-1300	子類球孢子菌 posadasii 的 biological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1293-1293	子類球孢子菌絲蟲的 biological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1479-1479	子類瘧疾瘧原蟲的 biological agent and 生物製劑
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1288	子類 serratia marcenscens 的 biological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1840-1840	子類蜱傳腦炎病毒的 biological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order.	WMD.kif 400-400	子類鼠疫耶爾森氏菌的 biological agent and 危及生命的特工
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3938-3938	子類一個 dead 蘋果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3964-3964	子類一個 dead 鱷梨 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3967-3967	子類一個 dead 香蕉 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3935-3935	子類一個 dead 漿果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3970-3970	子類一個 dead 麵包果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3843-3843	子類一個 dead 捲心菜 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3876-3876	子類一個 dead 胡蘿蔔 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3896-3896	子類一個 dead 木薯 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3846-3846	子類一個 dead 菜花 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3944-3944	子類一個 dead 柑橘類水果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3973-3973	子類一個 dead 椰子 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3840-3840	子類一個 dead 黃瓜 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3976-3976	子類一個 dead 日期水果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4019-4019	子類一個 dead 食用堅果 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3849-3849	子類一個 dead 茄子 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3927-3927	子類一個 dead 葡萄 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4033-4033	子類一個 dead 花生 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3837-3837	子類一個 dead 綠葉蔬菜 and 雜貨生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3979-3979	子類一個 dead 芒果 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: