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.	UXExperimentalTerms.kif 4175-4190	例 Human and Human 例 Collection and Collection WebPage Process and 試驗 例 WebPage and WebPage 例 Process and AccessingWebPage 例 試驗 and 試驗 agent Process and Human 患者 Process and WebPage WebPage 是 試驗 的 研究對象 會員 Process and Collection 等於 Collection and 所有的 treated web page 瀏覽從 Human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	例 Collection and Collection 例 CorpuscularObject and HypertextLink Physical 會員 Physical and Collection 例 Physical and AccessingWebPage 零件 Collection and CorpuscularObject Collection 例 Collection and Collection Process 例 Process and RequestingHyperlink 患者 Process and CorpuscularObject 會員 Process and Collection 等於 點擊通過 CorpuscularObject 的 rate 在 Collection and 部 基數 Collection and 基數 Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	例 Collection and Collection 例 Collection and Collection 子集合 Collection and Collection Physical 會員 Physical and Collection 例 Physical and AccessingWebPage Process AutonomousAgent, Process, Process and Object 例 AutonomousAgent and Human 例 Process and Buying 例 Process and AccessingWebPage 例 Object and WebPage 會員 Process and Collection 目的地 Process and Object agent Process and AutonomousAgent agent Process and AutonomousAgent 期間 何時 Process and 何時 Process 儀器 Process and Object 會員 Process and Collection TimeInterval entity_IN_INTERVAL and entity_IN_INTERVAL 等於 purchases 花在 Collection 期間 TimeInterval and 部 基數 卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間 何時 entity_IN_INTERVAL and TimeInterval and 基數 卡帕 entity_IN_INTERVAL and 會員 entity_IN_INTERVAL and Collection 期間 何時 entity_IN_INTERVAL and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4638-4652	Collection 和 Collection 是 mutually exclusive 例 Collection and Collection 例 Collection and Collection 例 Physical and SelfConnectedObject 會員 Physical and Collection 會員 Collection and Collection 會員 Collection and Collection 等於 Collection and Collection ~{ 會員 Physical and Collection } ~{ 會員 Physical and Collection }
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1270-1273	例 Collection and Collection Physical 會員 Physical and Collection

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