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
KappaFn
Sigma KEE - KappaFn
KappaFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2318-2322
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5294-5302
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5290-5290
The number 1 argument of
kappa
is an
instance
of
symbolic string
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5291-5291
The number 2 argument of
kappa
is an
instance
of
formula
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5288-5288
Kappa
is an
instance
of
binary function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5289-5289
Kappa
is an
instance
of
partial valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5292-5292
The
range
of
kappa
is an instance of
class
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 508-508
No TPTP formula. May not be expressible in strict first order.
english_format.kif 516-516
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 32044-32044
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 509-509
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 32043-32043
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 32042-32042
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
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.
Transportation.kif 179-186
A length measure
is a
length
of broad gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 701-708
A length measure
is a
length
of crude oil pipeline of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 207-214
A length measure
is a
length
of dual gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 125-132
A length measure
is a
length
of electrified railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 558-565
A length measure
is a
length
of expressway system of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 152-159
A length measure
is a
length
of multiple track railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 234-241
A length measure
is a
length
of narrow gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 724-731
A length measure
is a
length
of natural gas pipeline of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 532-539
A length measure
is a
length
of paved highway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 747-754
A length measure
is a
length
of petroleum product pipeline of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 262-269
A length measure
is a
length
of standard gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 291-303
A length measure
is a
length
of unclassified gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 590-597
A length measure
is a
length
of unpaved highway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1266-1276
A geographic area
is
total
facility type in area the
class
corresponding to
airport with paved runway
for
a nonnegative integer
if and only if
the nonnegative integer
is a
cardinality
of the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1210-1217
A geographic area
is
total
facility type in area
a class
for
a nonnegative integer
if and only if
the nonnegative integer
is a
cardinality
of the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 478-485
A length measure
is a
total
length of highway system of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 98-105
A length measure
is a
total
length of railway system of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
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.
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
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
KappaFn