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
agent
Sigma KEE - agent
agent
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1865-1867
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2383-2386
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2379-2379
The number 1 argument of
agent
is an
instance
of
process
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2380-2380
The number 2 argument of
agent
is an
instance
of
agent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2377-2377
agent
is an
instance
of
case role
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2378-2378
agent
is an
instance
of
partial valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2381-2381
agent
is a
subrelation
of
involved in event
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 53-53
No TPTP formula. May not be expressible in strict first order.
english_format.kif 53-53
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22265-22265
typicalAction
is
internally
related to
agent
No TPTP formula. May not be expressible in strict first order.
Law.kif 270-270
arresting officer
is a
subrelation
of
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19051-19051
contest participant
is a
subrelation
of
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22882-22882
gains control
is a
subrelation
of
agent
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 23-23
invading virus
is a
subrelation
of
agent
No TPTP formula. May not be expressible in strict first order.
Law.kif 314-314
perpetrator
is a
subrelation
of
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 15717-15717
plaintiff
is a
subrelation
of
agent
No TPTP formula. May not be expressible in strict first order.
Law.kif 352-352
prosecutor
is a
subrelation
of
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22326-22326
service provider
is a
subrelation
of
agent
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 54-54
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18212-18218
If
an agent
is an
agent
of
a process
and
an entity
is a
result
of
the process
and
the entity
is an
instance
of
art work
,
then
Artist
is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 487-499
If
an agent
is an
agent
of
a process
and
the process
originate
s at
an object
and
a physical
is a
patient
of
the process
and
value
of
the physical
is
a currency measure
,
then there exists
a financial transaction
such that
the financial transaction
is a
subprocess
of
the process
and
the financial transaction
is an
instance
of
payment
and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
originate
s at
the agent
and
the financial transaction
end
s up at
the object
No TPTP formula. May not be expressible in strict first order.
emotion.kif 374-387
If
appraisal as just treatment
is an
attribute
of
a cognitive agent
and
the cognitive agent
JT is an
instance
of
appraisal process
and
the cognitive agent
is an
agent
of
the cognitive agent
JT,
then there exist
another process
and
the cognitive agent
2 such that
the other process
is an
instance
of
process
and
the cognitive agent
JT includes a
reference
to
the other process
and
the cognitive agent
2 is an
agent
of
the other process
and
the cognitive agent
is not
equal
to
the cognitive agent
2 and
the cognitive agent
is a
patient
of
the other process
and
the cognitive agent
want
s
the other process
No TPTP formula. May not be expressible in strict first order.
emotion.kif 349-363
If
appraisal as unjust treatment
is an
attribute
of
a cognitive agent
and
the cognitive agent
UJ is an
instance
of
appraisal process
and
the cognitive agent
is an
agent
of
the cognitive agent
UJ,
then there exist
another process
and
the cognitive agent
2 such that
the other process
is an
instance
of
process
and
the cognitive agent
UJ includes a
reference
to
the other process
and
the cognitive agent
2 is an
agent
of
the other process
and
the cognitive agent
is not
equal
to
the cognitive agent
2 and
the cognitive agent
is a
patient
of
the other process
and
the cognitive agent
doesn't
want
the other process
No TPTP formula. May not be expressible in strict first order.
Biography.kif 524-543
If
voice actor
is an
attribute
of
an agent
and
a process
is an
instance
of
dramatic acting
and
the agent
is an
agent
of
the process
and
another process
is an
instance
of
linguistic communication
and
the agent
is an
agent
of
the other process
and
the other process
is a
subprocess
of
the process
,
then there doesn't exist
a third process
such that
the third process
is an
instance
of
seeing
and
the agent
is a
patient
of
the third process
and
another agent
is an
agent
of
the third process
and there exists
a fourth process
such that
the fourth process
is an
instance
of
hearing
and
the agent
is a
patient
of
the fourth process
and
the other agent
is an
agent
of
the fourth process
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 57-75
If
mausaharati
is an
attribute
of
an agent
and
a time interval
is an
instance
of
drumming
and
the agent
is an
agent
of
the time interval
and
the time interval
AY is an
instance
of
day
and
another time interval
is an
instance
of
sunrise
and
the other time interval
takes place
during
the time interval
and
the time interval
happens
before
the other time interval
,
then
the time interval
has the purpose there exist
another entity
,
the other time interval
UHUR and
a fourth entity
such that
the fourth entity
is an
instance
of
waking up
and
the other entity
experience
s
the fourth entity
and
the other time interval
UHUR is an
instance
of
suhur
and
the other entity
is an
agent
of
the other time interval
UHUR and
the fourth entity
happens
before
the other time interval
UHUR and
the fourth entity
takes place
during
the time interval
AY and
the other time interval
UHUR takes place
during
the time interval
AY
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 125-134
If
muslim
is an
attribute
of
an object
and
the object
is
capable
of doing
hajj
as a
agent
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
hajj
and
the object
is an
agent
of
the entity
has the
modal
force
of
obligation
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1160-1177
If
communal
is an
attribute
of
an object
and
the object
is an
instance
of
table
and
a process
is an
instance
of
eating
and
an agent
is an
agent
of
the process
and
the agent
is an
instance
of
group of people
and
the process
is
located
at
2
,
then the statement there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the agent
is not
equal
to
the entity
and
the entity
is an
instance
of
group of people
and
the other entity
is
located
at
2
and the
time
of existence of
the process
meet
s the
time
of existence of
the other entity
and
the object
is
equal
to
the object
2 has the
modal
force
of
possibility
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25139-25152
If
multilingual
is an
attribute
of
an agent
and
a process
is an
instance
of
speaking
and
the agent
is an
agent
of
the process
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
spoken human language
and
the other entity
is an
instance
of
spoken human language
and
the entity
is not
equal
to
the other entity
and
the entity
is a
patient
of
the process
or
the other entity
is a
patient
of
the process
has the
modal
force
of
possibility
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1910-1921
If
traveler accommodation
is an
attribute
of
an agent
and
the agent
is
capable
of doing
service
as a
agent
,
then there exist
a cognitive agent
and
an object
such that
the agent
employ
s
the cognitive agent
and
maid
is an
attribute
of
the cognitive agent
and
the object
is an
instance
of
hotel unit
and
the object
is a
part
of
belongings
of
the agent
and
the object
is
capable
of doing
service
as a
patient
and
the cognitive agent
is
capable
of doing
service
as a
service provider
No TPTP formula. May not be expressible in strict first order.
Biography.kif 498-507
If
writer
is an
attribute
of
an agent
and
a kind of content bearing object
is an
instance
of
text
or
a kind of content bearing object
is an
instance
of
Document
and
a process
is an
instance
of
writing
and
the agent
is an
agent
of
the process
and
the kind of content bearing object
is a
result
of
the process
,
then
the agent
is the
author
of
the kind of content bearing object
No TPTP formula. May not be expressible in strict first order.
Government.kif 1847-1851
If
an election
candidate
for position
a social role
for
a cognitive agent
and
an agent
is an
agent
of
the election
,
then
the cognitive agent
desire
s
the cognitive agent
holds the
position
of
the social role
in
the agent
No TPTP formula. May not be expressible in strict first order.
TransportDetail.kif 153-171
If
an organization
is
capable
of doing
valet parking
as a
agent
and
the organization
is a
customer
of
a cognitive agent
and
the organization
is
located
at
an object
and
a process
is an
instance
of
arriving
and
the cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the process
end
s up at
the object
,
then
a human
holds the
position
of
valet
in
the organization
and the statement there exists
another entity
such that
the other entity
is an
instance
of
valet parking
and
the human
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
and
the other entity
end
s up at
a third entity
and
the third entity
is an
instance
of
parking area
has the
modal
force
of
possibility
No TPTP formula. May not be expressible in strict first order.
Government.kif 1585-1592
If
a position
is a
chief
of state type of
a geopolitical area
and
the geopolitical area
is an
agent
of
an election
and
the election
is an
instance
of
election
and
the position
is an
election
for position of
the election
and
the election
is an
instance
of
popular election
,
then
democracy
is a
government
type of
the geopolitical area
No TPTP formula. May not be expressible in strict first order.
Dining.kif 130-150
If
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive agent
charges
a currency measure
in
corkage
for
a kind of object
and
another object
is an
instance
of
a kind of object
and there doesn't exist
a process
such that
the process
is an
instance
of
buying
and
the other object
is a
patient
of
the process
and
the process
end
s up at
the other cognitive agent
and
the process
originate
s at
the cognitive agent
and
another process
is an
instance
of
drinking
and
the other cognitive agent
is an
agent
of
the other process
and
the other object
is a
resource
for
the other process
,
then there exists
a third process
such that
the third process
is an
instance
of
corkage
and
the other cognitive agent
is an
agent
of
the third process
and
the third process
includes a
reference
to
the other object
and
the third process
end
s up at
the cognitive agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20075-20084
If
a human
directed
a motion picture
and
a process
is an
instance
of
film making
and
an agent
is an
instance
of
organization
and
the human
is a
leader
of
the agent
and
the agent
is an
agent
of
the process
and
the motion picture
is a
result
of
the process
,
then
film director
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17752-17766
If
an organization
is
equal
to the
department
of
a kind of physical
in
another organization
and
the organization
2 is a part of the organization
the other organization
and
the organization
is not
equal
to
the organization
2 and
an entity
is an
instance
of
a kind of physical
and
a cognitive agent
is
interested
in
the entity
and
the cognitive agent
1 is
equal
to the
probability
of
the organization
is an
agent
of
the cognitive agent
and
the cognitive agent
2 is
equal
to the
probability
of
the organization
2 is an
agent
of
the cognitive agent
,
then
the cognitive agent
1 is
greater
than
the cognitive agent
2
No TPTP formula. May not be expressible in strict first order.
Dining.kif 332-346
If
a cognitive agent
provides
an object
and
the cognitive agent
is a
customer
of
another cognitive agent
and
an entity
is an
instance
of
the object
and
the other cognitive agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
intentional process
and
the entity
is a
patient
of
the other entity
and
the other cognitive agent
is an
agent
of
the other entity
,
then the statement
the cognitive agent
allow
s
the other cognitive agent
to perform task of the type
the entity
use
s
the other cognitive agent
has the
modal
force
of
possibility
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 820-841
If
a class
is
free
for customers renting
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
a cognitive agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the process
end
s up at
another cognitive agent
and
an agent
is an
instance
of
the class
and
the cognitive agent
possess
es
the agent
and
the cognitive agent
is a
customer
of
the other cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
0
united states dollar
(s) for
the cognitive agent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 526-541
If use of
a class
is free for
a cognitive agent
and
an agent
is an
instance
of
the class
and
the cognitive agent
is a
customer
of
another cognitive agent
and
the agent
is an
instance
of
process
and
the other cognitive agent
is an
agent
of
the agent
or
the other cognitive agent
experience
s
the agent
or
the cognitive agent
possess
es
the agent
and
the agent
is an
instance
of
object
and
the agent
use
s
the other cognitive agent
,
then
the agent
is
price
0
united states dollar
(s) for
the cognitive agent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 334-349
If use of
a class
is free for
a kind of hotel unit
and
the class
is a
subclass
of
object
and
a temporary residence
is an
instance
of
a kind of hotel unit
and
a human
stays
at
the temporary residence
and
the temporary residence
is an
element
of
belongings
of
an agent
and
an object
is an
instance
of
the class
and
the object
is
located
at
the temporary residence
and
a process
is an
instance
of
process
and
the human
is an
agent
of
the process
and
the object
is a
patient
of
the process
or
the object
is an
instrument
for
the process
or
the object
is a
resource
for
the process
,
then
the process
is
price
0
united states dollar
(s) for
the agent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 790-811
If use of
a kind of physical
is free for
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
an agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
and
the process
end
s up at
another entity
and
a kind of physical
is a
subclass
of
object
,
then the statement there exist
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
the kind of physical
and
the fourth entity
is an
instance
of
process
and
the third entity
is a
resource
for
the fourth entity
or
the third entity
is an
instrument
for
the fourth entity
or
the third entity
is a
patient
of
the fourth entity
and
the other entity
is an
agent
of
the fourth entity
or
the other entity
experience
s
the fourth entity
has the
modal
force
of
possibility
No TPTP formula. May not be expressible in strict first order.
Law.kif 524-533
If
an agent
desire
s
dead
is an
attribute
of
an entity
holds
during
a time interval
and
the agent
URDER is an
instance
of
murder
and
the agent
is an
agent
of
the agent
URDER and
the entity
is a
patient
of
the agent
URDER and
the time interval
happens
earlier
than the
time
of existence of
the agent
URDER,
then
premeditated
is an
attribute
of
the agent
URDER
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30064-30085
If
dieting
is an
attribute
of
an agent
holds
during
a time interval
and
dieting
is not an
attribute
of
the agent
holds
during
another time interval
and
an object
is an
instance
of
meal
and
a process
is an
instance
of
eating
and
the agent
is an
agent
of
the process
and
the object
is a
resource
for
the process
and the
time
of existence of
the process
takes place
during
the time interval
and the
measure
of
the object
is
a real number
calorie
(s) and
another object
is an
instance
of
meal
and
another process
is an
instance
of
eating
and
the agent
is an
agent
of
the other process
and
the other object
is a
resource
for
the other process
and the
time
of existence of
the other process
takes place
during
the other time interval
and the
measure
of
the other object
is
another real number
calorie
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9411-9433
If
an object
is an
instance
of
antacid
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
another object
is an
instance
of
stomach
and
the other object
is a
part
of
the agent
and
the other object
contain
s
a third object
and
the third object
is an
instance
of
fluid
holds
during
immediately
before
the
time
of existence of
the motion
and
the other object
contain
s
a fourth object
and
the fourth object
is an
instance
of
fluid
holds
during
immediately
after
the
time
of existence of
the motion
and
phMeasure
the third object
and
a real number
and
phMeasure
the fourth object
and
another real number
,
then
the other real number
is
greater
than
the real number
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7400-7406
A cognitive agent
is a
customer
of
another cognitive agent
if and only if there exists
a process
such that
the process
is an
instance
of
financial transaction
and
the cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the other cognitive agent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3639-3646
A cognitive agent
customer
representative
another cognitive agent
for
an organization
if and only if there exists
a process
such that
the process
is an
instance
of
financial transaction
and
the organization
employ
s
the cognitive agent
and
the cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the other cognitive agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29673-29681
Mute
is an
attribute
of
an agent
holds
during
a time interval
if and only if there doesn't exist
a process
such that
the process
is an
instance
of
speaking
and the
time
of existence of
the process
takes place
during
the time interval
and
the agent
is an
agent
of
the process
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1547-1553
LegalAgent
is an
attribute
of
an entity
holds
during
a time position
if and only if
the entity
is
capable
of doing
legal action
as a
agent
or
the entity
is
capable
of doing
legal action
as a
patient
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13570-13576
If
a cognitive agent
has the responsibility to make
a proposition
permission
in
an agreement
,
then
the cognitive agent
has the
right
to perform there exists
an entity
such that
the entity
express
es the content of
the proposition
and
the cognitive agent
is an
agent
of
the entity
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13561-13568
If
a cognitive agent
has the responsibility to make
a proposition
prohibition
in
an agreement
,
then
the cognitive agent
doesn't have the
right
to perform there exists
an entity
such that
the entity
express
es the content of
the proposition
and
the cognitive agent
is an
agent
of
the entity
No TPTP formula. May not be expressible in strict first order.
Music.kif 278-285
If
a cognitive agent
is a performer on
an album
,
then there exist
a content bearing object
and
a process
such that
the content bearing object
is an
instance
of
recording
and
the content bearing object
is a
member
of
the album
and
the content bearing object
is a
record
of
the process
and
the cognitive agent
is an
agent
of
the process
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13549-13559
If
a cognitive agent
has the responsibility to make
a proposition
a deontic attribute
in
an agreement
and
the deontic attribute
is
equal
to
obligation
or
the deontic attribute
is
equal
to
promise
,
then the statement there exists
an entity
such that
the entity
express
es the content of
the proposition
and
the cognitive agent
is an
agent
of
the entity
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
emotion.kif 374-387
If
appraisal as just treatment
is an
attribute
of
a cognitive agent
and
the cognitive agent
JT is an
instance
of
appraisal process
and
the cognitive agent
is an
agent
of
the cognitive agent
JT,
then there exist
another process
and
the cognitive agent
2 such that
the other process
is an
instance
of
process
and
the cognitive agent
JT includes a
reference
to
the other process
and
the cognitive agent
2 is an
agent
of
the other process
and
the cognitive agent
is not
equal
to
the cognitive agent
2 and
the cognitive agent
is a
patient
of
the other process
and
the cognitive agent
want
s
the other process
No TPTP formula. May not be expressible in strict first order.
emotion.kif 349-363
If
appraisal as unjust treatment
is an
attribute
of
a cognitive agent
and
the cognitive agent
UJ is an
instance
of
appraisal process
and
the cognitive agent
is an
agent
of
the cognitive agent
UJ,
then there exist
another process
and
the cognitive agent
2 such that
the other process
is an
instance
of
process
and
the cognitive agent
UJ includes a
reference
to
the other process
and
the cognitive agent
2 is an
agent
of
the other process
and
the cognitive agent
is not
equal
to
the cognitive agent
2 and
the cognitive agent
is a
patient
of
the other process
and
the cognitive agent
doesn't
want
the other process
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4336-4345
If
two-factor authentication
is an
attribute
of
an user account
and
an agent
is logged-in to
the user account
during
a time interval
,
then there exists
the time interval
F such that
the time interval
F is an
instance
of
two-factor login
and
the agent
is an
agent
of
the time interval
F and the
accountUsed
in
the time interval
F is
the user account
and the
time
of existence of
the time interval
F happens
earlier
than
the time interval
No TPTP formula. May not be expressible in strict first order.
Biography.kif 524-543
If
voice actor
is an
attribute
of
an agent
and
a process
is an
instance
of
dramatic acting
and
the agent
is an
agent
of
the process
and
another process
is an
instance
of
linguistic communication
and
the agent
is an
agent
of
the other process
and
the other process
is a
subprocess
of
the process
,
then there doesn't exist
a third process
such that
the third process
is an
instance
of
seeing
and
the agent
is a
patient
of
the third process
and
another agent
is an
agent
of
the third process
and there exists
a fourth process
such that
the fourth process
is an
instance
of
hearing
and
the agent
is a
patient
of
the fourth process
and
the other agent
is an
agent
of
the fourth process
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 57-75
If
mausaharati
is an
attribute
of
an agent
and
a time interval
is an
instance
of
drumming
and
the agent
is an
agent
of
the time interval
and
the time interval
AY is an
instance
of
day
and
another time interval
is an
instance
of
sunrise
and
the other time interval
takes place
during
the time interval
and
the time interval
happens
before
the other time interval
,
then
the time interval
has the purpose there exist
another entity
,
the other time interval
UHUR and
a fourth entity
such that
the fourth entity
is an
instance
of
waking up
and
the other entity
experience
s
the fourth entity
and
the other time interval
UHUR is an
instance
of
suhur
and
the other entity
is an
agent
of
the other time interval
UHUR and
the fourth entity
happens
before
the other time interval
UHUR and
the fourth entity
takes place
during
the time interval
AY and
the other time interval
UHUR takes place
during
the time interval
AY
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 193-212
If
muslim
is an
attribute
of
an agent
and
value
of belongings of
the agent
is
equal
to
a currency measure
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
zakat
and
a fourth entity
is an
instance
of
year
and
the fourth entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the fourth entity
and
the agent
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
value
of
the other entity
is
a fifth entity
the third entity
(s) and
the third entity
is an
instance
of
UnitOfCurrency
and
the fifth entity
is
greater
than
the currency measure
and 0.025 has the
modal
force
of
obligation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17085-17098
If
an attribute
is an
attribute
of
an object
and
the attribute
is an
instance
of
subjective assessment attribute
,
then there exist
a time position
,
a process
and
an agent
such that
the process
is an
instance
of
judging
and
the agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the attribute
is an
attribute
of
the object
is a
patient
of
the process
and
the agent
believe
s
the object
the
attribute
the attribute
holds
during
the time position
No TPTP formula. May not be expressible in strict first order.
Military.kif 286-297
If
an attribute
is an
attribute
of
an agent
and
the attribute
is an
instance
of
commissioned officer rank
,
then there exist
a process
and
an object
such that
the process
is an
instance
of
managing
and
the agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the object
is an
instance
of
military organization
or
soldier
is an
attribute
of
the object
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 125-134
If
muslim
is an
attribute
of
an object
and
the object
is
capable
of doing
hajj
as a
agent
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
hajj
and
the object
is an
agent
of
the entity
has the
modal
force
of
obligation
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1160-1177
If
communal
is an
attribute
of
an object
and
the object
is an
instance
of
table
and
a process
is an
instance
of
eating
and
an agent
is an
agent
of
the process
and
the agent
is an
instance
of
group of people
and
the process
is
located
at
2
,
then the statement there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the agent
is not
equal
to
the entity
and
the entity
is an
instance
of
group of people
and
the other entity
is
located
at
2
and the
time
of existence of
the process
meet
s the
time
of existence of
the other entity
and
the object
is
equal
to
the object
2 has the
modal
force
of
possibility
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19943-19964
If
waiter
is an
attribute
of
a cognitive agent
and
the cognitive agent
is an
instance
of
human
and
another cognitive agent
employ
s
the cognitive agent
and
the other cognitive agent
is an
instance
of
restaurant
and
the other cognitive agent
is a
customer
of
a third cognitive agent
and
the third cognitive agent
is
located
at
an object
and
the object
is an
instance
of
table
,
then
the other cognitive agent
possess
es
another object
and
the other object
is an
instance
of
kitchen area
and
a third object
is an
instance
of
dining area
and
the object
is
located
at
the third object
and
the cognitive agent
has the purpose
an entity
is an
instance
of
carrying
and
the cognitive agent
is an
agent
of
the entity
and
the entity
originate
s at
the other object
and
the entity
end
s up at
the object
and
another entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
food
for
human
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29371-29380
If
a cognitive agent
buys
an entity
from
another cognitive agent
and
the entity
is an
instance
of
physical
,
then there exists
a process
such that
the process
is an
instance
of
buying
and
the entity
is a
patient
of
the process
and
the cognitive agent
is an
agent
of
the process
and
the process
originate
s at
the other cognitive agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29382-29392
If
a cognitive agent
buys
a proposition
from
another cognitive agent
and
the proposition
is an
instance
of
proposition
,
then there exist
a process
and
another process
such that
the cognitive agent
is an
agent
of
the process
and
the other process
express
es the content of
the proposition
and
the process
is an
instance
of
buying
and
the other process
is a
patient
of
the process
and
the process
originate
s at
the other cognitive agent
No TPTP formula. May not be expressible in strict first order.
TransportDetail.kif 153-171
If
an organization
is
capable
of doing
valet parking
as a
agent
and
the organization
is a
customer
of
a cognitive agent
and
the organization
is
located
at
an object
and
a process
is an
instance
of
arriving
and
the cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the process
end
s up at
the object
,
then
a human
holds the
position
of
valet
in
the organization
and the statement there exists
another entity
such that
the other entity
is an
instance
of
valet parking
and
the human
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
and
the other entity
end
s up at
a third entity
and
the third entity
is an
instance
of
parking area
has the
modal
force
of
possibility
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 663-674
If one must
check
out
before
a time point
at
a cognitive agent
and
another cognitive agent
is a
guest
at
the cognitive agent
,
then
the cognitive agent
expects
there exist
an entity
and
another entity
such that
the entity
is an
instance
of
the time point
and
the other cognitive agent
is a
patient
of
the other entity
and
the other entity
is an
instance
of
check-out service
and
the cognitive agent
is an
agent
of
the other entity
and the
beginning
of the
time
of existence of
the other entity
happens
before
the entity
will be true
No TPTP formula. May not be expressible in strict first order.
Government.kif 1129-1149
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.
Dining.kif 130-150
If
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive agent
charges
a currency measure
in
corkage
for
a kind of object
and
another object
is an
instance
of
a kind of object
and there doesn't exist
a process
such that
the process
is an
instance
of
buying
and
the other object
is a
patient
of
the process
and
the process
end
s up at
the other cognitive agent
and
the process
originate
s at
the cognitive agent
and
another process
is an
instance
of
drinking
and
the other cognitive agent
is an
agent
of
the other process
and
the other object
is a
resource
for
the other process
,
then there exists
a third process
such that
the third process
is an
instance
of
corkage
and
the other cognitive agent
is an
agent
of
the third process
and
the third process
includes a
reference
to
the other object
and
the third process
end
s up at
the cognitive agent
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.
Government.kif 1238-1245
For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING
if ?ELECTION is an
instance
of the
election
of ?AGENT and ?VOTING is an
instance
of the
voting
of ?ELECTION and ?VOTER is an
agent
of ?VOTING,
then
male
is an
attribute
of ?VOTER
contain
s information
exclusive male suffrage
No TPTP formula. May not be expressible in strict first order.
Government.kif 920-928
For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER
if ?COUNTRY is an
instance
of
nation
and ?ELECTION is an
instance
of the
election
of ?COUNTRY and ?VOTING is an
instance
of the
voting
of ?ELECTION and ?VOTER is an
agent
of ?VOTING,
then ?VOTER is a
citizen
of ?COUNTRY
contain
s information
voter citizenship requirement
No TPTP formula. May not be expressible in strict first order.
Government.kif 1089-1100
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 1157-1171
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.
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
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