element - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2289-2290
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5408-5410
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 957-959
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5405-5405	域元件, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5406-5406	域元件, 2 and Set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5404-5404	例元件 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 488-488
No TPTP formula. May not be expressible in strict first order.	english_format.kif 493-493
No TPTP formula. May not be expressible in strict first order.	french_format.kif 285-285
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 90-90
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2066-2066
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 237-237
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 291-291
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 633-633
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 130-130
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 306-306
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 312-312
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 195-195
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1275-1275	相關的內部概念會員 and 元件
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21807-21807	相關的內部概念會員 and 元件
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 489-489	相關的內部概念會員 and 元件
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21806-21806	相關的內部概念會員 and 元件
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21805-21805	相關的內部概念會員 and 元件
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 195-195	相關的內部概念會員 and 元件
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 196-196	相關的內部概念會員 and 元件

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5412-5416	元件 Entity and Set 元件 Entity and Set 等於 Set and Set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5398-5402	元件 Entity and Set 元件 Entity and Set 子集 Set and Set
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1452-1457	attribute AutonomousAgent and 旅客住宿元件 Entity and 屬性 AutonomousAgent 例 Entity and Casino attribute AutonomousAgent and 賭場酒店
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	元件 Object and 屬性 Organization attribute Object and AnnexRoom 例 Object and HotelRoom Object Object and Organization 子組織 Organization and Organization 例 Organization and HotelFrontDesk 位於 Organization and Object 元件 Object and 屬性 Organization 元件 Object and 屬性 Organization 部分 Object and Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 147-154	元件 Collection and 屬性 AutonomousAgent 例 Collection and RoomInventory Physical 會員 Physical and Collection 元件 Physical and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	Physical 是 free 對於顧客出租 HotelFunctionRoom 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent Object 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	Physical 的使用對於 HotelUnit 是免費子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 患者 Process and Object 儀器 Process and Object 資源 Process and Object Object 是對於 Human 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	Physical 的使用對於 HotelUnit 是免費子類 Physical and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 Process 是對於 Human 的 price 測量 0.0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	Physical 的使用對於 HotelFunctionRoom 是免費例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity agent Process and AutonomousAgent 目的地 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 294-313	Human 是在 AutonomousAgent 的 guest Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例暫住 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, AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12119-12131	例 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.	Hotel.kif 1696-1704	例 Physical and HotelFunctionRoom 元件 Physical and 屬性 AutonomousAgent 有目的 Physical and entity 例 entity and 租患者 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1902-1914	例 Object and Nursery 元件 Object and 屬性 AutonomousAgent attribute AutonomousAgent and 旅客住宿 CognitiveAgent entity attribute Object and CommunalAttribute 採用 AutonomousAgent and CognitiveAgent 有目的 CognitiveAgent and 例 entity and ChildCareService 服務提供者 entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	StationaryArtifact 能 accommodate 大部分 Integer 的人例 Entity and StationaryArtifact 元件 Entity and 屬性 AutonomousAgent 模態屬性 entity entity 例 entity and 一群人 entity 是 entity 的 member 計數小於或等於 entity and Integer entity stays 在 Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33007-33014	memberMeasure Set, MeasurementAttribute and TimeDuration 例 Set and Set 元件 AutonomousAgent and Set 例 Process and Process agent Process and AutonomousAgent 頻率 Process and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32870-32875	memberMeasure Set, MeasurementAttribute and LengthMeasure 例 Set and Set 元件 SelfConnectedObject and Set SelfConnectedObject 的 approximate diameter 是 LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32794-32799	memberMeasure Set, MeasurementAttribute and LengthMeasure 例 Set and Set 元件 Entity and Set circumference Entity and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32848-32853	memberMeasure Set, MeasurementAttribute and LengthMeasure 例 Set and Set 元件 Entity and Set 直徑 Entity and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32773-32778	memberMeasure Set, MeasurementAttribute and LengthMeasure 例 Set and Set 元件 SelfConnectedObject and Set 高度 SelfConnectedObject and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32742-32747	memberMeasure Set, MeasurementAttribute and LengthMeasure 例 Set and Set 元件 Physical and Set length Physical and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32693-32698	memberMeasure Set, MeasurementAttribute and PhysicalQuantity 例 Set and Set 元件 Physical and Set 測量 Physical and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32899-32904	memberMeasure Set, MeasurementAttribute and AreaMeasure 例 Set and Set 元件 Region and Set AreaMeasure 是 Region 的 total 區域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33039-33044	memberMeasure Set, MeasurementAttribute and FunctionQuantity 例 Set and Set 元件變壓器 and Set transformerCapacity 變壓器 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32921-32926	memberMeasure Set, MeasurementAttribute and FunctionQuantity 例 Set and Set 元件變壓器 and Set voltageRatingPrimary 變壓器 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32964-32969	memberMeasure Set, MeasurementAttribute and FunctionQuantity 例 Set and Set 元件變壓器 and Set voltageRatingSecondary 變壓器 and FunctionQuantity

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.	Hotel.kif 599-604	AutonomousAgent can hold Process 的種類 Object 元件 Object and 屬性 AutonomousAgent 能力 Process, 位於 and Object
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.	Hotel.kif 1127-1140	元件 Object and 屬性 Organization attribute Object and AnnexRoom 例 Object and HotelRoom Object Object and Organization 子組織 Organization and Organization 例 Organization and HotelFrontDesk 位於 Organization and Object 元件 Object and 屬性 Organization 元件 Object and 屬性 Organization 部分 Object and Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 147-154	元件 Collection and 屬性 AutonomousAgent 例 Collection and RoomInventory Physical 會員 Physical and Collection 元件 Physical and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6109-6123	例 Attribute and CapitalMeanOfProduction attribute AttributeO and Attribute entity Entity, entityONEY, EntityGENT and Entity 例 entityONEY and 貨幣等於 AttributeO and entityONEY 元件 Entity and 屬性 EntityGENT 等於 Entity and AttributeO 例 Entity and Artifact 等於 AttributeO and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12151-12167	例 Process and 決定 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Set 結果 Process and 內容承載物理例內容承載物理 and 內容承載物理 containsFormula 內容承載物理 and 持有期間未來何時 Process and entity 元件 entity and Entity 例 entity and IntentionalProcess agent entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31668-31698	例 Process and BreakingRecord agent Process and AutonomousAgent Set Class, Process, TimePoint, CaseRole, Object and Entity 例 Set and Set 元件 AutonomousAgent and Set 子類 Class and Process 例 Object and Region 例 TimePoint and TimePoint 例 Entity and Quantity 例 Process and Class 參照 Process and Entity 參照 Entity and Process AutonomousAgent 對於 Process 在事件 CaseRole plays 角色 Process 是 located 在 Object Entity Entity 例 Entity and Set 等於 Entity and AutonomousAgent 例 Entity and Class 持有期間時間間隔 TimePoint and 結束何時 Process and Entity 對於 Entity 在事件 CaseRole plays 角色 Entity 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 317-332	Physical 是 amenity 在 HotelUnit 子類 Physical and Process 模態屬性 entity entity, entity and entity 例 entity and HotelUnit 元件 entity and 屬性 entity agent entity and entity 例 entity and Physical 例 entity and Physical 子過程 entity and entity 位於 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5392-5396	子集 Set and Set 元件 Entity and Set 元件 Entity and Set
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 45-52	attribute Object and 旅客住宿有目的 Object and entity entity and entity Object rents entity 給 entity 在其間 entity 例 entity and HotelUnit 元件 entity and 屬性 Object
No TPTP formula. May not be expressible in strict first order.	naics.kif 11437-11442	attribute AutonomousAgent and WaterThemePark Entity 例 Entity and 游泳池元件 Entity and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 103-108	例 Entity and HotelUnit AutonomousAgent attribute AutonomousAgent and 旅客住宿元件 Entity and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 110-117	例 Physical and HotelUnit 有目的 Physical and entity entity and entity 等於 entity and entity 元件 Physical and 屬性 entity entity rents Physical 給 entity 在其間 entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5523-5526	例 Set and 非空集 Entity 元件 Entity and Set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5511-5515	例 Set and 空集 Entity 元件 Entity and Set
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1691-1694	例 Entity and HotelFunctionRoom AutonomousAgent 元件 Entity and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 905-919	會員 CognitiveAgent and Capitalism 相信 CognitiveAgent and 例 entity and 生產平均值 attribute entity and entity 例 entity and GeopoliticalArea 位於 entity and entity entity 例 entity and AutonomousAgent 元件 entity and 屬性 entity 等於 entity and entity 的 citizenry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 880-889	會員 CognitiveAgent and Communism 相信 CognitiveAgent and 例 entity and 生產平均值 attribute entity and entity 例 entity and GeopoliticalArea 位於 entity and entity 元件 entity and 屬性 entity 的 citizenry
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4281-4284	擁有 AutonomousAgent and Object 元件 Object and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 615-620	AutonomousAgent 有 Policy Object 元件 Object and 屬性 AutonomousAgent Policy covers Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1727-1739	HotelMiniBar 是 amenity 在 HotelUnit Object Collection and AutonomousAgent 例 Object and HotelUnit 元件 Object and 屬性 AutonomousAgent 例 Collection and HotelMiniBar 位於 Collection and Object Physical 會員 Physical and Collection CurrencyMeasure Physical 是對於 AutonomousAgent 的 price CurrencyMeasure

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: