TreeView Knowledge Base Browser - TimeIntervalListFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TimeIntervalListFn

Sigma KEE - TimeIntervalListFn

TimeIntervalListFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1934-1936
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1929-1931
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1939-1939	域 TimeIntervalListFn, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1940-1940	域 TimeIntervalListFn, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1942-1942	例 TimeIntervalListFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1941-1941	範圍 TimeIntervalListFn and ConsecutiveTimeIntervalList

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1937-1938
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1932-1933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10391-10391
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10390-10390

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1958-1963	在列表中 TimeInterval and ConsecutiveTimeIntervalList 等於 ConsecutiveTimeIntervalList and TimeIntervalListFn TimeInterval and TimeDuration 持續時間 TimeInterval and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1949-1956	在列表中 Entity and ConsecutiveTimeIntervalList 等於 ConsecutiveTimeIntervalList and TimeIntervalListFn TimeInterval and TimeDuration 等於開始 TimeInterval and 開始 ConsecutiveTimeIntervalList 的 first

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1988-2000	等於 List and Mean3SecondWindSpeedListFn GeographicArea and TimeInterval 在列表中 FunctionQuantity and List TimeIntervalLIST TimeInterval 等於 TimeIntervalLIST and TimeIntervalListFn TimeInterval and 測量 3 and 第二期在列表中 TimeInterval and TimeIntervalLIST 等於 FunctionQuantity and Mean3SecondWindSpeedFn GeographicArea and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1944-1947	例 ConsecutiveTimeIntervalList and ConsecutiveTimeIntervalList 等於 ConsecutiveTimeIntervalList and TimeIntervalListFn 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