Object - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1552-1554
No TPTP formula. May not be expressible in strict first order.	Merge.kif 847-852
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 122-125
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 141-145
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1204-1204
No TPTP formula. May not be expressible in strict first order.	Merge.kif 846-846	子類 Object and Physical

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 833-833	劃分 Physical, Object and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9928-9928	範圍洞主持人 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10069-10069	範圍洞皮 and Object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2626-2626	範圍線路 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9831-9831	範圍分類差異 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9810-9810	範圍 mereological產品 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9788-9788	範圍 mereological 總和 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1776-1776	範圍子類 attr and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18372-18372	範圍子類 MakingFn and Object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5250-5250	範圍子類 OrganicObjectFn and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15681-15681	子類 Artifact and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14022-14022	子類 AstronomicalBody and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	子類 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1261-1261	子類 Collection and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24553-24553	子類 ContactSite and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3866-3866	子類 Magnet and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1251-1251	子類 Region and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 862-862	子類 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25611-25611	子類 SphericalObject and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2068-2068	子類 TornadoDamage and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15250-15250	子類過境障礙 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4797-4797	子類二維物體 and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2096-2096	sublass Shrapnel and Object
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 815-815

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1276-1276	域 AccelerationFn, 3 and Object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2624-2624	域線路, 1 and Object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2625-2625	域線路, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9829-9829	域分類差異, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9830-9830	域分類差異, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9808-9808	域 mereological產品, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9809-9809	域 mereological產品, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9786-9786	域 mereological 總和, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9787-9787	域 mereological 總和, 2 and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 870-870	域吸收劑量, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 936-936	域 adjacentOrientation, 1 and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 184-184	域 advertisedOn, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25673-25673	域氣溫, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31363-31363	域 allowableValue, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Music.kif 357-357	域 anthem, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31376-31376	域 applicableRelation, 1 and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1926-1926	域問價格, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1720-1720	域 attribute, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17465-17465	域軸, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17466-17466	域軸, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7816-7816	域氣壓, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29769-29769	域 beforeOnPath, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29770-29770	域 beforeOnPath, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29771-29771	域 beforeOnPath, 3 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4152-4152	域之間, 1 and Object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23252-23258	CaseRole Process and Object 例 CaseRole and CaseRole 例 Process and Process 例 Object and Object Object 對於 Process 在事件 CaseRole plays 角色
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25687-25696	attribute Object and Attribute 例 Attribute and TemperatureAttribute 例 Object and Object Object 測量 Object and Object 例 Object and TemperatureMeasure attribute Object and Attribute
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.	Economy.kif 5267-5276	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Object Object Object 例 Object and 一個 dead OrganicObject 部分 Object and Object 例 Object and OrganicObject
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.	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 546-561	Physical 的使用是對於 AutonomousAgent 免費例 Process and Physical AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Process agent Process and CognitiveAgent 體驗者 Process and CognitiveAgent 擁有 AutonomousAgent and Process 例 Process and Object 使用 Process and CognitiveAgent Process 是對於 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 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.	UXExperimentalTerms.kif 1326-1342	例 TimeInterval and AddToCart 例 Entity and Object 患者 TimeInterval and Entity agent TimeInterval and AutonomousAgent Collection WebSite, TimePosition and TimeInterval 例 Collection and Collection 例 WebSite and WebSite 例 TimeInterval and TimeInterval 使用者 AutonomousAgent 在 WebSite 有 cart Collection 等於開始 TimeInterval and 結束 TimeInterval 持有期間 TimePosition and 會員 Entity and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	例 Process and AddToCart 例 CognitiveAgent and AutonomousAgent 例 Entity and Object agent Process and CognitiveAgent 患者 Process and Entity 慾望 CognitiveAgent and entity 例 entity and Buying 患者 entity and Entity agent entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	例 Process and Auctioning 例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 Object and Object 例 UnitOfMeasure and UnitOfCurrency 患者 Process and Object AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於 Object AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於 Object 比較多 RealNumber and RealNumber 目的地 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	例 Process and Auctioning 例 Object and Object 患者 Process and Object AutonomousAgent CurrencyMeasure 例 AutonomousAgent and AutonomousAgent 例 CurrencyMeasure and CurrencyMeasure AutonomousAgent bids CurrencyMeasure 對於 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22018-22025	例 Object and 刀片例 Process and Cutting 例 Object and Object 儀器 Process and Object 患者 Process and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 468-478	例 Food and Object roastedToTemperature Food and RealNumber Process 例 Process and Heating 患者 Process and Food 持有期間結束何時 Process and 測量 Food and 測量 RealNumber and 攝氏度
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	例 Collection and Collection 例 RealNumber and CurrencyMeasure 例 Integer and RealNumber 等於 RealNumber and Collection 的 value 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Object entity 會員 entity and Collection 患者 entity and SymbolicString 等於 Collection 的 average price and 部 RealNumber and Integer
No TPTP formula. May not be expressible in strict first order.	Food.kif 980-992	例 Process and Crushing 患者 Process and Entity 例 Entity and Object Process Process 例 Process and Breaking 原因 Process and Process 子過程 Process and Process 例 Process and ShapeChange 患者 Process and Entity 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 994-1003	例 Process and Crushing 患者 Process and Entity 例 Entity and Object Process 結果 Process and Process 例 Process and ShapeChange 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	例 Collection and WebListingCategory 例 Physical and WebListing 例 Physical and WebListing 例 Process and Object 例 Process and Object 會員 Physical and Collection 會員 Physical and Collection 患者 Process and Physical 患者 Process and Physical Class 例 Class and Class 例 Process and Class 例 Process and Class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 373-379	例 Entity and Object 例 Object and WebListing attribute Object and ForSaleByOwner 患者 Object and Entity 例 Entity and 車輛
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	例 Object and Object 例 Object and WebListing 例 AutonomousAgent and AutonomousAgent attribute Object and ForSaleByOwner 擁有 AutonomousAgent and Object 例 AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6000-6011	例 AutonomousAgent and 車床例 Entity and Object 儀器 Process and AutonomousAgent 患者 Process and Entity Process 例 Process and 旋轉子過程 Process and Process 患者 Process and Entity agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17882-17892	例 Object and Object attribute Object and 又長又瘦例 Object and Object attribute Object and 又長又瘦連接的 Object and Object 等於 Object and Object RealNumber relativeAngle Object, Object and RealNumber
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 313-325	例 Object and WebListing 例 Process and Object 例 CognitiveAgent and AutonomousAgent attribute Object and AuctionAttribute 患者 Process and Object CognitiveAgent created Object 慾望 CognitiveAgent and entity 例 entity and Auctioning 患者 entity and Process

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 25322-25326	attribute Object and Attribute 例 Attribute and SizeAttribute 例 Object and Object
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.	MilitaryPersons.kif 26-47	持有期間 TimeInterval and attribute entity and 平民流離失所棲息 entity and entity 位於 entity and GeographicArea 例 GeographicArea and GeographicArea 例 TimeInterval and TimeInterval TimeInterval entity-PLACE and entity-RES 例 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 例 entity-RES and Object 例 entity-PLACE and GeopoliticalArea 位於 entity-RES and entity-PLACE 等於 GeographicArea and entity-PLACE 等於 entity and entity-RES GeographicArea 是 entity-PLACE 的 geographic 次要地區 entity-PLACE 是 GeographicArea 的 geographic 次要地區持有期間 TimeInterval and 棲息 entity and entity-RES
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11754-11769	例 Process and Choking 體驗者 Process and AutonomousAgent Entity Object and Object 例 Entity and Object 例 Object and Trachea 例 Object and 肺部分 Object and AutonomousAgent 部分 Object and AutonomousAgent 持有期間何時 Process and 位於 Entity and Object 位於 Entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6056-6075	例 Process and Coughing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entity and entity 例 entity and 肺例 entity and 喉例 entity and Object 例 entity and Removing 部分 entity and AutonomousAgent 部分 entity and AutonomousAgent objectTransferred entity and entity 持有期間不久的過去何時 Process and 位於 entity and entity 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6122-6140	例 Process and Sneezing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entityOSE and entity 例 entity and NasalCavity 例 entityOSE and 鼻子等於 entityOSE and 洞主持人 entity 例 entity and Object 例 entity and Removing 部分 entityOSE and AutonomousAgent objectTransferred entity and entity 持有期間不久的過去何時 Process and 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	例 Collection and Organization attribute Collection and 航空運輸業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity CognitiveAgentLANE and entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and CognitiveAgentLANE 例 CognitiveAgentLANE and 飛機, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 7242-7257	例 Collection and Organization attribute Collection and 建築材料和園藝設備及用品經銷商 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object 例 AutonomousAgent and Selling 例 Object and Object 能力 Constructing, 資源 and Object 能力農業, 資源 and Object 患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	例 Collection and Organization attribute Collection and 信使和信使 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent Entity 例 AutonomousAgent and Selling 例 Entity and Object 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity 例 entity and Transportation 擁有 CognitiveAgent and Entity 患者 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 7702-7716	例 Collection and Organization attribute Collection and 百貨商店 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Entity 例 AutonomousAgent and Selling 例 Entity and Human 例 Entity and Object 目的地 AutonomousAgent and Entity 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 6153-6169	例 Collection and Organization attribute Collection and 雜項製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and Object 患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 7752-7765	例 Collection and Organization attribute Collection and 雜貨店零售商 Process Physical, Entity, Object and AutonomousAgent 會員 Physical and Collection agent Process and AutonomousAgent 例 Process and Selling 例 AutonomousAgent and Human 例 Object and 零售店 Process 是 located 在 Object 例 Entity and Object 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 7877-7893	例 Collection and Organization attribute Collection and 非商店零售商 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Entity 例 AutonomousAgent and Selling 例 Entity and Human 例 Entity and Object AutonomousAgent 是 located 在零售店目的地 AutonomousAgent and Entity 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	例 Collection and Organization attribute Collection and 郵政服務 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent Entity 例 AutonomousAgent and Selling 例 Entity and Object 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity 例 entity and Transportation 擁有 CognitiveAgent and Entity 患者 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	例 Collection and Organization attribute Collection and 鐵路運輸 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and entity 例 entity and 鐵路車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 7600-7618	例 Collection and Organization attribute Collection and 體育用品愛好書籍和音樂商店 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object 例 AutonomousAgent and Selling 例 Object and Object 能力 Sport, 儀器 and Object 能力 MakingMusic, 儀器 and Object 例 Object and Book 例 Object and 音樂錄音例 Object and 音樂文本患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	例 Collection and Organization attribute Collection and 卡車運輸 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Transportation 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and entity 例 entity and 陸地車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	例 Collection and Organization attribute Collection and 倉儲和儲存 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent Entity 例 AutonomousAgent and Selling 例 Entity and Object 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity 例 entity and TimeInterval 例 entity and Building 擁有 CognitiveAgent and Entity 持有期間 entity and 位於 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	例 Collection and Organization attribute Collection and 水運業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and entity 例 entity and 水車, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 6375-6391	例 Collection and Organization attribute Collection and 批發貿易 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Selling 例 Entity and Object 患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2065-2076	例 CorpuscularObject and ViewItemPage 例 WebSite and WebSite 零件 CorpuscularObject and WebSite Entity WebListing 例 Entity and Object 例 WebListing and WebListing 零件 WebListing and CorpuscularObject WebListing 是在 WebSite hosted 患者 WebListing and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1883-1900	例 Process and Repayment 例 Process_DESTINATION and Object 目的地 Process and Process_DESTINATION 例 Process_ORIGIN and Object 起源 Process and Process_ORIGIN Process Process_ORIGIN and Process_DESTINATION 例 Process and 付款例 Process_ORIGIN and Object 例 Process_DESTINATION and Object 等於 Process and Process 目的地 Process and Process_DESTINATION 起源 Process and Process_ORIGIN 等於 Process_ORIGIN and Process_DESTINATION 等於 Process_DESTINATION and Process_ORIGIN
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12984-12997	例 Process and Searching 患者 Process and Physical 例 Physical and Physical Object AutonomousAgent 例 AutonomousAgent and CognitiveAgent agent Process and AutonomousAgent 例 Object and Object 位於 Physical and Object 有代理人的目的 Process, 知道 AutonomousAgent and 位於 Physical and Object and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21147-21177	例 Proposition and 爭論例 Process and Reasoning 例 Proposition and Archeology 次提案 Proposition and Proposition 實現 Process and Proposition Process entity, Physical, RealNumber, entity and entity 例 Process and 發現例 Physical and Object 患者 Process and Physical 參照 Process and Process 早期何時 Process and 何時 Process 年齡 Physical and 測量 RealNumber and 年持續時間比較多 RealNumber and 50 持有期間不久的過去何時 Process and 表面 entity and entity 例 entity and 水體方位 Physical, entity and 下面表面 entity and entity 例 entity and LandArea 方位 Physical, entity and 下面
No TPTP formula. May not be expressible in strict first order.	Cars.kif 368-376	例 Object and Region attribute Object and Vacuum Physical 例 Physical and Object 位於 Physical and Object

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: