TimeIntervalListFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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	The number 1 argument of time interval list is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1953-1953	The number 2 argument of time interval list is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1955-1955	Time interval list is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1954-1954	The range of time interval list is an instance of consecutive time interval list

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	If a time interval is a member of a consecutive time interval list and the consecutive time interval list is equal to ConsecutiveTimeIntervalList for at another time interval at a time duration is contained in TimeIntervalListFn, then duration of the time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1962-1969	If an entity is a member of a consecutive time interval list and the consecutive time interval list is equal to ConsecutiveTimeIntervalList for at a time interval at a time duration is contained in TimeIntervalListFn, then the beginning of the time interval is equal to the beginning of the first of the consecutive time interval list

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2001-2013	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and a function quantity is a member of the list, then there exist the time intervalLIST and another time interval such that the time intervalLIST is equal to ConsecutiveTimeIntervalList for at the time interval at 3 second duration(s) is contained in TimeIntervalListFn and the other time interval is a member of the time intervalLIST and the function quantity is equal to Mean3SecondWindSpeedFn for the other time interval in region the geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1957-1960	If a consecutive time interval list is an instance of consecutive time interval list, then the consecutive time interval list is equal to ConsecutiveTimeIntervalList for at a time interval at a time duration is contained in TimeIntervalListFn

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