instance
(<=>
(
instance
?Index
StockIndex
)
(
exists
(?Stock)
(
and
(
instance
?Stock
Stock
)
(
benchmark
?Index ?Stock))))
FinancialOntology.kif 1696-1701
An abstract
is an
instance
of
stock index
if and only if there exists
a performance measure
such that
the performance measure
is an
instance
of
stock
and
the performance measure
is a
benchmark
of
the abstract
(<=>
(
instance
?L
Lamb
)
(
and
(
instance
?L
Sheep
)
(
attribute
?L
NonFullyFormed
)))
Mid-level-ontology.kif 20186-20190
An object
is an
instance
of
lamb
if and only if
the object
is an
instance
of
sheep
and
non fully formed
is an
attribute
of
the object
(<=>
(
instance
?Loan
SecuredLoan
)
(
exists
(?Security)
(
securedBy
?Loan ?Security)))
FinancialOntology.kif 1348-1351
A financial account
is an
instance
of
secured loan
if and only if there exists
a collateral
such that
the collateral
is a
secured
by of
the financial account
(<=>
(
instance
?NUMBER
NegativeRealNumber
)
(
and
(
lessThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1948-1952
A real number
is an
instance
of
negative real number
if and only if
the real number
is
less
than 0 and
the real number
is an
instance
of
real number
(<=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
and
(
greaterThanOrEqualTo
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1926-1930
A real number
is an
instance
of
nonnegative real number
if and only if
the real number
is
greater
than or equal to 0 and
the real number
is an
instance
of
real number
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1937-1941
A real number
is an
instance
of
positive real number
if and only if
the real number
is
greater
than 0 and
the real number
is an
instance
of
real number
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
An organization
is an
instance
of
government organization
if and only if
the organization
is an
instance
of
government
or there exists
another organization
such that
the other organization
is an
instance
of
government
and
the organization
is a part of the organization
the other organization
(<=>
(
instance
?R
Rooster
)
(
and
(
instance
?R
Chicken
)
(
attribute
?R
Male
)))
Mid-level-ontology.kif 20241-20245
An object
is an
instance
of
rooster
if and only if
the object
is an
instance
of
chicken
and
male
is an
attribute
of
the object
(<=>
(
instance
?RR
BroadGaugeRailway
)
(
property
?RR
BroadGauge
))
Transportation.kif 411-413
An entity
is an
instance
of
broad gauge railway
if and only if
the entity
the
attribute
broad gauge
(<=>
(
instance
?RR
DualGaugeRailway
)
(
property
?RR
DualGauge
))
Transportation.kif 469-471
An entity
is an
instance
of
dual gauge railway
if and only if
the entity
the
attribute
dual gauge railway
(<=>
(
instance
?RR
NarrowGaugeRailway
)
(
property
?RR
NarrowGauge
))
Transportation.kif 460-462
An entity
is an
instance
of
narrow gauge railway
if and only if
the entity
the
attribute
narrow gauge
(<=>
(
instance
?RR
StandardGaugeRailway
)
(
property
?RR
StandardGauge
))
Transportation.kif 443-445
An entity
is an
instance
of
standard gauge railway
if and only if
the entity
the
attribute
standard gauge
(<=>
(
instance
?STATE
StateOrProvince
)
(
instance
(
GovernmentFn
?STATE)
StateGovernment
))
Mid-level-ontology.kif 8326-8328
A geopolitical area
is an
instance
of
state or province
if and only if the
government
of
the geopolitical area
is an
instance
of
state government
(<=>
(
instance
?VERT
Vertebrate
)
(
exists
(?SPINE)
(
and
(
instance
?VERT
Animal
)
(
component
?SPINE ?VERT)
(
instance
?SPINE
SpinalColumn
))))
Mid-level-ontology.kif 10944-10950
A corpuscular object
is an
instance
of
vertebrate
if and only if there exists
another corpuscular object
such that
the corpuscular object
is an
instance
of
animal
and
the other corpuscular object
is a
component
of
the corpuscular object
and
the other corpuscular object
is an
instance
of
spinal column
(<=>
(
instance
?X
DifferentialEquation
)
(
instance
?X
(
AttrFn
Equation
DifferentialAttribute
)))
engineering.kif 155-157
An entity
is an
instance
of
differential equation
if and only if
the entity
is an
instance
of the
attr
of
equation
and
differential attribute
(=>
(
and
(?ROLE ?EVENT ?OBJ)
(
instance
?ROLE
CaseRole
)
(
instance
?EVENT
Process
)
(
instance
?OBJ
Object
))
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT))
Mid-level-ontology.kif 23252-23258
If
a case role
a process
and
an object
and
the case role
is an
instance
of
case role
and
the process
is an
instance
of
process
and
the object
is an
instance
of
object
,
then
the object
plays
role in event
the case role
for
the process
(=>
(
and
(
abbreviatedDisplayTitle
?STRING ?CBP-TYPE ?LANGUAGE)
(
instance
?X ?CBP-TYPE))
(
abbreviation
?STRING ?X))
Media.kif 3165-3169
If
a symbolic string
is the
short
title
of
an entity
-TYPE in
a language
and
another entity
is an
instance
of
the entity
-TYPE,
then
the symbolic string
is an
abbreviation
of
the other entity
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20760-20767
If
a human
&actedIn
a content bearing physical
. and
a process
is an
instance
of
dramatic acting
and
the human
is a
patient
of
the process
and
the content bearing physical
is a
result
of
the process
,
then
actor
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18837-18843
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
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
If
a time point
is an
agreement
effective date of
an agreement
and
the agreement
obligate
s
a cognitive agent
to perform task of the type
a formula
and
a time position
is an
instance
of
the time point
,
then
the cognitive agent
is
obliged
to perform tasks of type
the formula
holds
during
immediately
after
the time position
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersRight
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsRight
?FORMULA ?AGENT)))
Government.kif 721-726
If
a time point
is an
agreement
effective date of
an agreement
and
the agreement
allow
s
a cognitive agent
to perform task of the type
a formula
and
a time position
is an
instance
of
the time point
,
then
the cognitive agent
has the
right
to perform
the formula
holds
during
immediately
after
the time position
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 766-772
If
a kind of time position
is an
agreement
effective during of
a proposition
and
another time position
is an
instance
of
a kind of time position
and
a formula
is an
instance
of
formula
and
the formula
contain
s information
the proposition
,
then
the formula
holds
during
the other time position
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
If
an image
is the
image
on
an album
and
an object
is an
instance
of the
set
of copies on
a kind of data storage device
of
the album
and
a self connected object
contain
s
the object
,
then the statement
the image
is a
part
of the
front
of
the self connected object
has the
modal
force
of
likely
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6231-6244
If
allergic
a human
and
a kind of substance
and
a kind of substance
UB is an
instance
of
the kind of substance
and
the kind of substance
UB
meet
s
the human
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
allergic reaction
and
the human
experience
s
the other entity
and the
time
of existence of
the other entity
overlap
s
the time position
and the
beginning
of
the time position
happens
before
the
beginning
of the
time
of existence of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
If
amount
a kind of substance
,
a corpuscular object
and
a real number
an unit of mass
(s) and
a kind of substance
I is an
instance
of
the kind of substance
and the
measure
of
the kind of substance
I is
the real number
2
the unit of mass
(s) and
the kind of substance
I is a
part
of
the corpuscular object
,
then there exists
a list
such that
the real number
2
the unit of mass
(s) is a
member
of
the list
and
the list
is
equal
to
Amounts fn
the kind of substance
,
the corpuscular object
and
the unit of mass
and
the real number
is
equal
to the
sum
of
the list
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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