equal
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
instance
?SPEED
FunctionQuantity
))
Weather.kif 1994-1999
如果
串列
equal
在
时距
时间结束以前, 发生在区域
地理区域
的
Mean3SecondWindSpeedListFn
(平均3秒风速表列) 和
实体
是
那个 串列
的
member
,
然后
那个 实体
是
函数量
的
instance
(=>
(
and
(
equal
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
茶树空中部分
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
TeaPlant
的
initially
part
(=>
(
and
(
equal
?V
(
VarianceFn
?L))
(
equal
?M
(
AverageFn
?L)))
(
equal
?V
(
DivisionFn
(
VarianceAverageFn
?M ?L)
(
ListLengthFn
?L))))
Weather.kif 1471-1480
如果
实数
equal
方差函数
串列
和
另一个 实数
equal
AverageFn
那个 串列
,
然后
那个 实数
equal
方差均差函数
那个 另外 实数
and
那个 串列
和
那个 串列
的长度
(=>
(
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
如果
实数
equal
方差均差函数
另一个 实数
and
串列
和 1
equal
那个 串列
的长度,
然后
那个 实数
equal
(
那个 另外 实数
和
那个 串列
的第 1 几个元素) 和 (
那个 另外 实数
和
那个 串列
的第 1 几个元素)
(=>
(
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
如果
实数
equal
方差均差函数
数字
and
串列
和
那个 串列
的长度 是
greaterThan
1,
然后
那个 实数
equal
(
方差均差函数
那个 数字
and
那个 串列
的第 1 几个元素 和
方差均差函数
那个 数字
and
SubListFn
2,
那个 串列
的长度 and
那个 串列
)
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
BalsaWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
BalsaTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
BeechWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
BeechTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
BirchWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
BirchTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
CedarWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
CedarTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
CherryWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
BlackCherryTree
的
initially
part
或 %每个
那个 另外 有点 客体
是
SweetCherryTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
FirWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
FirTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
Hardwood
的
subclass
和
有点 有机物体
是
PlantStem
的
subclass
,
然后 %每个
那个 有点 有机物体
是
DeciduousTree
的
initially
part
的声明 has
容易
的语气
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
LarchWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
LarchTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
MapleWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
MapleTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
OkoumeWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
奥古曼树
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
PineWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
松树
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
PoplarWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
PoplarTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
RedOakWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
RedOakTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
SapeleWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
SapeleTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
Softwood
的
subclass
和
有点 有机物体
是
PlantStem
的
subclass
,
然后 %每个
那个 有点 有机物体
是
Conifers
的
initially
part
的声明 has
容易
的语气
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
SpruceWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
SpruceTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
WalnutWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
WalnutTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
WhiteOakWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
WhiteOakTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
WoodProduct
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 有存在
第三 有点 客体
这样
第三 有点 客体
是
植物树
的
subclass
和 %每个
那个 另外 有点 客体
是
那个 第三 有点 客体
的
initially
part
(=>
(
and
(
equal
?X
(
ABPFn
?BUYINGS))
(
member
?BUYING ?BUYINGS))
(
instance
?BUYING
Buying
))
UXExperimentalTerms.kif 3231-3235
如果
货币测量
equal
群体
的
average
price
和
物理
是
那个 群体
的
member
,
然后
那个 物理
是
购买
的
instance
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