Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ListOrderFn
Sigma KEE - ListOrderFn
ListOrderFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1964-1966
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2870-2873
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2866-2866
The number 1 argument of
list order
is an
instance
of
list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2867-2867
The number 2 argument of
list order
is an
instance
of
positive integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2864-2864
List order
is an
instance
of
binary function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2865-2865
List order
is an
instance
of
partial valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2868-2868
The
range
of
list order
is an instance of
entity
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 263-263
No TPTP formula. May not be expressible in strict first order.
english_format.kif 271-271
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 264-264
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34612-34612
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34611-34611
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34610-34610
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17066-17071
If
defaultMaxValue
a predicate
,
a positive integer
and
a quantity
and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the quantity
is
greater
than
the other entity
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17051-17056
If
defaultMinValue
a predicate
,
a positive integer
and
a quantity
and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the other entity
is
greater
than
the quantity
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17081-17086
If
defaultValue
a predicate
,
a positive integer
and
a quantity
and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the quantity
is
equal
to
the other entity
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3130-3134
If
a number
is
equal
to the
sum
of
a list
and
an entity
is
equal
to
another entity
element
of
the list
,
then
the entity
is an
instance
of
number
No TPTP formula. May not be expressible in strict first order.
Media.kif 2108-2115
If there can be 1
values
to argument
a positive integer
of
a relation
and
the relation
is an
instance
of
predicate
and
the relation
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS) and
a fourth entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then
the other entity
is
equal
to
the fourth entity
No TPTP formula. May not be expressible in strict first order.
Media.kif 2095-2105
If there can be 1
values
to argument
a positive integer
of
a relation
and
the relation
is an
instance
of
predicate
and
the relation
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then there doesn't exist
a fourth entity
such that
the fourth entity
is
equal
to
the positive integer
th
element
of (@ARGS) and
the other entity
is not
equal
to
the fourth entity
No TPTP formula. May not be expressible in strict first order.
Geography.kif 427-431
If the
region
a directional attribute
of @ROW is an
instance
of
region
and 1th
element
of (@ROW) is
equal
to
a real number
angular degree
(s),
then
the real number
is
less
than or equal to 90
No TPTP formula. May not be expressible in strict first order.
Geography.kif 467-474
If the
meridian
at @ROW
a directional attribute
is an
instance
of
region
and 1th
element
of (@ROW) is
equal
to
a real number
angular degree
(s),
then
the real number
is
less
than or equal to 180
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17036-17041
If
maxValue
a predicate
,
a positive integer
and
a quantity
and
the predicate
@ARGS and
another quantity
is
equal
to
the positive integer
th
element
of (@ARGS),
then
the quantity
is
greater
than
the other quantity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17021-17026
If
minValue
a predicate
,
a positive integer
and
a quantity
and
the predicate
@ARGS and
another quantity
is
equal
to
the positive integer
th
element
of (@ARGS),
then
the other quantity
is
greater
than
the quantity
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 692-708
If the
list
of
processes
@ROW and
a physical
is a
member
of (@ROW) and
another physical
is a
member
of (@ROW) and
another entity
element
of (@ROW) is
equal
to
the physical
and
a third entity
element
of (@ROW) is
equal
to
the other physical
and
a positive integer
is
less
than
another positive integer
,
then the
time
of existence of
the physical
happens
earlier
than the
time
of existence of
the other physical
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 985-1003
If %2 is the list of items
viewed
by 1 and
a process
is an
instance
of
AccessingWebPage
and
another process
is an
instance
of
AccessingWebPage
and
an agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
and
a positive integer
is an
instance
of
positive integer
and
another positive integer
is an
instance
of
positive integer
and
the positive integer
th
element
of
a list
is
equal
to
the process
and
the other positive integer
th
element
of
the list
is
equal
to
the other process
and
the positive integer
is
greater
than
the other positive integer
,
then the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2972-2988
A list
is
equal
to the
list
composed of
another list
and
a third list
and
the other list
is not
equal
to
null list
and
the third list
is not
equal
to
null list
if and only if for all
a positive integer
and
another positive integer
if
the positive integer
is
less
than or equal to
length
of
the other list
and
the other 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
the positive integer
th
element
of
the list
is
equal
to
the positive integer
th
element
of
the other list
and (
length
of
the other list
and
the other positive integer
)th
element
of
the list
is
equal
to
the other positive integer
th
element
of
the third list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2111-2128
A relation
is an
instance
of
total valued relation
and
the relation
is an
instance
of
predicate
if and only if there exists
a positive integer
such that
the relation
is an
instance
of
relation
and
the relation
%&has
the positive integer
argument
(s) and
if for all
another positive integer
,
an entity
and
a set or class
if
the other positive integer
is
less
than
the positive integer
and the number
the other positive integer
argument of
the relation
is an
instance
of
the set or class
and
the entity
is
equal
to
the other positive integer
th
element
of (@ROW),
then
the entity
is an
instance
of
the set or class
,
then there exists
a fourth entity
such that
the relation
@ROW and
the fourth entity
No TPTP formula. May not be expressible in strict first order.
People.kif 285-306
A real number
is an
average
of
a list
if and only if there exists
another list
such that
length
of
the other list
is
equal
to
length
of
the list
and 1th
element
of
the other list
is
equal
to 1th
element
of
the list
and for all
a positive integer
if
the positive integer
is a
member
of
the other list
,
then there exist
a quantity
,
the quantity
MINUSONE,, ,
another positive integer
and
a third positive integer
such that
the quantity
is
greater
than 1 and
the quantity
is
less
than or equal to
length
of
the other list
and
the positive integer
th
element
of
the other list
is
equal
to
the quantity
and
the other positive integer
is a
member
of
the list
and
the quantity
is
equal
to
the other positive integer
th
element
of
the list
and
the third positive integer
is a
member
of
the other list
and
the quantity
MINUSONE is
equal
to (
the quantity
and 1) and
the quantity
MINUSONE is
equal
to
the third positive integer
th
element
of
the other list
and
the positive integer
is
equal
to (
the other positive integer
and
the third positive integer
)
and
a fourth positive integer
is
equal
to
length
of
the other list
and
the real number
is
equal
to
the fourth positive integer
th
element
of
the other list
and
the fourth positive integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3100-3105
The
last
of
a list
is
equal
to
an entity
if and only if there exists
a positive integer
such that
length
of
the list
is
equal
to
the positive integer
and
the positive integer
th
element
of
the list
is
equal
to
the entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2887-2892
If the number
a positive integer
argument of
a relation
is an
instance
of
a set or class
and
the relation
is an
instance
of
predicate
and
the relation
@ROW,
then
the positive integer
th
element
of (@ROW) is an
instance
of
the set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2894-2899
If the number
a positive integer
argument of
a relation
is a
subclass
of
a set or class
and
the relation
is an
instance
of
predicate
and
the relation
@ROW,
then
the positive integer
th
element
of (@ROW) is a
subclass
of
the set or class
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3136-3140
If
a number
is
equal
to the
sum
of
a list
and 1 is
equal
to
length
of
the list
,
then
the number
is
equal
to 1th
element
of
the list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3067-3076
If
a list
is
equal
to the sub-list from
a positive integer
to
an integer
of
another list
and (
the integer
and
the positive integer
) is
equal
to 1,
then
the list
is
equal
to (
the positive integer
th
element
of
the other list
)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3078-3090
If
a list
is
equal
to the sub-list from
a positive integer
to
an integer
of
another list
and (
the integer
and
the positive integer
) is
greater
than 1,
then
the list
is
equal
to the
list
composed of (
the positive integer
th
element
of
the other list
) and the sub-list from (1 and
the positive integer
) to
the integer
of
the other list
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1089-1100
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1058-1070
No TPTP formula. May not be expressible in strict first order.
Media.kif 2095-2105
If there can be 1
values
to argument
a positive integer
of
a relation
and
the relation
is an
instance
of
predicate
and
the relation
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then there doesn't exist
a fourth entity
such that
the fourth entity
is
equal
to
the positive integer
th
element
of (@ARGS) and
the other entity
is not
equal
to
the fourth entity
No TPTP formula. May not be expressible in strict first order.
Media.kif 2077-2092
If there can be 1
values
to argument
a positive integer
of
a relation
and
the relation
is an
instance
of
predicate
,
then there exist
an entity
and @ARGS such that
the relation
@ARGS and
the entity
is
equal
to
the positive integer
th
element
of (@ARGS) and there doesn't exist
a fourth entity
such that
the fourth entity
is
equal
to
the positive integer
th
element
of (@ARGS) and
the entity
is not
equal
to
the fourth entity
No TPTP formula. May not be expressible in strict first order.
Media.kif 2134-2147
If there can be
an integer
values
to argument
a positive integer
of
a relation
and
the relation
is an
instance
of
predicate
,
then there exists
a set or class
such that
the set or class
is an
instance
of
set or class
and
if
the relation
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then
the other entity
is an
instance
of
the set or class
and the number of
instances
in
the set or class
is
equal
to
the integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3115-3120
If
a list
is an
instance
of
list
and
the list
is not
equal
to
null list
,
then the
first
of
the list
is
equal
to 1th
element
of
the list
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2593-2609
If
a process
is an
instance
of
search engine optimization
and
an entity
is a
patient
of
the process
,
then
the process
purpose there exist
another entity
_BEFORE,
the other entity
_AFTER,, ,
a third entity
and
a fourth entity
such that
the other entity
_BEFORE is an
instance
of
search results
and
the other entity
_AFTER is an
instance
of
search results
and
the entity
is
equal
to
a fifth entity
element
of
the other entity
_BEFORE and
the entity
is
equal
to
a sixth entity
element
of
the other entity
_AFTER and
the third entity
is an
instance
of
best match sort
and
the fourth entity
is an
instance
of
best match sort
and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the fourth entity
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the fourth entity
and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the process
and
a seventh entity
is
greater
than
a eighth entity
No TPTP formula. May not be expressible in strict first order.
Media.kif 2205-2218
If there can be at most
an integer
values
to argument
a positive integer
of
a relation
and
the relation
is an
instance
of
predicate
,
then there exists
a set or class
such that
the set or class
is an
instance
of
set or class
and
if
the relation
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then
the other entity
is an
instance
of
the set or class
and the number of
instances
in
the set or class
is
less
than or equal to
the integer
No TPTP formula. May not be expressible in strict first order.
Media.kif 2170-2183
If there are at least
an integer
values
to argument
a positive integer
of
a relation
and
the relation
is an
instance
of
predicate
,
then there exists
a set or class
such that
the set or class
is an
instance
of
set or class
and
if
the relation
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then
the other entity
is an
instance
of
the set or class
and the number of
instances
in
the set or class
is
greater
than or equal to
the integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 475-485
If @ROW is the
opposite
of ,
then for all
an attribute
and
another attribute
if
the attribute
is
equal
to
another entity
element
of (@ROW) and
the other attribute
is
equal
to
a third entity
element
of (@ROW) and
a positive integer
is not
equal
to
another positive integer
,
then
if
a fourth entity
the
attribute
the attribute
,
then
the fourth entity
does not have the
attribute
the other attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 293-300
If
a list
is
equal
to
another list
,
then
if
the list
is
equal
to (@ROW1) and
the other list
is
equal
to (@ROW2),
then for all
a positive integer
the positive integer
th
element
of (@ROW1) is
equal
to
the positive integer
th
element
of (@ROW2)
No TPTP formula. May not be expressible in strict first order.
Media.kif 2123-2131
If there can be
an integer
values
to argument
another integer
of
a relation
,
then the number of
instances
in the
class
described by
a symbolic string
is
equal
to
the integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 520-532
If @ROW are all the
attributes
of
another kind of attribute
,
then there doesn't exist
an entity
such that
the entity
is an
instance
of
another kind of attribute
and there don't exist
another entity
and
a positive integer
such that
the entity
is
equal
to
the other entity
and
the other entity
is
equal
to
the positive integer
th
element
of (@ROW)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 534-544
If @ROW are all the
attributes
of
another kind of attribute
,
then
if
an entity
is
equal
to
another entity
element
of (@ROW),
then there don't exist
a third entity
and
a fourth entity
such that
the entity
is
equal
to
the third entity
and
a positive integer
is not
equal
to
the fourth entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3001-3004
If
an entity
is a
member
of
a list
,
then there exists
a positive integer
such that
the positive integer
th
element
of
the list
is
equal
to
the entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2799-2804
If
a list
is an
instance
of
unique list
,
then for all
a positive integer
and
another positive integer
if
the positive integer
th
element
of
the list
is
equal
to
the other positive integer
th
element
of
the list
,
then
the positive integer
is
equal
to
the other positive integer
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2931-2935
For all @ROW and
another entity
length
of (@ROW and
the other entity
)th
element
of (@ROW and
the other entity
) is
equal
to
the other entity
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
ListOrderFn