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 2087-2092
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 2085-2085	子類 TimePoint and TimePosition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7924-7924	例負無窮大 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7906-7906	例正無窮大 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8025-8025	範圍開始 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8053-8053	範圍結束 and TimePoint
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2241-2241	子類時代 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8822-8822	子類 Midnight and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8896-8896	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 881-881	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	english_format.kif 964-964	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	french_format.kif 557-557	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 87-87	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 90-90	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2242-2242	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 509-509	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 92-92	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 124-124	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 383-383	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 578-578	子類 Noon and TimePoint
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 91-91	子類 Noon and TimePoint

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 8453-8453	域時間間隔, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8454-8454	域時間間隔, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14964-14964	域 TimePeriodFn, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4219-4219	域哪裡, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14953-14953	域協議生效日期, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14978-14978	域截止日期, 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 8143-8143	域之前, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8144-8144	域之前, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8181-8181	域之前或相等, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8182-8182	域之前或相等, 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 31803-31803	域 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 8203-8203	域一時之間, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8204-8204	域一時之間, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8205-8205	域一時之間, 3 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8227-8227	域暫時之間或等於, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8228-8228	域暫時之間或等於, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8229-8229	域暫時之間或等於, 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 8323-8330	早期 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 1580-1590	例 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 7929-7933	例 TimePoint and TimePoint 等於 TimePoint and 負無窮大之前負無窮大 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7935-7940	例 TimePoint and TimePoint 等於 TimePoint and 負無窮大 TimePoint 一時之間負無窮大, TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7911-7915	例 TimePoint and TimePoint 等於 TimePoint and 正無窮大之前 TimePoint and 正無窮大
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7917-7922	例 TimePoint and TimePoint 等於 TimePoint and 正無窮大 TimePoint 一時之間 TimePoint, TimePoint and 正無窮大
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8462-8470	例 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 8472-8481	例 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 14968-14974	例 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 7534-7538	例 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 8248-8252	時間 Physical and TimePoint 例 TimePoint and TimePoint 暫時之間或等於開始何時 Physical, TimePoint and 結束何時 Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7982-7987	例 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 31118-31148	例 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 9512-9522	等於時間構成 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 7989-7994	例 TimePosition and TimeInterval TimePosition 例 TimePosition and TimePoint 時間部分 TimePosition and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8152-8164	例 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 8254-8263	暫時之間或等於開始何時 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: