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
destination
Sigma KEE - destination
destination
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1868-1871
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2360-2366
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2356-2356
The number 1 argument of
destination
is an
instance
of
process
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2357-2357
The number 2 argument of
destination
is an
instance
of
entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2354-2354
destination
is an
instance
of
case role
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2355-2355
destination
is an
instance
of
partial valued relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2358-2358
destination
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 93-93
No TPTP formula. May not be expressible in strict first order.
english_format.kif 93-93
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19263-19263
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 94-94
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19262-19262
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19261-19261
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1788-1798
A process
is an
instance
of
withdrawal
and
a financial account
is an
instance
of
financial account
and
the process
originate
s at the
currency
of
the financial account
and there doesn't exist
another process
such that
the other process
is an
instance
of
penalty
and
the other process
end
s up at the
currency
of
the financial account
and
the process
cause
s
the other process
if and only if the
liqudity
of
the financial account
is
high liquidity
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29139-29148
If
an object
between
on path
another object
for
a third object
and
a transfer
is an
instance
of
transfer
and
a fourth object
is
path
along which
the transfer
occurs and
the transfer
originate
s at
the object
and
the transfer
end
s up at
the third object
,
then
the object
before
the other object
on path
the fourth object
during
the transfer
and
the other object
before
the third object
on path
the fourth object
during
the transfer
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.
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.
Communications.kif 202-214
If
a process
end
s up at
an object
and
the process
is an
instance
of
messaging
and
an entity
is a
patient
of
the process
and
the object
is an
instance
of
telex
,
then there exist
another process
and
another entity
such that
the object
is an
instrument
for
the other process
and
the other entity
is a
result
of
the other process
and
the other entity
express
es
the entity
and
the other entity
is an
instance
of
text
and the
beginning
of the
time
of existence of
the process
happens
before
the
beginning
of the
time
of existence of
the other process
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2585-2603
If the idle speed of
an internal combustion engine
is the rotation of
a real number
miles per hour
(s) during
a time duration
and
an object
is an
instance
of
automobile
and
a process
is an
instance
of
gas pedal
and
the process
is an
instance
of
pushing
and
the process
end
s up at
another object
and
the internal combustion engine
is a
part
of
the object
and
the other object
is a
part
of
the object
and
a third object
is an
instance
of
Crankshaft
and
the third object
is a
part
of
the internal combustion engine
and the
measure
of
the third object
is the rotation of
an entity
miles per hour
(s) during
the time duration
holds
during
the
time
of existence of
the process
,
then the statement
the entity
is
greater
than
the real number
has the
modal
force
of
likely
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 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.
Mid-level-ontology.kif 28980-28992
If
a process
is an
instance
of
Apologizing
and
the process
G is an
agent
of
the process
and
the process
end
s up at
another agent
,
then there exists
the process
CT such that
the other agent
suffers
from
the process
CT and
the process
G is an
agent
of
the process
CT and
the process
G doesn't
want
the process
CT holds
during
the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3966-3991
If
an AccessingWebPage
is an
instance
of
AccessingWebPage
and
an entity
is an
instance
of
WebPage
and
a process
is an
instance
of
data transfer
and
an object
is an
instance
of
server
and
another process
is an
instance
of
requesting
and
an agent
is an
instance
of
web browser
and
a time interval
is an
instance
of
time interval
and
the entity
is a
patient
of
the AccessingWebPage
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the object
and
the entity
is a
patient
of
the other process
and
the process
originate
s at
the object
and
the process
end
s up at
the agent
and
the entity
is a
patient
of
the process
and
the process
is a
subprocess
of
the AccessingWebPage
and
the other process
is a
subprocess
of
the AccessingWebPage
and the
end
of the
time
of existence of
the other process
is
equal
to the
beginning
of
the time interval
and the
end
of the
time
of existence of
the process
is
equal
to the
end
of
the time interval
,
then the time to
access
in
the AccessingWebPage
is
equal
to
the time interval
No TPTP formula. May not be expressible in strict first order.
Dining.kif 725-748
If
an agent
is an
instance
of
agent
and
a cognitive agent
is a
potential
customer
for
the agent
and the statement
an entity
is an
instance
of
reserving
and
the entity
end
s up at
the agent
has the
modal
force
of
necessity
and
probability
of there exists
the entity
ES1 such that
the entity
ES1 is an
instance
of
reservation
and
the cognitive agent
reserves
the entity
ES1 and
the agent
fulfills
the entity
ES1 provided that
the agent
is a
customer
of
the cognitive agent
holds is
a real number
and
probability
of there doesn't exist
the entity
ES2 such that
the entity
ES2 is an
instance
of
reservation
and
the cognitive agent
reserves
the entity
ES2 and
the agent
fulfills
the entity
ES2 provided that
the agent
is a
customer
of
the cognitive agent
holds is
another real number
,
then
the other real number
is
less
than
the real number
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 718-734
If
a liability account
is an
instance
of
liability account
and
the liability account
is
minimum
payment
a real number
an unit of measure
(s) for
month duration
and
the unit of measure
is an
instance
of
UnitOfCurrency
and there exist
a process
and
a time interval
such that
the time interval
is an
instance
of
month
and
the process
end
s up at the
currency
of
the liability account
and
the liability account
payments
per period
another real number
the unit of measure
(s) for
the time interval
and
the other real number
is
less
than
the real number
,
then there exists
another process
such that
the other process
is an
instance
of
penalty
and
the other process
end
s up at the
currency
of
the liability account
No TPTP formula. May not be expressible in strict first order.
Music.kif 1249-1257
If
an entity
is an
instance
of
bell
and
a process
is an
instance
of
impacting
and
the process
end
s up at
the entity
,
then there exists
another process
such that
the other process
is an
instance
of
musical tone
and
the process
cause
s
the other process
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18003-18019
If
a transfer
is an
instance
of
bequeathing
and
an agent
is an
agent
of
the transfer
and
the transfer
end
s up at
an entity
and the object transferred in
the transfer
is
the agent
ROP,
then there exists
a process
such that
the process
is an
instance
of
death
and
the agent
experience
s
the process
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the transfer
and
the agent
possess
es
the agent
ROP holds
during
immediately
before
the
time
of existence of
the process
and
the agent
confers
norm
the entity
possess
es
the agent
ROP for
permission
No TPTP formula. May not be expressible in strict first order.
Cars.kif 693-707
If
an object
is an
instance
of
brake pedal
and
a process
is an
instance
of
pushing
and
another object
is an
instance
of
vehicle
and
the process
end
s up at
the object
and
the process
is
located
at
2
and
the object
is a
part
of
the other object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
wearing friction surface
and
the other entity
is an
instance
of
friction
and
the entity
is an
instrument
for
the other entity
and
the process
cause
s
the other entity
No TPTP formula. May not be expressible in strict first order.
Dining.kif 540-556
If
a process
is an
instance
of
catering
and
a cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the process
UST and
the cognitive agent
is
located
at
an object
and
the cognitive agent
is a
customer
of
the process
UST and there exist
another process
,
an entity
and
a third process
such that
the other process
is an
instance
of
cooking
and
the cognitive agent
is an
agent
of
the other process
and
the entity
is a
result
of
the other process
and
the entity
is a
patient
of
the process
and
the third process
is an
instance
of
eating
and
the process
UST is an
agent
of
the third process
and
the third process
is
located
at
2
,
then
the object
is not
equal
to
another entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11210-11220
If
a process
is an
instance
of
change of possession
and
the process
originate
s at
an object
and
the process
end
s up at
an entity
and
the object
is an
instance
of
agent
and
the entity
is an
instance
of
agent
and
another entity
is a
patient
of
the process
,
then
the object
possess
es
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
possess
es
the other entity
holds
during
the
end
of the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20778-20783
If
a process
is an
instance
of
closing contract
and
an agent
is an
agent
of
the process
and
the process
end
s up at
a cognitive agent
,
then
the agent
is a
party
to agreement of
the cognitive agent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 171-177
If
a certificate
is an
instance
of
pay check
and
a cognitive agent
is an
issued
by of
the certificate
and
a process
is an
instance
of
giving
and
the process
end
s up at
an agent
,
then
the agent
employ
s
the cognitive agent
No TPTP formula. May not be expressible in strict first order.
Dining.kif 507-516
If
a process
is an
instance
of
delivery service
and
the process
end
s up at
an entity
and
a geographic area
is the
delivery
area of
an agent
and
probability
of
the entity
is
located
at
the geographic area
provided that
the agent
is an
agent
of
the process
holds is
a real number
and
probability
of
the entity
is not
located
at
the geographic area
provided that
the agent
is an
agent
of
the process
holds is
another real number
,
then
the other real number
is
less
than
the real number
No TPTP formula. May not be expressible in strict first order.
Dining.kif 519-524
If
a process
is an
instance
of
delivery service
and
the process
originate
s at
an object
and
the process
end
s up at
an entity
,
then
the object
is not
equal
to
the entity
No TPTP formula. May not be expressible in strict first order.
MilitaryPersons.kif 228-235
If
a process
is an
instance
of
damaging
and
an agent
is an
agent
of
the process
and
the process
end
s up at
a cognitive agent
and
the cognitive agent
is an
instance
of
cognitive agent
,
then
the cognitive agent
believe
s
dangerous
is an
attribute
of
the agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22978-22984
If
a process
is an
instance
of
driving
and
another process
is a
subprocess
of
the process
and
the other process
is an
instance
of
transportation
and
the process
end
s up at
an entity
,
then
the other process
end
s up at
the entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11141-11146
If
a process
is an
instance
of
falling
and
the process
originate
s at
an object
and
the process
end
s up at
another object
,
then
the other object
is
below
to
the object
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 428-436
If
a financial transaction
is an
instance
of
deposit
and
a financial account
is an
instance
of
financial account
and
the financial transaction
end
s up at the
currency
of
the financial account
and
a real number
is a
transaction
amount of
the financial transaction
and
the financial account
current
account balance immediately
before
the
time
of existence of
the financial transaction
for
another real number
and
a third real number
is
equal
to (
the other real number
and
the real number
),
then
the financial account
current
account balance immediately
after
after
the financial transaction
for
the third 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 7370-7376
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 3600-3607
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.
Merge.kif 11285-11297
There exists
a process
such that
the process
is an
instance
of
borrowing
and
an agent
is an
agent
of
the process
and
the process
originate
s at
another agent
and
an entity
is a
patient
of
the process
if and only if there exists
another process
such that
the other process
is an
instance
of
lending
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and
the entity
is a
patient
of
the other process
No TPTP formula. May not be expressible in strict first order.
Merge.kif 11447-11459
There exists
a process
such that
the process
is an
instance
of
buying
and
an agent
is an
agent
of
the process
and
the process
originate
s at
another agent
and
an entity
is a
patient
of
the process
if and only if there exists
another process
such that
the other process
is an
instance
of
selling
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and
the entity
is a
patient
of
the other process
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 674-682
An entity
is an
instance
of
feedback
if and only if there exist
a resource management program
,
a computer process
and
a software system
such that
the software system
is a
rM
program-of of
the resource management program
and
the software system
is a
program
running of
the computer process
and
a process
is an
instance
of
data transfer
and
the entity
is a
patient
of
the process
and
the process
end
s up at
the resource management program
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16244-16253
If
a human
's
almaMater
is
a post secondary school
,
then there exists
a process
such that
the process
is an
instance
of
educational process
and
the process
end
s up at
the human
and
the process
is
located
at
2
and
student
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.
FinancialOntology.kif 463-475
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.
FinancialOntology.kif 615-627
If
a financial account
amount
due
a currency measure
for
a time position
and
a cognitive agent
holds
account
the financial account
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
Music.kif 406-417
If
demo recording
is an
attribute
of
an object
and
the object
is an
instance
of
recording
,
then
the object
has the purpose there exist
an entity
,
another entity
and
the object
USIC such that
the entity
is an
instance
of
demonstrating
and
the object
is a
record
of
the object
USIC and
the object
USIC is a
patient
of
the entity
and
the entity
end
s up at
the other entity
and
the other entity
is an
instance
of
group of people
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19892-19913
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.
FinancialOntology.kif 1215-1225
If
a loan
is the
borrower
of
a cognitive agent
and
another cognitive agent
lends
the loan
and
a time interval
is an
agreement
period of
the loan
and
the loan
is
interest
earned
an interest
for
the time interval
,
then there exists
a financial transaction
such that
the financial transaction
originate
s at
the cognitive agent
and
the interest
is a
transaction
amount of
the financial transaction
and
the financial transaction
end
s up 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.
ComputingBrands.kif 3511-3515
If
%1 is a connected peripheral of %2
a kind of process
and
a computer
and
a kind of process
is an
instance
of
computer output device
,
then
data transfer
is
capable
of doing
the kind of process
as a
destination
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.
Hotel.kif 2365-2380
If
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive agent
employ
s
a third cognitive agent
and
traveler accommodation
is an
attribute
of
the cognitive agent
and
porter
is an
attribute
of
the third cognitive agent
and
the other cognitive agent
possess
es
an object
and
the object
is an
instance
of
travel container
,
then there exist
another object
and
a process
such that
the other object
is an
instance
of
hotel unit
and
the process
is an
instance
of
carrying
and
the third cognitive agent
is an
agent
of
the process
and
the process
end
s up at
the other object
or
the process
originate
s at
the other object
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 766-774
If
a currency measure
is a
down
payment of
a loan
and
a time point
is an
agreement
effective date of
the loan
,
then there exists
a financial transaction
such that
the currency measure
is a
transaction
amount of
the financial transaction
and
date
of
the financial transaction
is
the time point
and
the financial transaction
end
s up at the
currency
of
the loan
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1325-1336
If
an engineering component
is a
component
of
internet
and
another engineering component
is a
component
of
internet
and
the engineering component
is not
equal
to
the other engineering component
,
then
internet
has the purpose there exists
an entity
such that
the entity
is an
instance
of
communication
and
the engineering component
is an
agent
of
the entity
and
the entity
end
s up at
the other engineering component
and
internet
is an
instrument
for
the entity
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2567-2583
If the
measure
of
an object
is
a function quantity
holds
during
a time position
and the idle speed of
an internal combustion engine
is
the function quantity
and
another object
is an
instance
of
automobile
and
the internal combustion engine
is a
part
of
the other object
and
the object
is a
part
of
the internal combustion engine
,
then the statement there don't exist
an entity
and
another entity
such that
the entity
takes place
during
the time position
and
the entity
is an
instance
of
pushing
and
the entity
end
s up at
the other entity
and
the other entity
is a
part
of
the other object
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
MilitaryPersons.kif 151-167
If
expellee
is an
attribute
of
an entity
and
the entity
is a
citizen
of
another entity
-NATION holds
during
a time position
and
the time position
is an
instance
of
time interval
,
then there exist
a process
and
an object
such that
the object
is an
instance
of
nation
and
the object
is not
equal
to
the other entity
-NATION and
the process
is an
instance
of
translocation
and
the process
originate
s at
the object
and
the entity
is a
patient
of
the process
and
the process
end
s up at
the other entity
-NATION and
the time position
is a
part
of the
time
of existence of
the process
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10617-10627
If
an object
is an
instance
of
pulmonary artery
and
a process
is an
instance
of
transfer
and
an entity
is a
patient
of
the process
and
the object
is an
instrument
for
the process
and
the entity
is an
instance
of
blood
,
then there exists
another entity
such that
the other entity
is an
instance
of
lung
and
the process
end
s up at
the other entity
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 437-448
If
a process
is an
instance
of
auction
and
an agent
is an
instance
of
agent
and
another agent
is an
instance
of
agent
and
an object
is an
instance
of
object
and
an unit of measure
is an
instance
of
UnitOfCurrency
and
the object
is a
patient
of
the process
and
the agent
bids
a real number
the unit of measure
(s) for
the object
and
the other agent
bids
another real number
the unit of measure
(s) for
the object
and
the real number
is
greater
than
the other real number
,
then
the process
end
s up at
the agent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1166-1176
If
a financial account
is an
instance
of
credit account
and
the financial account
is
held
by
a financial organization
and
a cognitive agent
holds
account
the financial account
and
the financial account
is
interest
earned
an interest
for
a time interval
,
then there exists
a financial transaction
such that
the financial transaction
originate
s at
the cognitive agent
and
the interest
is a
transaction
amount of
the financial transaction
and
the financial transaction
end
s up at
the financial organization
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 646-659
If
a financial account
is an
instance
of
financial account
and
the financial account
is
minimum
balance
opening an account
for
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
UnitOfCurrency
,
then there exists
a financial transaction
such that
the financial transaction
end
s up at the
currency
of
the financial account
and
another real number
the unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the other real number
is
greater
than or equal to
the real number
and
a time point
is an
agreement
effective date of
the financial account
and
date
of
the financial transaction
is
the time point
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 661-674
If
a financial account
is an
instance
of
financial account
and
the financial account
is
minimum
balance
using an account
for
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
UnitOfCurrency
and
the financial account
current
account balance
a day
for
another real number
the unit of measure
(s) and
the other real number
is
less
than
the real number
,
then there exists
a process
such that
the process
is an
instance
of
penalty
and
date
of
the process
is
the day
and
the process
end
s up at the
currency
of
the financial account
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 718-734
If
a liability account
is an
instance
of
liability account
and
the liability account
is
minimum
payment
a real number
an unit of measure
(s) for
month duration
and
the unit of measure
is an
instance
of
UnitOfCurrency
and there exist
a process
and
a time interval
such that
the time interval
is an
instance
of
month
and
the process
end
s up at the
currency
of
the liability account
and
the liability account
payments
per period
another real number
the unit of measure
(s) for
the time interval
and
the other real number
is
less
than
the real number
,
then there exists
another process
such that
the other process
is an
instance
of
penalty
and
the other process
end
s up at the
currency
of
the liability account
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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
