Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
CardinalityFn
Sigma KEE - CardinalityFn
CardinalityFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2309-2309
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5411-5413
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5408-5408
The number 1 argument of
cardinality
is an
instance
of the
union
of
set or class
and
collection
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5407-5407
Cardinality
is an
instance
of
unary function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5409-5409
The
range
of
cardinality
is an instance of
integer
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 506-506
No TPTP formula. May not be expressible in strict first order.
english_format.kif 511-511
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 507-507
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13215-13215
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13214-13214
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13213-13213
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7714-7721
If
a geopolitical area
is an
instance
of
geopolitical area
and
an integer
is
equal
to the number of
instances
in the
citizenry
of
the geopolitical area
and
another integer
is
equal
to the number of
instances
in the
resident
of
the geopolitical area
,
then
the other integer
is
greater
than or equal to
the integer
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3447-3467
If
a collection
is an
instance
of
collection
and
a real number
is an
instance
of
currency measure
and
an integer
is an
instance
of
real number
and
the real number
is
equal
to the
value
of
the collection
and
the integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
,
then the
average
price
of
the collection
is
equal
to
the real number
and
the integer
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3490-3510
If
a collection
is an
instance
of
collection
and
a real number
is an
instance
of
currency measure
and
an integer
is an
instance
of
real number
and
the real number
is
equal
to the
value
of
the collection
and
the integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
,
then the
average
selling
price
of
the collection
is
equal
to
the real number
and
the integer
No TPTP formula. May not be expressible in strict first order.
Government.kif 434-438
If
a set or class
is an
instance
of
set or class
and the number of
instances
in
the set or class
is
equal
to
a nonnegative integer
,
then
the nonnegative integer
is a
cardinality
of
the set or class
consequent
No TPTP formula. May not be expressible in strict first order.
People.kif 372-405
A year
is an
instance
of the
year
the year
EAR and the
male
life expectancy at birth of
a geopolitical area
and
the year
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 108-121
The
births
per thousand of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if the
population
of
the geopolitical area
and 1000 is
equal
to
another real number
and
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and
the other real number
is
equal
to
the real number
No TPTP formula. May not be expressible in strict first order.
People.kif 142-155
The
deaths
per thousand of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if the
population
of
the geopolitical area
and 1000 is
equal
to
another real number
and
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and
the other real number
is
equal
to
the real number
No TPTP formula. May not be expressible in strict first order.
People.kif 257-281
The
deaths
per thousand live births of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and 1000 is
equal
to
another real number
and
a third integer
is
equal
to the number of
instances
in the
class
described by
another symbolic string
and
the third integer
and
the other real number
is
equal
to
the real number
No TPTP formula. May not be expressible in strict first order.
People.kif 418-449
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.
People.kif 327-357
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 225-242
The
male
to female ratio of
a geopolitical area
is
equal
to
a real number
if and only if
an integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
another integer
is
equal
to the number of
instances
in the
class
described by
another symbolic string
and
the integer
and
the other integer
is
equal
to
the real number
No TPTP formula. May not be expressible in strict first order.
People.kif 178-206
The
migrants
per thousand of
a geopolitical area
and the
year
an integer
is
equal
to
a real number
if and only if (
the integer
and
another real number
) is
equal
to 1 and the
population
of
the geopolitical area
is
equal
to
a third real number
holds
during
the
year
the integer
and
the third real number
and 1000 is
equal
to
a fourth real number
and
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
a third integer
is
equal
to the number of
instances
in the
class
described by
the symbolic string
and (
the other integer
and
the third integer
) is
equal
to
a fifth real number
and
the fifth real number
and
the fourth real number
is
equal
to
the real number
No TPTP formula. May not be expressible in strict first order.
Media.kif 2130-2143
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 class
such that
the 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 class
and the number of
instances
in
the class
is
equal
to
the integer
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 812-817
If
a geopolitical area
is an
instance
of
american city
and
the geopolitical area
is a
part
of
california
and
the geopolitical area
is not
equal
to
los angeles california
,
then the number of
instances
in the
resident
of
los angeles california
is
greater
than the number of
instances
in the
resident
of
the geopolitical area
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 59-65
If
a geopolitical area
is an
instance
of
city
and
the geopolitical area
is a
part
of
france
,
then the number of
instances
in the
resident
of
the geopolitical area
is
less
than or equal to the number of
instances
in the
resident
of
paris
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3096-3111
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
financial transaction
,
then the number of
instances
in the
class
described by
a symbolic string
is
equal
to number of items
purchased
in
the collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3130-3147
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
web listing
,
then the number of
instances
in the
class
described by
a symbolic string
is
equal
to number of
bids
in
the collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3055-3079
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
web listing
,
then the number of
instances
in the
class
described by
a symbolic string
and the number of
instances
in
the collection
is
equal
to number of
bids
in
the collection
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11906-11912
If
a process
is an
instance
of
counting
and
a cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the cognitive agent
know
s the number of
instances
in
the entity
is
equal
to
the other entity
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3302-3321
If
an experimenting
is an
instance
of
experimenting
and
a time interval
is an
instance
of
time interval
,
then the number of
instances
in the
class
described by
a symbolic string
and the number of
instances
in the
class
described by
another symbolic string
is
equal
to
purchases
per
user
in
the experimenting
during
the time interval
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3263-3280
If
an experimenting
is an
instance
of
experimenting
and
an entity
is an
instance
of
time interval
,
then the number of
instances
in the
class
described by
a symbolic string
and the number of
instances
in the
class
described by
another symbolic string
is
equal
to
purchases
per
user
in
the experimenting
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9361-9365
If
a time interval
is an
instance
of
month
and
duration
of
the time interval
is
an integer
day duration
(s),
then the number of
instances
in
decomposition
of
the time interval
into
day
s is
equal
to
the integer
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3928-3946
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.
CountriesAndRegions.kif 897-901
If
a geopolitical area
is an
instance
of
american state
and
the geopolitical area
is not
equal
to
california
,
then the number of
instances
in the
resident
of
california
is
greater
than the number of
instances
in the
resident
of
the geopolitical area
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3541-3564
If
a collection
is an
instance
of
collection
and
a hyperlink
is an
instance
of
hyperlink
and for all
a physical
the physical
is a
member
of
another collection
and
the physical
is an
instance
of
AccessingWebPage
and
the other collection
is a
component
of
the hyperlink
,
then there exists
a third collection
such that
the third collection
is an
instance
of
collection
and for all
a process
if
the process
is an
instance
of
RequestingHyperlink
and
the hyperlink
is a
patient
of
the process
,
then
the process
is a
member
of
the third collection
and the
rate
of clicking through
the hyperlink
in
the collection
is
equal
to the number of
instances
in
the third collection
and the number of
instances
in
the collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3876-3911
If
a collection
is an
instance
of
collection
and
another collection
is an
instance
of
collection
and
the other collection
is a proper
sub
-collection of
the collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
AccessingWebPage
and for all
a process
,
an agent
,, ,
another process
,, ,
the process
and
an object
if
the agent
is an
instance
of
human
and
the process
is an
instance
of
buying
and
the other process
is an
instance
of
AccessingWebPage
and
the object
is an
instance
of
WebPage
and
the other process
is a
member
of
the collection
and
the other process
end
s up at
the object
and
the agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the process
takes place
during
the
time
of existence of
the other process
and
the object
is an
instrument
for
the process
,
then
the process
is a
member
of
the other collection
,
then
purchases
made in
the collection
during
a time interval
is
equal
to the number of
instances
in the
class
described by
an entity
_IN_INTERVAL and the number of
instances
in the
class
described by
another entity
_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.
Media.kif 2201-2214
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 class
such that
the 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 class
and the number of
instances
in
the class
is
less
than or equal to
the integer
No TPTP formula. May not be expressible in strict first order.
Media.kif 2166-2179
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 class
such that
the 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 class
and the number of
instances
in
the class
is
greater
than or equal to
the integer
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13531-13543
If
a positive integer
is an
atomic
number of
a kind of elemental substance
,
then
if
an object
is an
instance
of
a kind of elemental substance
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
atom
,
then
the positive integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
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.
Military.kif 872-881
The
available
for military service male of
a geopolitical area
is
equal
to the number of
instances
in the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13928-13928
The number of
instances
in
continent
is
equal
to 7
No TPTP formula. May not be expressible in strict first order.
Media.kif 2001-2001
The number of
instances
in
NativityMagi
is
equal
to 3
No TPTP formula. May not be expressible in strict first order.
People.kif 469-479
The
children
born per woman of
a geopolitical area
and the
year
an integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
Military.kif 895-906
The
fit
for military service male of
a geopolitical area
is
equal
to the number of
instances
in the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
People.kif 49-54
The
population
of
a geopolitical area
is
equal
to the number of
instances
in the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
Military.kif 933-946
The
reaching
military age annually male of
a geopolitical area
and
a year
is
equal
to the number of
instances
in the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
Media.kif 1963-1963
The number of
instances
in
TwelveApostles
is
greater
than or equal to 11
No TPTP formula. May not be expressible in strict first order.
Media.kif 1964-1964
The number of
instances
in
TwelveApostles
is
less
than or equal to 12
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