Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
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
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
SpruceWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
SpruceTree
的
initially
part
(=>
(
equal
?P
(
PlantFn
WineGrape
))
(
subclass
?P
GrapeVine
))
Economy.kif 4732-4735
如果
有点 植物
equal
PlantFn
酿酒葡萄
,
然后
有点 植物
是
GrapeVine
的
subclass
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
如果
Catalog
是
SetMenu
的
instance
和
施事体
offers
拍卖样品在
那个 Catalog
和
有点 实体
是在
那个 Catalog
和
有点 实体
是
已准备食物
的
subclass
和
物理
是
类
的
instance
和
另一个 物理
是
那个 有点 实体
的
instance
和
那个 物理
不
equal
那个 另外 物理
和
那个 物理
是 对于
那个 施事体
1 的
price
货币测量
和
那个 另外 物理
是 对于
那个 施事体
2 的
price
另一个 货币测量
,
然后
那个 货币测量
equal
那个 另外 货币测量
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30018-30048
如果
过程
是
BreakingRecord
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
集合
,
类
,, ,
另一个 过程
,, ,
时点
,, ,
格角色
,, ,
客体
, and 和
实体
这样
那个 集合
是
集合
的
instance
和
那个 施事体
是
那个 集合
的
element
和
那个 类
是
过程
的
subclass
和
那个 客体
是
地区
的
instance
和
那个 时点
是
时点
的
instance
和
那个 实体
是
数量
的
instance
和
那个 另外 过程
是
那个 类
的
instance
和
那个 过程
提到
那个 实体
和
那个 实体
提到
那个 另外 过程
和
那个 施事体
对于
那个 另外 过程
在事件
那个 格角色
plays
角色 和
那个 另外 过程
是
located
在
那个 客体
和 不存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
那个 集合
的
instance
和
那个 另外 实体
不
equal
那个 施事体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 另外 实体
对于
那个 第三 实体
在事件
那个 格角色
plays
角色 和
那个 第三 实体
是
located
在
那个 客体
在
那个 时点
和
那个 过程
出现 的
time
的结束 间的时段
holdsDuring
(=>
(
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
(=>
(
equal
?X
(
PlantFn
SpeltWheatGrain
))
(
subclass
?X
SpeltWheatGrass
))
Economy.kif 4107-4110
如果
有点 植物
equal
PlantFn
SpeltWheatGrain
,
然后
有点 植物
是
SpeltWheatGrass
的
subclass
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
meat
的
subclass
,
然后
有点 有机物体
是
动物
的
subclass
(=>
(
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
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
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
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
PoplarWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
PoplarTree
的
initially
part
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
如果
有点 客体
是
PlantStem
的
subclass
和
有点 客体
equal
苜蓿
,
然后 %每个
那个 有点 客体
是
AlfalfaPlant
的
initially
part
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
如果
有点 植物
equal
PlantFn
Celery
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?C
(
AgentOfOrganismFn
YersiniaPestis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 401-404
如果
有点 生物制剂
equal
鼠疫耶尔森氏菌
的
biological
agent
,
然后
有点 生物制剂
是
危及生命的特工
的
subclass
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
客体
的
subclass
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是 一个
dead
有点 有机物体
的
instance
和
那个 另外 客体
是
那个 第三 客体
的
part
和
那个 第三 客体
是
那个 有点 有机物体
的
instance
(=>
(
equal
?CLASS
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?CLASS ?TYPE))
Geography.kif 6921-6923
如果
有点 地理区域
equal
另一个 有点 地理区域
所有的
instances
在
第三 地理区域
,
然后
有点 地理区域
是
另一个 有点 地理区域
的
subclass
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
如果
时距
是
那个 时距
_CLASS 的
instance
和
那个 时距
_CLASS 是
过程
的
subclass
和
AccessingWebPage
是
AccessingWebPage
的
instance
和
施事体
是
施事体
的
instance
和
那个 施事体
是
那个 时距
的
agent
和
那个 施事体
是
那个 AccessingWebPage
的
agent
和
那个 时距
在
那个 AccessingWebPage
时段内发生 和
物理
是
时距
的
instance
和 不存在
那个 时距
2 这样
那个 时距
2 是
那个 时距
_CLASS 的
instance
和
那个 施事体
是
那个 时距
2 的
agent
和
那个 时距
2 在
那个 AccessingWebPage
时段内发生 和
那个 时距
2 出现 的
time
的开始%n在
那个 时距
出现 的
time
的开始
before
发生 和
那个 AccessingWebPage
出现 的
time
的开始
equal
那个 物理
出现 的
time
的开始 和
那个 时距
出现 的
time
的开始
equal
那个 物理
出现 的
time
的结束,
然后
那个 AccessingWebPage
的
time
在 类别
那个 时距
_CLASS
equal
那个 物理
(=>
(
and
(
instance
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24194-24205
如果
物理
是
婚礼
的
instance
和
那个 物理
的
date
是
日
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
weddingAnniversary
那个 物理
and
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
那个 另外 有点 日
equal
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
如果
有点 植物
equal
PlantFn
Mint
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
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
?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
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
如果
有点 客体
是
PlantLeaf
的
subclass
和
有点 客体
equal
绿叶蔬菜
,
然后 %每个
那个 有点 客体
是
植物
的
initially
part
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18400-18405
如果
机构
equal
DepartmentOfPreventingFn
另一个 机构
and
有点 物理
和
有点 物理
是
过程
的
subclass
和
那个 机构
是
那个 另外 机构
Organization
的一部分,
然后
那个 机构
inhibits
那个 有点 物理
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
如果
有点 植物
equal
PlantFn
芝麻
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
如果
有点 植物
equal
PlantFn
Garlic
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24235-24245
如果
日
是
人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
那个 人类
的
birthday
是
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
那个 另外 有点 日
equal
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
如果
有点 植物
equal
PlantFn
Scallion
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?X
(
PlantFn
CommonWheatGrain
))
(
subclass
?X
CommonWheatGrass
))
Economy.kif 4066-4069
如果
有点 植物
equal
PlantFn
CommonWheatGrain
,
然后
有点 植物
是
CommonWheatGrass
的
subclass
(=>
(
equal
?X
(
PlantFn
DurumWheatGrain
))
(
subclass
?X
DurumWheatGrass
))
Economy.kif 4076-4079
如果
有点 植物
equal
PlantFn
DurumWheatGrain
,
然后
有点 植物
是
DurumWheatGrass
的
subclass
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
客体
的
subclass
,
然后
有点 有机物体
是
生物
的
subclass
或
那个 有点 有机物体
是
解剖结构
的
subclass
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
小羊皮
的
subclass
和
另一个 有点 客体
是
皮肤
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
羔羊
的
initially
part
(=>
(
equal
?P
(
PlantFn
Broccoli
))
(
subclass
?P
CabbagePlant
))
Food.kif 2396-2398
如果
有点 植物
equal
PlantFn
Broccoli
,
然后
有点 植物
是
CabbagePlant
的
subclass
(=>
(
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
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31383-31390
如果
applicableRelation
客体
and
关系
和
那个 客体
是
那个 客体
C 的
instance
和
那个 关系
的 1 数量 是
另一个 类
的
instance
,
然后
那个 客体
C
equal
那个 另外 类
或
那个 客体
C 是
那个 另外 类
的
subclass
(=>
(
equal
?X
(
PlantFn
EinkornWheatGrain
))
(
subclass
?X
EinkornWheatGrass
))
Economy.kif 4096-4099
如果
有点 植物
equal
PlantFn
EinkornWheatGrain
,
然后
有点 植物
是
EinkornWheatGrass
的
subclass
(=>
(
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
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
如果
有点 植物
equal
PlantFn
ButternutSquash
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
如果
有点 植物
equal
PlantFn
Strawberry
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
如果
有点 客体
是
水果
的
subclass
和
有点 客体
equal
黄瓜
,
然后 %每个
那个 有点 客体
是
CucumberPlant
的
initially
part
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
如果
有点 植物
equal
PlantFn
Mustard
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
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
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
PineWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
松树
的
initially
part
(=>
(
equal
?P
(
PlantFn
TamarindFruit
))
(
subclass
?P
BotanicalTree
))
Food.kif 3489-3491
如果
有点 植物
equal
PlantFn
TamarindFruit
,
然后
有点 植物
是
植物树
的
subclass
(=>
(
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
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1780-1788
如果
有点 客体
equal
另一个 有点 客体
跟
属性
的
attr
和
第三 客体
是
有点 客体
的
instance
,
然后
那个 第三 客体
是
另一个 有点 客体
的
instance
和
那个 有点 客体
是
那个 另外 有点 客体
的
subclass
和
那个 属性
是
那个 第三 客体
的
attribute
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
如果
有点 植物
equal
PlantFn
Parsley
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
如果
ADHD
是
施事体
的
attribute
和
ADHD
不 是
另一个 施事体
的
attribute
和
那个 施事体
不
equal
那个 另外 施事体
和
过程
是
类
的
instance
和
另一个 过程
是
那个 类
的
instance
和
那个 类
是
有意图的心理过程
的
subclass
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
的
duration
是
持续时间
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 持续时间
,
然后
那个 另外 持续时间
是
greaterThan
那个 持续时间
的声明 has
容易
的语气
(=>
(
and
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14623-14637
如果
有点 系列
是
期刊
的
subclass
和 系列
有点 系列
的第
另一个 正整数
卷
equal
有点 文本
和 系列
那个 有点 系列
的第
正整数
卷
equal
另一个 有点 文本
和
那个 正整数
是
greaterThan
那个 另外 正整数
和
过程
是
出版
的
instance
和
另一个 过程
是
出版
的
instance
和
第三 实体
是
有点 文本
的
instance
和
第四 实体
是
另一个 有点 文本
的
instance
和
那个 第三 实体
是
那个 过程
的
patient
和
那个 第四 实体
是
那个 另外 过程
的
patient
和
那个 过程
的
date
是
日
和
那个 另外 过程
的
date
是
另一个 日
,
然后
那个 日
的结束%n在
那个 另外 日
的结束
before
发生
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 339-343
如果
函数
的所得值 是
有点 类
的
subclass
和
那个 函数
(@ROW)
equal
另一个 类
,
然后
那个 另外 类
是
有点 类
的
subclass
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15188-15209
如果
类
是
身体组织
的
subclass
和
另一个 类
是
身体组织
的
subclass
和
客体
是
那个 类
的
instance
和
另一个 客体
是
那个 另外 类
的
instance
和
第三 客体
是
人类
的
instance
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
是
那个 第三 客体
的
part
和
那个 类
不
equal
那个 另外 类
和
那个 类
不 是
那个 另外 类
的
subclass
和
那个 另外 类
不 是
那个 类
的
subclass
和
那个 客体
在
那个 另外 客体
的
邻
,
然后 有存在
实体
这样
那个 实体
是
ConnectiveTissue
的
instance
和
那个 实体
是在
那个 客体
和
那个 另外 客体
between
的声明 has
容易
的语气
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Sheepskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Sheep
))
Economy.kif 5051-5056
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
羊皮
的
subclass
和
另一个 有点 客体
是
皮肤
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
羊
的
initially
part
(=>
(
and
(
subclass
?S
Mixture
)
(
initialPart
?S
Meat
)
(
initialPart
?S
FoodFromPlant
)
(
initialPart
?S
DrinkingWater
))
(
equal
?S
SoupStock
))
Food.kif 1633-1639
如果
有点 客体
是
混合物
的
subclass
和 %每个
有点 客体
是
meat
的
initially
part
和 %每个
那个 有点 客体
是
FoodFromPlant
的
initially
part
和 %每个
那个 有点 客体
是
饮用水
的
initially
part
,
然后
那个 有点 客体
equal
高汤
(=>
(
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
(=>
(
instance
?OBJ
CorpuscularObject
)
(
exists
(?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
subclass
?SUBSTANCE1
Substance
)
(
subclass
?SUBSTANCE2
Substance
)
(
material
?SUBSTANCE1 ?OBJ)
(
material
?SUBSTANCE2 ?OBJ)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1231-1239
如果
躯体性物体
是
躯体性物体
的
instance
,
然后 有存在
有点 物质
和
另一个 有点 物质
这样
有点 物质
是
物质
的
subclass
和
另一个 有点 物质
是
物质
的
subclass
和
那个 有点 物质
是
那个 躯体性物体
的材料 和
那个 另外 有点 物质
是
那个 躯体性物体
的材料 和
那个 有点 物质
不
equal
那个 另外 有点 物质
(=>
(
equal
?C
(
AgentOfOrganismFn
SerratiaMarcenscens
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1371-1374
如果
有点 生物制剂
equal
serratia marcenscens
的
biological
agent
,
然后
有点 生物制剂
是
危及生命的特工
的
subclass
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
如果
有点 植物
equal
PlantFn
Blueberry
,
然后
有点 植物
是
灌木
的
subclass
(=>
(
equal
?C
(
AgentOfOrganismFn
TickBorneEncephalitisVirus
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 2019-2022
如果
有点 生物制剂
equal
蜱传脑炎病毒
的
biological
agent
,
然后
有点 生物制剂
是
危及生命的特工
的
subclass
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4532-4543
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
OilFromPlant
的
subclass
和
另一个 有点 客体
是
种子
的
subclass
或
那个 另外 有点 客体
是
水果
的
subclass
,
然后 有存在
第三 有点 客体
这样
第三 有点 客体
是
开花植物
的
subclass
和 %每个
那个 另外 有点 客体
是
那个 第三 有点 客体
的
initially
part
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidiodesPosadasii
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1393-1396
如果
有点 生物制剂
equal
球孢子菌 posadasii
的
biological
agent
,
然后
有点 生物制剂
是
危及生命的特工
的
subclass
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
如果
有点 植物
equal
PlantFn
Basil
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
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
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
如果
有点 获得
equal
receiving
一个
有点 客体
和
另一个 有点 获得
equal
receiving
一个
另一个 有点 客体
和
有点 客体
是
另一个 有点 客体
的
subclass
,
然后
有点 获得
是
另一个 有点 获得
的
subclass
(=>
(
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
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
WhiteOakWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
WhiteOakTree
的
initially
part
(=>
(
immediateSubclass
?CLASS1 ?CLASS2)
(
not
(
exists
(?CLASS3)
(
and
(
subclass
?CLASS3 ?CLASS2)
(
subclass
?CLASS1 ?CLASS3)
(
not
(
equal
?CLASS2 ?CLASS3))
(
not
(
equal
?CLASS1 ?CLASS3))))))
Merge.kif 160-167
如果
类
是
另一个 类
的
immediateSubclass
,
然后 不存在
第三 类
这样
那个 第三 类
是
那个 另外 类
的
subclass
和
那个 类
是
那个 第三 类
的
subclass
和
那个 另外 类
不
equal
那个 第三 类
和
那个 类
不
equal
那个 第三 类
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
如果
有点 客体
是
种子
的
subclass
和
有点 客体
equal
苜
,
然后 %每个
那个 有点 客体
是
CloverPlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
如果
有点 客体
是
花
的
subclass
和
有点 客体
equal
菜花
,
然后 %每个
那个 有点 客体
是
CabbagePlant
的
initially
part
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
Malt
的
subclass
和
另一个 有点 客体
是
谷物
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
谷物草
的
initially
part
(=>
(
equal
?P
(
PlantFn
Apple
))
(
subclass
?P
DeciduousTree
))
Food.kif 2184-2186
如果
有点 植物
equal
PlantFn
苹果
,
然后
有点 植物
是
DeciduousTree
的
subclass
(=>
(
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
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
如果
有点 植物
equal
PlantFn
腰果
,
然后
有点 植物
是
植物树
的
subclass
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
毛皮
的
subclass
,
然后
有点 有机物体
是
皮肤
的
subclass
(=>
(
immediateInstance
?ENTITY ?CLASS)
(
not
(
exists
(?SUBCLASS)
(
and
(
subclass
?SUBCLASS ?CLASS)
(
not
(
equal
?SUBCLASS ?CLASS))
(
instance
?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
如果
实体
是
类
的
immediateInstance
,
然后 不存在
另一个 类
这样
那个 另外 类
是
那个 类
的
subclass
和
那个 另外 类
不
equal
那个 类
和
那个 实体
是
那个 另外 类
的
instance
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
AnimalFat
的
subclass
和
另一个 有点 客体
是
脂肪组织
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
动物
的
initially
part
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidioidesImmitis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1381-1384
如果
有点 生物制剂
equal
球孢子菌丝虫
的
biological
agent
,
然后
有点 生物制剂
是
危及生命的特工
的
subclass
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
咖啡豆
的
subclass
和
另一个 有点 客体
是
种子
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
CoffeePlant
的
initially
part
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
Suet
的
subclass
和
另一个 有点 客体
是
脂肪组织
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
牛
的
initially
part
或 %每个
那个 另外 有点 客体
是
羊
的
initially
part
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
可可豆
的
subclass
和
另一个 有点 客体
是
种子
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
可可樹
的
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
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
如果
有点 植物
equal
PlantFn
Cilantro
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
如果
有点 客体
是
水果
的
subclass
和
有点 客体
equal
茄子
,
然后 %每个
那个 有点 客体
是
EggplantPlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
如果
有点 客体
是
PlantLeaf
的
subclass
和
有点 客体
equal
卷心菜
,
然后 %每个
那个 有点 客体
是
CabbagePlant
的
initially
part
(=>
(
equal
?X
(
PlantFn
EmmerWheatGrain
))
(
subclass
?X
EmmerWheatGrass
))
Economy.kif 4086-4089
如果
有点 植物
equal
PlantFn
EmmerWheatGrain
,
然后
有点 植物
是
EmmerWheatGrass
的
subclass
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