Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  ConsecutiveTimeIntervalList

Sigma KEE - ConsecutiveTimeIntervalList
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList is a sequence of continuous TimeIntervals in a List.
Relationships      
Parents Lista Every List is a particular ordered n-tuple of items. Generally speaking, Lists are created by means of the ListFn Function, which takes any number of items as arguments and returns a List with the items in the same order. Anything, including other Lists, may be an item in a List. Note too that Lists are extensional - two lists that have the same items in the same order are identical. Note too that a List may contain no items. In that case, the List is the NullList.


Show full definition (without tree view)
Show full 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