TimePoint - Sigma 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 7904-7904	例負無窮大 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7886-7886	例正無窮大 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8005-8005	範圍開始 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8033-8033	範圍結束 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 8802-8802	子類 Midnight and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8876-8876	子類 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 8433-8433	域時間間隔, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8434-8434	域時間間隔, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14035-14035	域 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 14024-14024	域協議生效日期, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14049-14049	域截止日期, 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 8123-8123	域之前, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8124-8124	域之前, 2 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.	Hotel.kif 682-682	域 checkOutTime, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30677-30677	域 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 8183-8183	域一時之間, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8184-8184	域一時之間, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8185-8185	域一時之間, 3 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8207-8207	域暫時之間或等於, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8208-8208	域暫時之間或等於, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8209-8209	域暫時之間或等於, 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 8303-8310	早期 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 1594-1604	例 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 7909-7913	例 TimePoint and TimePoint 等於 TimePoint and 負無窮大之前負無窮大 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7915-7920	例 TimePoint and TimePoint 等於 TimePoint and 負無窮大 TimePoint 一時之間負無窮大, TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7891-7895	例 TimePoint and TimePoint 等於 TimePoint and 正無窮大之前 TimePoint and 正無窮大
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7897-7902	例 TimePoint and TimePoint 等於 TimePoint and 正無窮大 TimePoint 一時之間 TimePoint, TimePoint and 正無窮大
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8442-8450	例 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 8452-8461	例 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 14039-14045	例 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 8228-8232	時間 Physical and TimePoint 例 TimePoint and TimePoint 暫時之間或等於開始何時 Physical, TimePoint and 結束何時 Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7962-7967	例 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 30018-30048	例 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 9469-9479	等於時間構成 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 7969-7974	例 TimePosition and TimeInterval TimePosition 例 TimePosition and TimePoint 時間部分 TimePosition and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8132-8144	例 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 8234-8243	暫時之間或等於開始何時 Physical, TimePoint and 結束何時 Physical 時間 Physical and TimePoint 例 TimePoint and TimePoint

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: