TreeView Knowledge Base Browser - TimeIntervalFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TimeIntervalFn

TimeIntervalFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2729-2731
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8437-8440
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1454-1456
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.	Merge.kif 8430-8430	例時間間隔 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8432-8432	例時間間隔 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8431-8431	例時間間隔 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8435-8435	範圍時間間隔 and TimeInterval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 453-453
No TPTP formula. May not be expressible in strict first order.	english_format.kif 459-459
No TPTP formula. May not be expressible in strict first order.	french_format.kif 263-263
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 300-300
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2053-2053
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 215-215
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 269-269
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 592-592
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 336-336
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 284-284
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 289-289
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 492-492
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 454-454
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58124-58124
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58123-58123
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58122-58122

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23888-23902	持有期間 TimeInterval and attribute AutonomousAgent and Menopausal 等於 RealNumber and 減法測量 1 and 年持續時間 and 開始 TimeInterval 等於 TimeInterval and 時間間隔 TimeInterval and 開始 TimeInterval Process 例 Process and 經期體驗者 Process and AutonomousAgent
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

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1936-1941	Day 是 JesusOfNazareth 的 birthdate 例 TimeInterval and 年 -6 例 TimeInterval and 年 4 時間部分 Day and 時間間隔開始 TimeInterval and 結束 TimeInterval
No TPTP formula. May not be expressible in strict first order.	Media.kif 1943-1948	Day 是 JesusOfNazareth 的 deathdate 例 TimeInterval and 年 29 例 TimeInterval and 年 36 時間部分 Day and 時間間隔開始 TimeInterval and 結束 TimeInterval
No TPTP formula. May not be expressible in strict first order.	Media.kif 1959-1963	例 TimeInterval and 年 26 例 TimeInterval and 年 100 時間部分何時 TwelveApostles and 時間間隔開始 TimeInterval and 結束 TimeInterval
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.	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.	Dining.kif 711-724	Reservation starts 在 TimePoint Reservation ends 在 TimePoint AutonomousAgent reserves Reservation AutonomousAgent fulfills Reservation 模態屬性持有期間時間間隔 TimePoint and TimePoint and entity 例 entity and IntentionalProcess agent entity and AutonomousAgent 目的地 entity and AutonomousAgent and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2951-2963	HotelReservation 是對於 HotelUnit 的 reservation Reservation starts 在 HotelReservation Reservation ends 在 HotelReservation HotelReservation reserves Reservation 模態屬性持有期間時間間隔 Reservation and Reservation and entity 例 entity and HotelUnit Reservation stays 在 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8543-8545	例 TimeInterval and TimeInterval 等於未來 TimeInterval and 時間間隔結束 TimeInterval and 正無窮大
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8512-8514	例 TimeInterval and TimeInterval 等於過去 TimeInterval and 時間間隔負無窮大 and 開始 TimeInterval
No TPTP formula. May not be expressible in strict first order.	Food.kif 1867-1876	例 TimeInterval and LunchTime TimeInterval TimeInterval and Day 期間 TimeInterval and 時間間隔開始 TimeInterval and 結束 TimeInterval 例 TimeInterval and 小時 11 and Day 例 TimeInterval and 小時 15 and Day
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1874-1882	measuringListDuration MeasuringList and TimeDuration TimeInterval 等於 TimeInterval and 時間間隔開始何時 MeasuringList 的 first and 結束何時 MeasuringList 的 last 持續時間 TimeInterval and TimeDuration

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