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
WhereFn
Sigma KEE - WhereFn
WhereFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2131-2132
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4137-4139
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4132-4132
The number 1 argument of
where
is an
instance
of
physical
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4133-4133
The number 2 argument of
where
is an
instance
of
time point
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4129-4129
Where
is an
instance
of
binary function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4130-4130
Where
is an
instance
of
spatial relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4131-4131
Where
is an
instance
of
total valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4134-4134
The
range
of
where
is an instance of
region
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4135-4135
Where
is
internally
related to
when
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order.
english_format.kif 278-278
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62958-62958
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 274-274
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62957-62957
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 62956-62956
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4141-4145
If the place
where
a physical
was at
a time point
is
equal
to
a region
,
then
the physical
is
exactly
located in
the region
holds
during
the time point
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.
MilitaryProcesses.kif 2515-2529
If
a process
is an
instance
of
evacuation
and
the process
originate
s at
a geographic area
and
a cognitive agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
process
and
the geographic area
is a
geographic
subregion of the place
where
the other process
was at the
beginning
of the
time
of existence of
the process
and
the other process
cause
s
the process
and
the cognitive agent
believe
s
dangerous
is an
attribute
of
the other process
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9503-9509
If
an entity
is an
instance
of
case role
and
another entity
is an
instance
of
object
and
the entity
a physical
and
the other entity
,
then there exists
a time point
such that the place
where
the physical
was at
the time point
and
the other entity
is
overlapsSpatially
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4147-4151
If
a physical
is
exactly
located in
a region
holds
during
a time point
,
then the place
where
the physical
was at
the time point
is
equal
to
the region
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11874-11883
If
a physical
is an
instance
of
inflammation
,
then there exist
a transfer
and
an object
such that
the transfer
is an
instance
of
translocation
and
the object
is an
instance
of
white blood cell
and the object transferred in
the transfer
is
the object
and
the transfer
end
s up at the place
where
the physical
was at the
time
of existence of
the physical
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7892-7900
If
a process
originate
s at
an object
,
then the place
where
the process
was at the
beginning
of the
time
of existence of
the process
is
located
at
2
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
WhereFn