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
ListLengthFn
Sigma KEE - ListLengthFn
ListLengthFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1967-1969
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2911-2914
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2908-2908
The number 1 argument of
list length
is an
instance
of
list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2907-2907
List length
is an
instance
of
total valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2906-2906
List length
is an
instance
of
unary function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2909-2909
The
range
of
list length
is an instance of
nonnegative integer
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 265-265
No TPTP formula. May not be expressible in strict first order.
english_format.kif 273-273
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34615-34615
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 266-266
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34614-34614
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 34613-34613
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3166-3173
If
a number
is
equal
to the
average
of the numbers in
a list
and
length
of
the list
is
greater
than 0,
then
the number
is
equal
to the
sum
of
the list
and
length
of
the list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3141-3145
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 3147-3157
If
a number
is
equal
to the
sum
of
a list
and
length
of
the list
is
greater
than 1,
then
the number
is
equal
to (the
first
of
the list
and the
sum
of the sub-list from 2 to
length
of
the list
of
the list
)
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1092-1103
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1060-1072
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2977-2993
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.
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 number
,
the number
MINUSONE,, ,
another positive integer
and
a third positive integer
such that
the number
is
greater
than 1 and
the number
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 number
and
the other positive integer
is a
member
of
the list
and
the number
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 number
MINUSONE is
equal
to (
the number
and 1) and
the number
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.
People.kif 411-442
The
female
life expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3105-3110
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.
People.kif 323-353
The
life
expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
No TPTP formula. May not be expressible in strict first order.
People.kif 367-398
The
male
life expectancy at birth of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if there exists
a list
such that
the list
is an
instance
of
list
and
length
of
the list
is an
instance
of
another integer
and for all
the list
ITEM
if
the list
ITEM is a
member
of
the list
,
then
the list
ITEM is an
instance
of
a symbolic string
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
the symbolic string
and
the other entity
is not a
member
of
the list
and
the other integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and
the real number
is an
average
of
the list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3166-3173
If
a number
is
equal
to the
average
of the numbers in
a list
and
length
of
the list
is
greater
than 0,
then
the number
is
equal
to the
sum
of
the list
and
length
of
the list
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3147-3157
If
a number
is
equal
to the
sum
of
a list
and
length
of
the list
is
greater
than 1,
then
the number
is
equal
to (the
first
of
the list
and the
sum
of the sub-list from 2 to
length
of
the list
of
the list
)
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1081-1090
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1060-1072
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3925-3943
If
a search results page
is an
instance
of
search results page
and
a list
is an
instance
of
search results
and
the list
is a
component
of
the search results page
,
then the number of
instances
in the
class
described by
a symbolic string
and
length
of
the list
is
equal
to
qualifying
clicks
on
the search results page
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2942-2949
If
a relation
%&has
a positive integer
argument
(s) and
the relation
is an
instance
of
predicate
,
then for all @ROW
if
the relation
@ROW,
then
length
of (@ROW) is
equal
to
the positive integer
statement
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2931-2934
For all @ROW and
another entity
length
of (@ROW and
the other entity
) is
equal
to (
length
of (@ROW)+1)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2936-2940
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
ListLengthFn