Process - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1698-1701
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1623-1631
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 296-301
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6794-6794
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1622-1622	子類 Process and Physical

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2375-2375	例 SEO and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2413-2413	範圍中止 and Process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4515-4515	範圍子類 FailureFn and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17885-17885	範圍子類操作 and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1303-1303	子類 AddToCart and Process
No TPTP formula. May not be expressible in strict first order.	Media.kif 164-164	子類 AgentPatientProcess and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30026-30026	子類 BreakingRecord and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23764-23764	子類引起幸福 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23785-23785	子類導致不快樂 and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1457-1457	子類 Checkout and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1319-1319	子類內容承載過程 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1633-1633	子類 DualObjectProcess and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10486-10486	子類 IntentionalProcess and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12592-12592	子類 InternalChange and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7928-7928	子類 LargeGroupProcess and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11013-11013	子類 Motion and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10482-10482	子類自然過程 and Process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2063-2063	子類發電 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1646-1646	子類 SingleAgentProcess and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1587-1587	子類 WatchItem and Process
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 851-851
No TPTP formula. May not be expressible in strict first order.	english_format.kif 904-904
No TPTP formula. May not be expressible in strict first order.	french_format.kif 527-527
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 58-58

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.	MilitaryProcesses.kif 2412-2412	域中止, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 421-421	域開始, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 435-435	域停, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Law.kif 545-545	域 ageOfMajorityForProcess, 3 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2433-2433	域 agent, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22912-22912	域好處, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3778-3778	域原因, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3779-3779	域原因, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15904-15904	域 commentator, 2 and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2826-2826	域 conversionEvent, 2 and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1696-1696	域 coordinates, 1 and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1697-1697	域 coordinates, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2444-2444	域目的地, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16938-16938	域方向, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4096-4096	域 eventPartlyLocated, 1 and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4333-4333	域 exclusiveEvent, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2458-2458	域體驗者, 1 and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3825-3825	域 experimentalControlProcess, 2 and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3872-3872	域 experimentalVariableProcess, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4391-4391	域 hinders, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2471-2471	域儀器, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2414-2414	域參與活動, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Law.kif 193-193	域 judge, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1732-1732	域方式, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2482-2482	域起源, 1 and Process

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.	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 18401-18406	等於 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.	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 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.	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.	Mid-level-ontology.kif 2546-2554	例 Object and 電器例 Process and Process 儀器 Process and Object Object 例 Object and 電力資源 Process and Object
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 7510-7514	例 Physical and Process 測量 Physical and PhysicalQuantity 例 PhysicalQuantity and TimeDependentQuantity
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	例 Proposition and Plan 例 Physical and Process 代表 Proposition and Physical PropositionNING 內容承載物理例 PropositionNING and Planning 例內容承載物理 and 內容承載物理包含信息內容承載物理 and Proposition 結果 PropositionNING and 內容承載物理早期開始何時 PropositionNING and 開始何時 Physical 早期結束何時 PropositionNING and 結束何時 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23506-23511	例 Process and Process Process 是 located 在 Object 子過程 Process and Process Process 是 located 在 Object
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.	Geography.kif 2561-2567	例 Process and Process 患者 Process and Physical 例 Physical and Water 測量 Physical and 測量 RealNumber and 酸鹼度少於 RealNumber and 5.6
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3910-3916	例 CaseRole and CaseRole CaseRole Entity and Object 例 Entity and Process 子類 Process and Process 能力 Process, CaseRole and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	例 Process and MultivariateTest 子過程試驗 and Process 子過程試驗 and Process 例試驗 and 試驗例試驗 and 試驗例 Process and Process 例 Process and Process Process 在試驗的 process Process 在試驗的 process Process 例 Process and Process 子過程 Process and Process 子過程 Process and Process 等於 Process and Process
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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3968-3979	例 Process and Process 例試驗 and 試驗例 Process and AutonomousAgent 體驗者 Process and AutonomousAgent Process 在試驗的 process entity_GROUP 例 entity_GROUP and Collection 會員 Process and entity_GROUP entity_GROUP 是 treatment group 在試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	例 Human and Human 例 Collection and Collection 試驗 Physical Process 例試驗 and 試驗例 Physical and Process 會員 Physical and events 在試驗例 Physical and Process 能力 Process, 體驗者 and Human 會員 Physical and Collection 會員 Physical and Collection 例 Physical and Process 試驗 PhysicalESS 例試驗 and 試驗會員 Physical and events 在試驗例 Physical and PhysicalESS 能力 PhysicalESS, 體驗者 and Human 等於所有流程 Human 是 qualified 對於 and Collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31316-31323	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 31325-31332	memberMeasure Class, Frequency and TimeDuration 例 Class and Class 例 AutonomousAgent and Class 例 Process and Process agent Process and AutonomousAgent 頻率 Process and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2280-2290	Physical 是區域 GeographicArea 的 natural 有害類別子類 Physical and Process Physical 例 Physical and Physical 位於 Physical and GeographicArea 暫時重疊何時 Physical and 何時 GeographicArea
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 98-107	AutonomousAgent offers 拍賣樣品在 Catalog Entity 是在 Catalog 子類 Entity and Object 例 Process and Process 子類 Process and Process 例 Entity and Entity 患者 Process and Entity 能力 Process, agent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 88-93	AutonomousAgent offers 拍賣樣品在 Catalog Entity 是在 Catalog 子類 Entity and Process 能力 Entity, agent and AutonomousAgent

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.	emotion.kif 374-387	attribute CognitiveAgent and AppraisalAsJustTreatment 例 CognitiveAgentJT and AppraisalProcess agent CognitiveAgentJT and CognitiveAgent Process CognitiveAgent 例 Process and Process 參照 CognitiveAgentJT and Process agent Process and CognitiveAgent 等於 CognitiveAgent and CognitiveAgent 患者 Process and CognitiveAgent 想要 CognitiveAgent and Process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	attribute CognitiveAgent and AppraisalAsUnjustTreatment 例 CognitiveAgentUJ and AppraisalProcess agent CognitiveAgentUJ and CognitiveAgent Process CognitiveAgent 例 Process and Process 參照 CognitiveAgentUJ and Process agent Process and CognitiveAgent 等於 CognitiveAgent and CognitiveAgent 患者 Process and CognitiveAgent 想要 CognitiveAgent and Process
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 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.	MilitaryProcesses.kif 2516-2530	例 Process and 疏散起源 Process and GeographicArea agent Process and CognitiveAgent Process 例 Process and Process GeographicArea 是哪裡 Process and 開始何時 Process 的 geographic 次要地區原因 Process and Process 相信 CognitiveAgent and attribute Process and 危險
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3923-3934	例試驗 and 試驗例 Human and Human Human 是在試驗的 subject Process 例 Process and Process 體驗者 Process and Human control 在實驗試驗是 Process Process 在試驗的 process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	例可穿戴物品 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.	Cars.kif 3389-3417	例可穿戴物品 and 安全套例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 儀器 entity and 可穿戴物品患者 entity and Animal 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity and entity 例 entity and Human 體驗者 entity and entity 例 entity and 落下體驗者 entity and entity 原因 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	例 Process and MultivariateTest 子過程試驗 and Process 子過程試驗 and Process 例試驗 and 試驗例試驗 and 試驗例 Process and Process 例 Process and Process Process 在試驗的 process Process 在試驗的 process Process 例 Process and Process 子過程 Process and Process 子過程 Process and Process 等於 Process and Process
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	例內容承載物理 and DeathCertificate 例 Process and Death 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and ProcessAY entity, entity and entityROC ProcessAY 是 AutonomousAgent 的 deathdate 例 ProcessAY and Day entity 是 AutonomousAgent 的 deathplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name 原因 entityROC and Process 例 entityROC and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30030-30060	例 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.	Cars.kif 3531-3552	例可穿戴物品 and 呼吸器例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity, entity and entity 例 entity and Process 儀器 entity and 可穿戴物品防止 entity and entity 子類 entity and 卡帕 entity and 例 entity and Injuring entity 例 entity and Human 患者 entity and entity 例 entity and 吸入 agent entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26973-26999	例 Physical and SurveillanceSystem 會員 Physical and Collection 會員 Physical and Collection 位於 Collection and Object 例 Collection and 相機位於 Collection and Object 等於 Object and Object 例 Collection and VideoDisplay 有目的 Physical and entity entity, entity and entity 例 entity and Process entity 是 located 在 Object 代表 entity and entity 儀器 entity and 相機結果 entity and entity 例 entity and RadiatingLight 儀器 entity and Collection 患者 entity and entity 之前開始 entity and 開始 entity 之前開始 entity and 開始 entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16542-16554	CognitiveAgent 是由 Certificate 的 issued 例 Certificate and 票擁有 AutonomousAgent and Certificate CognitiveAgent confers 規範 entity 持有期間 entity and entity 例 entity and Process agent entity and CognitiveAgent 體驗者 entity and AutonomousAgent 對於允許
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31316-31323	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 31325-31332	memberMeasure Class, Frequency and TimeDuration 例 Class and Class 例 AutonomousAgent and Class 例 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 21066-21080	attribute Object and 新聞記者有目的 Object and entity entity and entity 例 entity and Process 暫時重疊何時 entity and 何時 Object 例 entity and entity 子類 entity and 報紙子類 entity and 新聞節目作者 Object and entity 參照 entity and entity
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 4432-4437	attribute Object and ABTest Process 例 Process and Process Process 在 Object 的 process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2563-2570	Organization 是 Business 的 business 單位有目的 Organization and entity 例 entity and Process agent entity and Organization 好處 entity and Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 998-1006	Object 是被 AutonomousAgent used 在 TimeInterval Process 例 Process and Process 患者 Process and Object agent Process and AutonomousAgent 使用 Object and AutonomousAgent 暫時重疊 TimeInterval and 何時 Process
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30707-30727	持有期間 TimePosition and attribute entity and SafetyPosition 持有期間 TimePosition and 有目的 entity and entity entity, entity and TimePosition 例 entity and Human 例 entity and Process 患者 entity and entity agent entity and entity 防止 entity and 卡帕 entity and 例 entity and Injuring 持有期間 TimePosition and 體驗者 entity and entity 持有期間 TimePosition and 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1216-1224	Substance 是在 Class 的 ingredient Process Entity and Entity 例 Process and Process 例 Entity and Substance 患者 Process and Entity 例 Entity and Class 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 1660-1669	SelfConnectedObject 的 PhysicalQuantity 是 used 在 SelfConnectedObject Process Physical and Entity 例 Physical and SelfConnectedObject 測量 Physical and PhysicalQuantity 例 Entity and SelfConnectedObject 例 Process and Process 患者 Process and Physical 結果 Process and Entity

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: