TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1787-1789
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2093-2098
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 402-405
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2091-2091	子類 TimePoint and TimePosition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7882-7882	例負無窮大 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7864-7864	例正無窮大 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7983-7983	範圍開始 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8011-8011	範圍結束 and TimePoint
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2135-2135	子類時代 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8780-8780	子類 Midnight and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8854-8854	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 881-881
No TPTP formula. May not be expressible in strict first order.	english_format.kif 964-964
No TPTP formula. May not be expressible in strict first order.	french_format.kif 557-557
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 87-87
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 90-90
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2242-2242
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 509-509
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 92-92
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 124-124
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 578-578
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 91-91

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1022-1022	域 SellersOtherItemsFn, 4 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8411-8411	域時間間隔, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8412-8412	域時間間隔, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14036-14036	域 TimePeriodFn, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4223-4223	域哪裡, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14025-14025	域協議生效日期, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14050-14050	域截止日期, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Music.kif 259-259	域 albumRelease, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8101-8101	域之前, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8102-8102	域之前, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8139-8139	域之前或相等, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8140-8140	域之前或相等, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 682-682	域 checkOutTime, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30689-30689	域 firstInstanceCreated, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Music.kif 94-94	域 producedOn, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Music.kif 1480-1480	域 releaseForConsumption, 3 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Dining.kif 708-708	域 reservationEnd, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Dining.kif 701-701	域 reservationStart, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8161-8161	域一時之間, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8162-8162	域一時之間, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8163-8163	域一時之間, 3 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8185-8185	域暫時之間或等於, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8186-8186	域暫時之間或等於, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8187-8187	域暫時之間或等於, 3 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 665-665	域子類 checkInTime, 2 and TimePoint

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.	Merge.kif 8281-8288	早期 TimeInterval and TimeInterval 例 TimePoint and TimePoint 例 TimePoint and TimePoint 時間部分 TimePoint and TimeInterval 時間部分 TimePoint and TimeInterval 之前 TimePoint and TimePoint
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.	Weather.kif 1598-1608	例 Process and 洪水例 Object and LandArea Process 是 located 在 Object 例 TimePoint and TimePoint 之前 TimePoint and 何時 Process 模態屬性持有期間 TimePoint and 例 Object and 淹沒的土地面積 and 較不可能
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7887-7891	例 TimePoint and TimePoint 等於 TimePoint and 負無窮大之前負無窮大 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7893-7898	例 TimePoint and TimePoint 等於 TimePoint and 負無窮大 TimePoint 一時之間負無窮大, TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7869-7873	例 TimePoint and TimePoint 等於 TimePoint and 正無窮大之前 TimePoint and 正無窮大
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7875-7880	例 TimePoint and TimePoint 等於 TimePoint and 正無窮大 TimePoint 一時之間 TimePoint, TimePoint and 正無窮大
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8420-8428	例 TimePoint and TimePoint 例 TimePoint and TimePoint 例 TimeInterval and TimeInterval 等於時間間隔 TimePoint and TimePoint and TimeInterval 等於開始 TimeInterval and TimePoint 等於結束 TimeInterval and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8430-8439	例 TimePoint and TimePoint 例 TimePoint and TimePoint 例 TimeInterval and TimeInterval 等於時間間隔 TimePoint and TimePoint and TimeInterval TimePoint 暫時之間或等於 TimePoint, TimePoint and TimePoint 時間部分 TimePoint and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14040-14046	例 TimePoint and TimePoint 例 TimePoint and TimePoint 等於 TimeInterval and 時間間隔 TimePoint and TimePoint 持續時間 TimeInterval and TimeDuration 等於 TimeInterval and time 開始在 TimePoint 並且持續到 TimeDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7524-7528	例 TimePoint and TimePoint 持有期間 TimePoint and 年齡 Physical and TimeDuration 持續時間時間間隔開始何時 Physical and TimePoint and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8206-8210	時間 Physical and TimePoint 例 TimePoint and TimePoint 暫時之間或等於開始何時 Physical, TimePoint and 結束何時 Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7940-7945	例 TimePosition and TimePoint TimePosition 例 TimePosition and TimeInterval 時間部分 TimePosition and TimePosition

consequent

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.	Merge.kif 9447-9457	等於時間構成 TimeInterval and TimeIntervalTYPE and TimeInterval TimePosition 例 TimePosition and TimePoint 時間部分 TimePosition and TimeInterval TimePosition 例 TimePosition and TimeInterval 時間部分 TimePosition and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7947-7952	例 TimePosition and TimeInterval TimePosition 例 TimePosition and TimePoint 時間部分 TimePosition and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8110-8122	例 Physical and Object TimePoint TimePoint 例 TimePoint and TimePoint 例 TimePoint and TimePoint 之前 TimePoint and TimePoint TimePoint 之前或相等 TimePoint and TimePoint 之前或相等 TimePoint and TimePoint 時間 Physical and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8212-8221	暫時之間或等於開始何時 Physical, TimePoint and 結束何時 Physical 時間 Physical and TimePoint 例 TimePoint and TimePoint

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: