antecedent

(=>     (and         (equal ?LIST3             (ListConcatenateFn ?LIST1 ?LIST2))         (not             (equal ?LIST1 NullList))         (not             (equal ?LIST2 NullList))         (lessThanOrEqualTo ?NUMBER1             (ListLengthFn ?LIST1))         (lessThanOrEqualTo ?NUMBER2             (ListLengthFn ?LIST2))         (instance ?NUMBER1 PositiveInteger)         (instance ?NUMBER2 PositiveInteger))     (and         (equal             (ListOrderFn ?LIST3 ?NUMBER1)             (ListOrderFn ?LIST1 ?NUMBER1))         (equal             (ListOrderFn ?LIST3                 (AdditionFn                     (ListLengthFn ?LIST1) ?NUMBER2))             (ListOrderFn ?LIST2 ?NUMBER2))))	Merge.kif 3121-3140	If equal a list and the list composed of another list and a third list and equal the other list and NullList and equal the third list and NullList and a positive integer is less than or equal to length of the other list and another positive integer is less than or equal to length of the third list and the positive integer is an instance of positive integer and the other positive integer is an instance of positive integer, then equal the positive integerth element of the list and the positive integerth element of the other list and equal (length of the other list and the other positive integer)th element of the list and the other positive integerth element of the third list
(=>     (and         (viewedItemList ?USER ?LIST)         (instance ?ACCESSING1 AccessingWebPage)         (instance ?ACCESSING2 AccessingWebPage)         (agent ?ACCESSING1 ?USER)         (agent ?ACCESSING2 ?USER)         (instance ?INDEX1 PositiveInteger)         (instance ?INDEX2 PositiveInteger)         (equal             (ListOrderFn ?LIST ?INDEX1) ?ACCESSING1)         (equal             (ListOrderFn ?LIST ?INDEX2) ?ACCESSING2)         (greaterThan ?INDEX1 ?INDEX2))     (earlier         (WhenFn ?ACCESSING2)         (WhenFn ?ACCESSING1)))	UXExperimentalTerms.kif 799-817	If viewedItemList an agent and a list and an integer is an instance of AccessingWebPage and another integer is an instance of AccessingWebPage and the agent is an agent of the integer and the agent is an agent of the other integer and a positive integer is an instance of positive integer and another positive integer is an instance of positive integer and equal the positive integerth element of the list and the integer and equal the other positive integerth element of the list and the other integer and the positive integer is greater than the other positive integer, then the time of existence of the other integer happens earlier than the time of existence of the integer
(=>     (instance ?X PositiveInteger)     (greaterThan ?X 0))	Merge.kif 2035-2037	If a real number is an instance of positive integer, then the real number is greater than 0

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