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 1947-1949
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1942-1944
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1952-1952	域 TimeIntervalListFn, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1953-1953	域 TimeIntervalListFn, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1955-1955	例 TimeIntervalListFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1954-1954	範圍 TimeIntervalListFn and ConsecutiveTimeIntervalList

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1950-1951
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1945-1946
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 1971-1976	在列表中 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 1962-1969	在列表中 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 2001-2013	等於 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 1957-1960	例 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