equal
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
instance
?SPEED
FunctionQuantity
))
Weather.kif 1994-1999
If
a list
is
equal
to
Mean3SecondWindSpeedListFn
ending at
a time interval
in region
a geographic area
and
an entity
is a
member
of
the list
,
then
the entity
is an
instance
of
function quantity
(=>
(
and
(
equal
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
tea plant aerial part
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
TeaPlant
(=>
(
and
(
equal
?V
(
VarianceFn
?L))
(
equal
?M
(
AverageFn
?L)))
(
equal
?V
(
DivisionFn
(
VarianceAverageFn
?M ?L)
(
ListLengthFn
?L))))
Weather.kif 1471-1480
If
a real number
is
equal
to The
VarianceFn
a list
and
another real number
is
equal
to the
average
of the numbers in
the list
,
then
the real number
is
equal
to
VarianceAverageFn
of
the list
with the mean of
the other real number
and
length
of
the list
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?VA
(
MultiplicationFn
(
SubtractionFn
?M
(
ListOrderFn
?L 1))
(
SubtractionFn
?M
(
ListOrderFn
?L 1)))))
Weather.kif 1482-1493
If
a real number
is
equal
to
VarianceAverageFn
of
a list
with the mean of
another real number
and 1 is
equal
to
length
of
the list
,
then
the real number
is
equal
to (
the other real number
and 1th
element
of
the list
) and (
the other real number
and 1th
element
of
the list
)
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?VA
(
AdditionFn
(
VarianceAverageFn
?M
(
ListOrderFn
?L 1))
(
VarianceAverageFn
?M
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Weather.kif 1449-1461
If
a real number
is
equal
to
VarianceAverageFn
of
a list
with the mean of
a number
and
length
of
the list
is
greater
than 1,
then
the real number
is
equal
to (
VarianceAverageFn
of 1th
element
of
the list
with the mean of
the number
and
VarianceAverageFn
of the sub-list from 2 to
length
of
the list
of
the list
with the mean of
the number
)
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Balsa wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Balsa tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Beech wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Beech tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Birch wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Birch tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Cedar wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Cedar tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
cherry wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
black cherry tree
or every
the other kind of object
is
initially
part
of a
sweet cherry tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
fir wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Fir tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
hardwood
and
a kind of organic object
is a
subclass
of
plant stem
,
then the statement every
the kind of organic object
is
initially
part
of a
deciduous tree
has the
modal
force
of
likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
larch wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
larch tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
maple wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
maple tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Okoume wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
okoume tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
PineWood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
pine tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Poplar wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Poplar tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
red oak wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
red oak tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Sapele wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Sapele tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
softwood
and
a kind of organic object
is a
subclass
of
plant stem
,
then the statement every
the kind of organic object
is
initially
part
of a
conifers
has the
modal
force
of
likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Spruce wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Spruce tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
walnut wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
walnut tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
white oak wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
white oak tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
wood product
and
another kind of object
is a
subclass
of
plant stem
,
then there exists
a third kind of object
such that
a third kind of object
is a
subclass
of
botanical tree
and every
the other kind of object
is
initially
part
of a
the third kind of object
(=>
(
and
(
equal
?X
(
ABPFn
?BUYINGS))
(
member
?BUYING ?BUYINGS))
(
instance
?BUYING
Buying
))
UXExperimentalTerms.kif 3231-3235
If
a currency measure
is
equal
to the
average
price
of
a collection
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
buying
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