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
age
Sigma KEE - age
age
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2635-2636
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7425-7426
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7423-7423
The number 2 argument of
age
is an
instance
of
time duration
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7422-7422
age
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7420-7420
age
is an
instance
of
single valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7421-7421
age
is a
subrelation
of
measure
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 611-611
No TPTP formula. May not be expressible in strict first order.
english_format.kif 614-614
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 612-612
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 5804-5804
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 5803-5803
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 1060-1069
If
an election
is an
instance
of the
election
of
an agent
and
a process
is an
instance
of the
voting
of
the election
and
another agent
is an
agent
of
the process
and
a real number
year duration
(s) is a
suffrage
age maximum of
the agent
and the
age
of
the other agent
is
another real number
year duration
(s),
then
the other real number
is
less
than or equal to
the real number
No TPTP formula. May not be expressible in strict first order.
Government.kif 988-997
If
an election
is an
instance
of the
election
of
an agent
and
a process
is an
instance
of the
voting
of
the election
and
another agent
is an
agent
of
the process
and
a real number
year duration
(s) is a
suffrage
age minimum of
the agent
and the
age
of
the other agent
is
another real number
year duration
(s),
then
the other real number
is
greater
than or equal to
the real number
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 335-341
If
an entity
is an
instance
of
human
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
and
the real number
is
greater
than 12 and
the real number
is
less
than 20,
then
the entity
is an
instance
of
teenager
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 212-218
If
an entity
is an
instance
of
human
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
and
the real number
is
greater
than or equal to 18,
then
the entity
is an
instance
of
human adult
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 262-267
If
an entity
is an
instance
of
human
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
and
the real number
is
less
than 18,
then
the entity
is an
instance
of
human youth
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 385-390
If
an entity
is an
instance
of
human
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
and
the real number
is
less
than or equal to 1,
then
the entity
is an
instance
of
human baby
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 304-311
If
an entity
is an
instance
of
human
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
and
the real number
is
less
than or equal to 14,
then
the entity
is an
instance
of
human child
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7428-7432
If
a time point
is an
instance
of
time point
and the
age
of
a physical
is
a time duration
holds
during
the time point
,
then
duration
of
interval
between the
beginning
of the
time
of existence of
the physical
and
the time point
is
the time duration
No TPTP formula. May not be expressible in strict first order.
Military.kif 852-860
If
a real number
year duration
(s) is a
military
age of
a geopolitical area
and
the geopolitical area
is a
military
of area of
a military organization
and
a physical
is a
member
of
the military organization
and the
age
of
the physical
is
another real number
year duration
(s),
then
the other real number
is
greater
than or equal to
the real number
No TPTP formula. May not be expressible in strict first order.
Law.kif 602-619
If
an agreement
is a
party
to agreement of
a cognitive agent
and
a process
is an
instance
of
intentional process
and
the process
is
located
at
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
and
the process
is
located
at
the geopolitical area
2 and
the geopolitical area
2 is an
instance
of
geopolitical area
and
a real number
year duration
(s) is the age of majority for
the process
in
the geopolitical area
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is the
record
of
the agreement
and the
age
of
the cognitive agent
is
an entity
year duration
(s) and
the entity
is
greater
than
the real number
holds
during
the
time
of existence of
the process
,
then
legal
is an
attribute
of
the agreement
No TPTP formula. May not be expressible in strict first order.
Government.kif 1161-1174
If
compulsory suffrage law
is a
sub
-proposition of the
regional
law of
a nation
and
a human
is a
citizen
of
the nation
and
a real number
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
another real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
and
an election
is an
instance
of the
election
of
the nation
,
then there exists
a process
such that
the process
is an
instance
of the
voting
of
the election
and
the human
is an
agent
of
the process
No TPTP formula. May not be expressible in strict first order.
Government.kif 1105-1115
If
universal suffrage law
is a
sub
-proposition of the
regional
law of
a nation
and
a human
is a
citizen
of
the nation
and
a real number
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
another real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
and
an election
is an
instance
of the
election
of
the nation
,
then
the human
is
capable
of doing the
voting
of
the election
as a
agent
No TPTP formula. May not be expressible in strict first order.
Government.kif 1037-1045
If
a real number
year duration
(s) is a
suffrage
age maximum of
an agent
and
an election
is an
instance
of the
election
of
the agent
and
an object
is
capable
of doing the
voting
of
the election
as a
agent
and the
age
of
the object
is
another real number
year duration
(s),
then
the other real number
is
less
than or equal to
the real number
No TPTP formula. May not be expressible in strict first order.
Government.kif 965-973
If
a real number
year duration
(s) is a
suffrage
age minimum of
an agent
and
an election
is an
instance
of the
election
of
the agent
and
an object
is
capable
of doing the
voting
of
the election
as a
agent
and the
age
of
the object
is
another real number
year duration
(s),
then
the other real number
is
greater
than or equal to
the real number
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1275-1279
If
a human
is an
underage
user
of
a WebSite
and the
age
of
the human
is
a real number
year duration
(s),
then
the real number
is
greater
than or equal to 18
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 186-192
If
an entity
is an
instance
of
human adult
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
,
then
the real number
is
greater
than or equal to 18
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 368-373
If
an entity
is an
instance
of
human baby
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
,
then
the real number
is
less
than or equal to 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 287-292
If
an entity
is an
instance
of
human child
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
,
then
the real number
is
less
than or equal to 14
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 316-323
If
an entity
is an
instance
of
teenager
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
,
then
the real number
is
greater
than 12 and
the real number
is
less
than 20
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 245-250
If
an entity
is an
instance
of
human youth
and the
age
of
the entity
is
a real number
year duration
(s) holds
during
a time position
,
then
the real number
is
less
than 18
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 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.
Government.kif 1117-1137
If
a human
is a
citizen
of
a nation
and
universal suffrage law
is a
sub
-proposition of the
regional
law of
the nation
,
then the
regional
law of
the nation
allow
s
the human
to perform task of the type for all
an entity
,
another entity
and
a third entity
if
the human
is a
citizen
of
the nation
and
the entity
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
the other entity
year duration
(s) and
the other entity
is
greater
than or equal to
the entity
and
the third entity
is an
instance
of the
election
of
the nation
,
then there exists
a fourth entity
such that
the fourth entity
is an
instance
of the
voting
of
the third entity
and
the human
is an
agent
of
the fourth entity
No TPTP formula. May not be expressible in strict first order.
Government.kif 1047-1058
If
an election
is an
instance
of the
election
of
an agent
and
a process
is an
instance
of the
voting
of
the election
and
another agent
is an
agent
of
the process
and
a real number
year duration
(s) is a
suffrage
age maximum of
the agent
,
then there exists
another real number
such that the
age
of
the other agent
is
the other real number
year duration
(s) and
the other real number
is
less
than or equal to
the real number
No TPTP formula. May not be expressible in strict first order.
Government.kif 975-986
If
an election
is an
instance
of the
election
of
an agent
and
a process
is an
instance
of the
voting
of
the election
and
another agent
is an
agent
of
the process
and
a real number
year duration
(s) is a
suffrage
age minimum of
the agent
,
then there exists
another real number
such that the
age
of
the other agent
is
the other real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20447-20476
If
a proposition
is an
instance
of
argument
and
a process
is an
instance
of
reasoning
and
the proposition
is a
sub
-proposition of
Archeology
and
the process
express
es the content of
the proposition
,
then there exist
another process
,
an entity
,, ,
a physical
and
a real number
such that
the other process
is an
instance
of
discovering
and
the physical
is an
instance
of
object
and
the physical
is a
patient
of
the other process
and
the process
includes a
reference
to
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
and the
age
of
the physical
is
the real number
year duration
(s) and
the real number
is
greater
than 50 and
the entity
is a
surface
of
another entity
and
the other entity
is an
instance
of
body of water
and
the physical
is
below
to
the entity
or
the entity
is a
surface
of
a third entity
and
the third entity
is an
instance
of
land area
and
the physical
is
below
to
the entity
holds
during
immediately
before
the
time
of existence of
the other process
No TPTP formula. May not be expressible in strict first order.
Military.kif 840-850
If
a real number
year duration
(s) is a
military
age of
a geopolitical area
and
the geopolitical area
is a
military
of area of
a military organization
and
a physical
is a
member
of
the military organization
,
then there exists
another real number
such that the
age
of
the physical
is
the other real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 2894-2909
If
an agent
is for
an integer
seniors
and
the agent
fulfills
another agent
,
then there exists
a collection
such that
the collection
is an
instance
of
group of people
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
human adult
and the
age
of
the physical
is
a real number
year duration
(s) and
the real number
is
greater
than or equal to 60
and
the integer
is a
member
count of
the collection
and
the collection
is a
potential
customer
for
the other agent
No TPTP formula. May not be expressible in strict first order.
Law.kif 621-636
If
an agreement
is a
party
to agreement of
a cognitive agent
and
a process
is an
instance
of
intentional process
and
the process
is
located
at
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
and
a real number
year duration
(s) is the age of majority for
the process
in
the geopolitical area
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is the
record
of
the agreement
and
legal
is an
attribute
of
the agreement
,
then the
age
of
the cognitive agent
is
the real number
2
year duration
(s) and
the real number
2 is
greater
than
the real number
holds
during
the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
Government.kif 1196-1216
If
compulsory suffrage law
is a
sub
-proposition of the
regional
law of
a nation
and
a human
is a
citizen
of
the nation
,
then the
regional
law of
the nation
obligate
s
the human
to perform task of the type for all
an entity
,
another entity
and
a third entity
if
the human
is a
citizen
of
the nation
and
the entity
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
the other entity
year duration
(s) and
the other entity
is
greater
than or equal to
the entity
and
the third entity
is an
instance
of the
election
of
the nation
,
then there exists
a fourth entity
such that
the fourth entity
is an
instance
of the
voting
of
the third entity
and
the human
is an
agent
of
the fourth entity
No TPTP formula. May not be expressible in strict first order.
Government.kif 1025-1035
If
a real number
year duration
(s) is a
suffrage
age maximum of
an agent
and
an election
is an
instance
of the
election
of
the agent
and
an object
is
capable
of doing the
voting
of
the election
as a
agent
,
then there exists
another real number
such that the
age
of
the object
is
the other real number
year duration
(s) and
the other real number
is
less
than or equal to
the real number
No TPTP formula. May not be expressible in strict first order.
Government.kif 953-963
If
a real number
year duration
(s) is a
suffrage
age minimum of
an agent
and
an election
is an
instance
of the
election
of
the agent
and
an object
is
capable
of doing the
voting
of
the election
as a
agent
,
then there exists
another real number
such that the
age
of
the object
is
the other real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 375-383
If
an entity
is an
instance
of
human baby
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 0
year duration
(s) to 1
year duration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 194-202
If
an entity
is an
instance
of
human adult
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 18
year duration
(s) to 120
year duration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 294-302
If
an entity
is an
instance
of
human child
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 0
year duration
(s) to 14
year duration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 252-260
If
an entity
is an
instance
of
human youth
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 0
year duration
(s) to 17
year duration
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 325-333
If
an entity
is an
instance
of
teenager
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 13
year duration
(s) to 19
year duration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15966-15975
If
a collection
is an
instance
of
age group
,
then for all
a physical
,
another physical
,, ,
a time duration
and
another time duration
if
the physical
is a
member
of
the collection
and
the other physical
is a
member
of
the collection
and the
age
of
the physical
is
the time duration
and the
age
of
the other physical
is
the other time duration
,
then
the time duration
is
equal
to
the other time duration
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 398-404
If
an object
is an
older
of
another object
,
then there exist
a real number
,
another real number
and
an unit of measure
such that the
age
of
the other object
is
the real number
the unit of measure
(s) and the
age
of
the object
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than
the other real number
No TPTP formula. May not be expressible in strict first order.
Government.kif 1176-1194
If
compulsory suffrage law
is a
sub
-proposition of the
regional
law of
a geopolitical area
,
then the
regional
law of
the geopolitical area
obligate
s
the geopolitical area
to perform task of the type for all
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
if
the entity
is a
citizen
of
the geopolitical area
and
the other entity
year duration
(s) is a
suffrage
age minimum of
the geopolitical area
and the
age
of
the entity
is
the third entity
year duration
(s) and
the third entity
is
greater
than or equal to
the other entity
and
the fourth entity
is an
instance
of the
election
of
the geopolitical area
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of the
voting
of
the fourth entity
and
the entity
is an
agent
of
the fifth entity
No TPTP formula. May not be expressible in strict first order.
Government.kif 1091-1103
If
universal suffrage law
is a
sub
-proposition of the
regional
law of
a nation
,
then for all
a human
,
an election
,, ,
a real number
and
another real number
if
the human
is a
citizen
of
the nation
and
the real number
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
the other real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
and
the election
is an
instance
of the
election
of
the nation
,
then
the human
is
capable
of doing the
voting
of
the election
as a
agent
statement
No TPTP formula. May not be expressible in strict first order.
Government.kif 1077-1088
For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
if ?AGENT is a
citizen
of ?POLITY and ?VOTINGAGE
year duration
(s) is a
suffrage
age minimum of ?POLITY and the
age
of ?AGENT is ?AGE
year duration
(s) and ?AGE is
greater
than or equal to ?VOTINGAGE and ?ELECTION is an
instance
of the
election
of ?POLITY,
then ?AGENT is
capable
of doing the
voting
of ?ELECTION as a
agent
contain
s information
universal suffrage law
No TPTP formula. May not be expressible in strict first order.
Government.kif 1145-1159
For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
if ?VOTER is a
citizen
of ?POLITY and ?VOTINGAGE
year duration
(s) is a
suffrage
age minimum of ?POLITY and the
age
of ?VOTER is ?AGE
year duration
(s) and ?AGE is
greater
than or equal to ?VOTINGAGE and ?ELECTION is an
instance
of the
election
of ?POLITY,
then there exists ?VOTING such that ?VOTING is an
instance
of the
voting
of ?ELECTION and ?VOTER is an
agent
of ?VOTING
contain
s information
compulsory suffrage law
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.
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.
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
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