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
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 5222-5224
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5219-5219
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 5218-5218
Cardinality
is an
instance
of
unary function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5220-5220
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 514-514
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 13147-13147
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13146-13146
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13145-13145
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 951-955
An entity
is an
instance
of
personal account
and the number of
instances
in the
class
described by
a symbolic string
is
greater
than 1 if and only if
the entity
is an
instance
of
joint account
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3442-3462
If
a collection
is an
instance
of
collection
and
a currency measure
is an
instance
of
currency measure
and
an integer
is an
instance
of
real number
and
the currency measure
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 currency measure
and
the integer
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3485-3505
If
a collection
is an
instance
of
collection
and
a currency measure
is an
instance
of
currency measure
and
an integer
is an
instance
of
real number
and
the currency measure
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 currency measure
and
the integer
No TPTP formula. May not be expressible in strict first order.
Government.kif 435-439
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 104-117
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
a quantity
and
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and
the quantity
is
equal
to
the real number
No TPTP formula. May not be expressible in strict first order.
People.kif 138-151
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
a quantity
and
another integer
is
equal
to the number of
instances
in the
class
described by
a symbolic string
and
the other integer
and
the quantity
is
equal
to
the real number
No TPTP formula. May not be expressible in strict first order.
People.kif 253-277
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
a quantity
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 quantity
is
equal
to
the real number
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.
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.
People.kif 221-238
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 174-202
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
a quantity
) is
equal
to 1 and the
population
of
the geopolitical area
is
equal
to
another quantity
holds
during
the
year
the integer
and
the other quantity
and 1000 is
equal
to
a third quantity
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 fourth quantity
and
the fourth quantity
and
the third quantity
is
equal
to
the real number
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.
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 3091-3106
If
a collection
is an
instance
of
collection
and for all
an object
if
the object
is a
member
of
the collection
,
then
the object
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 3125-3142
If
a collection
is an
instance
of
collection
and for all
an object
if
the object
is a
member
of
the collection
,
then
the object
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 3050-3074
If
a collection
is an
instance
of
collection
and for all
an object
if
the object
is a
member
of
the collection
,
then
the object
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 11269-11275
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 3297-3316
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 3258-3275
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 8905-8909
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 3923-3941
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 3536-3559
If
a collection
is an
instance
of
collection
and
a hyperlink
is an
instance
of
hyperlink
and for all
an object
the object
is a
member
of
another collection
and
the object
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 3871-3906
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
an object
if
the object
is a
member
of
the collection
,
then
the object
is an
instance
of
AccessingWebPage
and for all
a process
,
an agent
,, ,
another object
,, ,
the process
and
a third object
if
the agent
is an
instance
of
human
and
the process
is an
instance
of
buying
and
the other object
is an
instance
of
AccessingWebPage
and
the third object
is an
instance
of
WebPage
and
the other object
is a
member
of
the collection
and
the other object
end
s up at
the third object
and
the agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other object
and the
time
of existence of
the process
takes place
during
the
time
of existence of
the other object
and
the third 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 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 12764-12776
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 867-876
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 13161-13161
The number of
instances
in
continent
is
equal
to 7
No TPTP formula. May not be expressible in strict first order.
Media.kif 2005-2005
The number of
instances
in
NativityMagi
is
equal
to 3
No TPTP formula. May not be expressible in strict first order.
People.kif 462-472
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 890-901
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 928-941
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 1967-1967
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 1968-1968
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
CardinalityFn