TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1683-1683
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1558-1559
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	子類 AutonomousAgent and Object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3714-3714	不相交的家具 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6711-6711	範圍街道地址 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16173-16173	子類商業代理人 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	子類 GeopoliticalArea and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16224-16224	子類 Group and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1306-1306	子類 IT代理商 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14355-14355	子類 Organism and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16610-16610	子類 Organization and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1566-1566	子類 SentientAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 848-848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64496-64496
No TPTP formula. May not be expressible in strict first order.	english_format.kif 898-898

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2411-2411	域中止, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1685-1685	域選舉, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1321-1321	域行政部門, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3697-3697	域財政年度, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3723-3723	域財政年度開始, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4274-4274	域屬性, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 981-981	域 SellersItemsFn, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1016-1016	域 SellersOtherItemsFn, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7792-7792	域財富, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1660-1660	域成就, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 596-596	域 activityCapability, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2434-2434	域 agent, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 3423-3423	域 agentName, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2235-2235	域代理人在區域內經營, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23208-23208	域別號, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Biography.kif 150-150	域 appointedPosition, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22928-22928	域責任範圍, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23479-23479	域被捕, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1928-1928	域問價格, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2424-2424	域在組織中關聯, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2435-2435	域與地位相關聯, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2126-2126	域 attitudeForFormula, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2119-2119	域 attitudeForObject, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15456-15456	域作者, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22913-22913	域好處, 2 and AutonomousAgent

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.	Government.kif 1774-1779	attribute Object and Organization 的 member 例 Object and AutonomousAgent 例 Organization and Organization 會員 Object and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30242-30253	例 AutonomousAgent and AutonomousAgent 持有期間 TimeInterval and attribute AutonomousAgent and Motionless Process 例 Process and BodyMotion 例 Process and IntentionalProcess agent Process and AutonomousAgent 期間何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Government.kif 1700-1704	例 AutonomousAgent and AutonomousAgent 例 Process and AutonomousAgent 的 election agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1767-1772	例 Object and AutonomousAgent 例 Organization and Organization 會員 Object and Organization attribute Object and Organization 的 member
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite Collection 例 Collection and Collection WebListing 例 WebListing and WebListing WebListing 是在 WebSite hosted AutonomousAgent sells WebListing 會員 WebListing and Collection 等於樣品對於 sale 由 AutonomousAgent 在 WebSite and Collection
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	例 AutonomousAgent and AutonomousAgent CognitiveAgent 是個 potential customer 對於 AutonomousAgent 模態屬性例 entity and Reserving 目的地 entity and AutonomousAgent and 必要性條件概率 entityES1 例 entityES1 and Reservation CognitiveAgent reserves entityES1 AutonomousAgent fulfills entityES1 , AutonomousAgent 是 CognitiveAgent 的 customer and RealNumber 條件概率 entityES2 例 entityES2 and Reservation CognitiveAgent reserves entityES2 AutonomousAgent fulfills entityES2 , AutonomousAgent 是 CognitiveAgent 的 customer and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	例 AutonomousAgent and AutonomousAgent 子類 AutonomousAgent 的 election and 選舉例 AutonomousAgent and Organization 例 AutonomousAgent and GeopoliticalArea
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.	Merge.kif 11656-11666	例 Process and ChangeOfPossession 起源 Process and Object 目的地 Process and Entity 例 Object and AutonomousAgent 例 Entity and AutonomousAgent 患者 Process and Entity 持有期間開始何時 Process and 擁有 Object and Entity 持有期間結束何時 Process and 擁有 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	例 Collection and Collection 例 WebSite and WebSite 例 AutonomousAgent and AutonomousAgent 例 WebListing and WebListing 例 TimePoint and TimePoint AutonomousAgent sells WebListing 會員 WebListing and Collection Physical Physical 例 Physical and WebListing 會員 Physical and 樣品對於 sale 由 AutonomousAgent 在 WebSite 時間部分 TimePoint and 何時 Physical 等於 Physical and WebListing 會員 Physical and Collection 會員 Physical and Collection 時間部分 TimePoint and 何時 Physical 例 Physical and WebListing 等於東西對於 sale 由 AutonomousAgent 非列在 WebListing 在 WebSite 期間 TimePoint and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	例 Process and Process 例 Human and AutonomousAgent 例試驗 and 試驗 Human 是個 treated used 在試驗 Process 在試驗的 process 體驗者 Process and Human 體驗者 Process and Human 試驗 causes Process 試驗ERIMENTER 例試驗ERIMENTER and AutonomousAgent 試驗ERIMENTER 是在試驗的 experimenter 相信試驗ERIMENTER and 模態屬性原因 Process and Process and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11673-11685	例 Process and Giving agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 患者 Process and Entity Process 例 Process and Getting agent Process and AutonomousAgent 起源 Process and AutonomousAgent 患者 Process and Entity
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.	Government.kif 2501-2508	例 Process and JoiningAnOrganization 例 AutonomousAgent and AutonomousAgent agent Process and AutonomousAgent 患者 Process and Collection 例 Process and Organization 會員 AutonomousAgent and Collection
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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1447-1453	例 Organization and AutonomousAgent Human 是 Organization 的 leader 例 Position and Position 佔據位置 Human, Position and Organization Position 是 Organization 的 leader 職位
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2830-2844	例 CorpuscularObject and DigitalPost 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite 零件 CorpuscularObject and WebSite AutonomousAgent created CorpuscularObject AutonomousAgent 是 WebSite 的 registered user 有目的 CorpuscularObject and entity 例 entity and Disseminating agent entity and AutonomousAgent 患者 entity and CorpuscularObject 儀器 entity and WebSite
No TPTP formula. May not be expressible in strict first order.	Government.kif 1478-1485	例 Human and Human 例 Position and Position 例 Organization and AutonomousAgent Position 是 Organization 的 leader 職位佔據位置 Human, Position and Organization Human 是 Organization 的 leader
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3738-3742	例 AutonomousAgent and AutonomousAgent 子類年 and 年例 AutonomousAgent 和年的 fiscal 開始年分 and AutonomousAgent 的 fiscal 年
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	例 TimeInterval and TimeInterval_CLASS 子類 TimeInterval_CLASS and Process 例 AccessingWebPage and AccessingWebPage 例 AutonomousAgent and AutonomousAgent agent TimeInterval and AutonomousAgent agent AccessingWebPage and AutonomousAgent 期間 TimeInterval and AccessingWebPage 例 Physical and TimeInterval TimeInterval 例 TimeInterval and TimeInterval_CLASS agent TimeInterval and AutonomousAgent 期間 TimeInterval and AccessingWebPage 之前開始何時 TimeInterval and 開始何時 TimeInterval 等於開始何時 AccessingWebPage and 開始何時 Physical 等於開始何時 TimeInterval and 結束何時 Physical 等於 AccessingWebPage 的 time 在類別 TimeInterval_CLASS and Physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Buying Object 例 Object and GeopoliticalArea AutonomousAgent Process 例 AutonomousAgent and AutonomousAgent 例 Process and Buying 會員 Process and Collection agent Process and AutonomousAgent 位於 AutonomousAgent and Object SymbolicString entity and entity_PURCHASE_AMOUNT total 價值在卡帕 SymbolicString and 例 entity and Buying 會員 entity and Collection SymbolicString 是 entity 的 transaction 總額是 entity_PURCHASE_AMOUNT 等於 Collection 的 value and entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1570-1581	例 Process and ViewItemRequest 例 Process and AccessingWebPage 例 CorpuscularObject and ViewItemPage 例 AutonomousAgent and AutonomousAgent 例 WebListing and Advertising 子過程 Process and Process 零件 CorpuscularObject and WebListing 目的地 Process and CorpuscularObject agent Process and AutonomousAgent AutonomousAgent viewed WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and Selling Object 例 Object and GeopoliticalArea AutonomousAgent Process 例 AutonomousAgent and AutonomousAgent 例 Process and Buying 會員 Process and Collection agent Process and AutonomousAgent 位於 AutonomousAgent and Object SymbolicString entity and entity_SALE_AMOUNT total 價值在卡帕 SymbolicString and 例 entity and Selling 會員 entity and Collection SymbolicString 是 entity 的 transaction 總額是 entity_SALE_AMOUNT 等於 Collection 的 value and entity_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	例 Process and Process 例試驗 and 試驗例 Process and AutonomousAgent 體驗者 Process and AutonomousAgent Process 在試驗的 process entity_GROUP 例 entity_GROUP and Collection 會員 Process and entity_GROUP entity_GROUP 是在試驗的 control group

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 30223-30236	持有期間 TimeInterval and attribute Entity and Alone Entity2 Process 等於 Entity and Entity2 例 Entity2 and AutonomousAgent 例 Process and SocialInteraction 期間何時 Process and TimeInterval Entity 是事件 Process 的 involved Entity2 是事件 Process 的 involved
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	用戶帳號是在 WebSite 的 account Object WebSite_OWNER 例 Object and 數據庫例 WebSite_OWNER and AutonomousAgent 擁有 WebSite_OWNER and WebSite 擁有 WebSite_OWNER and Object 部分用戶帳號 and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3528-3532	Collection 是在 WebSite 的 first time buyers 在其間 TimeInterval 會員 Physical and Collection 例 Physical and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3576-3580	Collection 是在 WebSite 的 first time sellers 在其間 TimeInterval 會員 Physical and Collection 例 Physical 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 23458-23462	例實現控制 and 捕獲受控實現控制 and Object 例 Object and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15887-15900	例 Process and Commenting 例 Entity and Process 患者 Process and Entity AutonomousAgent Process and Process 例 AutonomousAgent and AutonomousAgent 例 Process and 說話例 Process and 看著 agent Process and AutonomousAgent agent Process and AutonomousAgent 患者 Process and Entity 參照 Process and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	例 Process and Process 例 Human and AutonomousAgent 例試驗 and 試驗 Human 是個 treated used 在試驗 Process 在試驗的 process 體驗者 Process and Human 體驗者 Process and Human 試驗 causes Process 試驗ERIMENTER 例試驗ERIMENTER and AutonomousAgent 試驗ERIMENTER 是在試驗的 experimenter 相信試驗ERIMENTER and 模態屬性原因 Process and Process and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16228-16232	例 Collection and Group 會員 Physical and Collection 例 Physical and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Buying agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new buyers 在 WebSite 其間 TimeInterval and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Selling agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Selling agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new sellers 在 WebSite 期間 TimeInterval and Collection
No TPTP formula. May not be expressible in strict first order.	Media.kif 895-901	例 Entity and Logo 代表 Entity and Entity 例 Entity and AutonomousAgent 例 Entity and Product
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16631-16635	例 Collection and Organization 會員 Physical and Collection 例 Physical and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2426-2435	例 Entity and SearchQuery 例 Process and SearchAttempt 代表 Entity and Process AutonomousAgent Entity 例 AutonomousAgent and AutonomousAgent 患者 Process and Entity agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	例 Object and Buying attribute Object and CBT 患者 Object and Entity 例 Entity and Object Object AutonomousAgent, AutonomousAgent_LOCATION and Object_LOCATION 例 AutonomousAgent and AutonomousAgent 例 Object and AutonomousAgent agent Object and AutonomousAgent 起源 Object and Object 例 AutonomousAgent_LOCATION and GeopoliticalArea 例 Object_LOCATION and GeopoliticalArea 位於 Object and Object_LOCATION 位於 AutonomousAgent and AutonomousAgent_LOCATION 等於 AutonomousAgent_LOCATION and Object_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	例 Object and FinancialTransaction attribute Object and BusinessToBusiness 用戶帳號用戶帳號, AutonomousAgent, AutonomousAgent and WebSite 例用戶帳號 and 用戶帳號例用戶帳號 and 用戶帳號例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite agent Object and AutonomousAgent 目的地 Object and AutonomousAgent 儀器 Object and WebSite AutonomousAgent 有 account 用戶帳號 AutonomousAgent 有 account 用戶帳號用戶帳號是在 WebSite 的 account 用戶帳號是在 WebSite 的 account attribute 用戶帳號 and BusinessAccount attribute 用戶帳號 and BusinessAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	例 Object and FinancialTransaction attribute Object and BusinessToConsumer 用戶帳號用戶帳號, AutonomousAgent, AutonomousAgent and WebSite 例用戶帳號 and 用戶帳號例用戶帳號 and 用戶帳號例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite agent Object and AutonomousAgent 目的地 Object and AutonomousAgent 儀器 Object and WebSite AutonomousAgent 有 account 用戶帳號 AutonomousAgent 有 account 用戶帳號用戶帳號是在 WebSite 的 account 用戶帳號是在 WebSite 的 account attribute 用戶帳號 and BusinessAccount attribute 用戶帳號 and ConsumerAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	例 Object and FinancialTransaction attribute Object and ConsumerToConsumer 用戶帳號用戶帳號, AutonomousAgent, AutonomousAgent and WebSite 例用戶帳號 and 用戶帳號例用戶帳號 and 用戶帳號例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite agent Object and AutonomousAgent 目的地 Object and AutonomousAgent 儀器 Object and WebSite AutonomousAgent 有 account 用戶帳號 AutonomousAgent 有 account 用戶帳號用戶帳號是在 WebSite 的 account 用戶帳號是在 WebSite 的 account attribute 用戶帳號 and ConsumerAccount attribute 用戶帳號 and ConsumerAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1822-1839	例 Object and Selling attribute Object and CBT 患者 Object and Entity 例 Entity and Object AutonomousAgent Physical, Physical_LOCATION and AutonomousAgent_LOCATION 例 Physical and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 目的地 Object and Physical agent Object and AutonomousAgent 例 Physical_LOCATION and GeopoliticalArea 例 AutonomousAgent_LOCATION and GeopoliticalArea 位於 AutonomousAgent and AutonomousAgent_LOCATION 位於 Physical and Physical_LOCATION 等於 Physical_LOCATION and AutonomousAgent_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3623-3627	Collection 的成員有 registered 對於 WebSite 在期間 TimeInterval 會員 Physical and Collection 例 Physical and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1026-1030	AutonomousAgent believes Entity 是 Attribute 例 Attribute and TimeAttribute 例 Entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	attribute Object and OpenLayout 例 Object and Room Object Object and Object 例 Object and Region 例 Object and Region 位於 Object and Object 位於 Object and Object 等於 Object and Object 方位 Object, Object and 鄰 Formula Formula 例 Formula and Process 例 Formula and Process 有目的 Object and Formula 有目的 Object and Formula 例 Object and AutonomousAgent 位於 Object and Object 能力 Seeing, agent and Object 能力 Seeing, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 736-748	Identifier 是 WebBrowser 的 ID 當取用 WebSite SymbolicString Process, AutonomousAgent and 電腦程序例 SymbolicString and WebPage SymbolicString 是 WebSite 的 sub-string 例 Process and AccessingWebPage 例 AutonomousAgent and AutonomousAgent agent Process and AutonomousAgent WebBrowser 是電腦程序的執行 program 原因電腦程序 and Process 目的地 Process and SymbolicString 代表 Identifier and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 766-773	RelationalAttribute organization 是坐落在 AutonomousAgent AutonomousAgent2 Object 例 AutonomousAgent2 and AutonomousAgent attribute AutonomousAgent2 and RelationalAttribute 位於 AutonomousAgent and Object 位於 AutonomousAgent2 and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	試驗 causes Process Process Human 例 Process and Process 例 Human and AutonomousAgent Human 是個 treated used 在試驗 Process 在試驗的 process 體驗者 Process and Human 體驗者 Process and Human 早期何時 Process and 何時 Process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: