instance
(<=>
(
instance
?C
Calf
)
(
and
(
instance
?C
Cattle
)
(
attribute
?C
NonFullyFormed
)))
Mid-level-ontology.kif 20209-20213
An object
is an
instance
of
calf
if and only if
the object
is an
instance
of
cattle
and
non fully formed
is an
attribute
of
the object
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8333-8335
A geopolitical area
is an
instance
of
city
if and only if the
government
of
the geopolitical area
is an
instance
of
city government
(<=>
(
instance
?CS
ConjugatedSubstance
)
(
exists
(?C1 ?C2 ?P)
(
and
(
instance
?C1
CompoundSubstance
)
(
instance
?C2
CompoundSubstance
)
(
not
(
equal
?C1 ?C2))
(
instance
?P
ChemicalSynthesis
)
(
resource
?P ?C1)
(
resource
?P ?C2)
(
result
?P ?CS))))
Mid-level-ontology.kif 6478-6488
An entity
is an
instance
of
conjugated substance
if and only if there exist
an object
,
another object
and
a process
such that
the object
is an
instance
of
compound substance
and
the other object
is an
instance
of
compound substance
and
the object
is not
equal
to
the other object
and
the process
is an
instance
of
chemical synthesis
and
the object
is a
resource
for
the process
and
the other object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(<=>
(
instance
?Collateral
Collateral
)
(
exists
(?Loan)
(
and
(
instance
?Loan
SecuredLoan
)
(
securedBy
?Loan ?Collateral))))
FinancialOntology.kif 1321-1326
A collateral
is an
instance
of
collateral
if and only if there exists
a financial account
such that
the financial account
is an
instance
of
secured loan
and
the collateral
is a
secured
by of
the financial account
(<=>
(
instance
?DISTRICT
CityDistrict
)
(
exists
(?CITY)
(
and
(
instance
?CITY
City
)
(
geopoliticalSubdivision
?DISTRICT ?CITY))))
Mid-level-ontology.kif 8080-8085
A geopolitical area
is an
instance
of
city district
if and only if there exists
another geopolitical area
such that
the other geopolitical area
is an
instance
of
city
and
the geopolitical area
is a
geopolitical
part of
the other geopolitical area
(<=>
(
instance
?DV
DamagedVehicle
)
(
and
(
instance
?DV
Vehicle
)
(
attribute
?DV
DeviceDamaged
)))
Mid-level-ontology.kif 30094-30098
An object
is an
instance
of
damaged vehicle
if and only if
the object
is an
instance
of
vehicle
and
device damaged
is an
attribute
of
the object
(<=>
(
instance
?H
Hen
)
(
and
(
instance
?H
Chicken
)
(
attribute
?H
Female
)))
Mid-level-ontology.kif 20232-20236
An object
is an
instance
of
hen
if and only if
the object
is an
instance
of
chicken
and
female
is an
attribute
of
the object
(<=>
(
instance
?Hardware
ComputerHardware
)
(
exists
(?Computer)
(
and
(
instance
?Computer
Computer
)
(
component
?Hardware ?Computer))))
QoSontology.kif 63-68
A corpuscular object
is an
instance
of
computer hardware
if and only if there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
computer
and
the corpuscular object
is a
component
of
the other corpuscular object
(<=>
(
instance
?ICE
Ice
)
(
and
(
instance
?ICE
Water
)
(
attribute
?ICE
Solid
)))
Mid-level-ontology.kif 8979-8983
An object
is an
instance
of
ice
if and only if
the object
is an
instance
of
water
and
solid
is an
attribute
of
the object
(<=>
(
instance
?Index
InflationIndex
)
(
exists
(?Inflation)
(
and
(
instance
?Inflation
Inflation
)
(
benchmark
?Inflation ?Index))))
FinancialOntology.kif 1668-1673
A performance measure
is an
instance
of
inflation index
if and only if there exists
an abstract
such that
the abstract
is an
instance
of
Inflation
and
the performance measure
is a
benchmark
of
the abstract
(<=>
(
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
?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
?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
(<=>
(
laborForceFractionByOccupationInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
laborForceFractionByOccupation
?AREA ?SECTOR ?FRACTION)))))
Economy.kif 1419-1424
A geopolitical area
labor
force fraction by occupation in period
an attribute
for
a real number
with
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the geopolitical area
labor
force fraction by occupation
the attribute
for
the real number
holds
during
the time position
(<=>
(
laborForceTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
laborForceTotal
?AREA ?AMOUNT)))))
Economy.kif 1373-1378
A geopolitical area
is
labor
force total in period
a nonnegative real number
for
a kind of time interval
if and only if there exists
a time position
such that
the time position
is an
instance
of
a kind of time interval
and
the nonnegative real number
is a
labor
force total of
the geopolitical area
holds
during
the time position
(<=>
(
larger
?OBJ1 ?OBJ2)
(
forall
(?QUANT1 ?QUANT2 ?UNIT)
(=>
(
and
(
measure
?OBJ1
(
MeasureFn
?QUANT1 ?UNIT))
(
measure
?OBJ2
(
MeasureFn
?QUANT2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
greaterThan
?QUANT1 ?QUANT2))))
Merge.kif 7758-7766
An object
is
larger
than
another object
if and only if for all
a real number
,
another real number
and
an unit of measure
if the
measure
of
the object
is
the real number
the unit of measure
(s) and the
measure
of
the other object
is
the other real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of length
,
then
the real number
is
greater
than
the other real number
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
A length measure
is a
length
of broad gauge railway of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
A length measure
is a
length
of crude oil pipeline of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
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