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
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Sheepskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Sheep
))
Economy.kif 5051-5056
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
羊皮
的
subclass
和
另一个 有点 客体
是
皮肤
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
羊
的
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
?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
?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
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
毛皮
的
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
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
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
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
Malt
的
subclass
和
另一个 有点 客体
是
谷物
的
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
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
WalnutWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
WalnutTree
的
initially
part
(=>
(
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
(=>
(
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
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
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
RedOakWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
RedOakTree
的
initially
part
(=>
(
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
(=>
(
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
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
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
FirWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
FirTree
的
initially
part
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
meat
的
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
(=>
(
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
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
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
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
?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
(=>
(
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
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
客体
的
subclass
,
然后
有点 有机物体
是
生物
的
subclass
或
那个 有点 有机物体
是
解剖结构
的
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
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