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
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
Sheepskin
の
subclass
では %n
オブジェクト
は
Skin
の
subclass
では %n
initialPart
オブジェクト
and
Sheep
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
オブジェクト
は
Flower
の
subclass
では %n
オブジェクト
は
Cauliflower
と
equal
では %n
initialPart
オブジェクト
and
CabbagePlant
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
Suet
の
subclass
では %n
オブジェクト
は
脂肪組織
の
subclass
では %n
initialPart
オブジェクト
and
Cattle
initialPart
オブジェクト
and
Sheep
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
CocoaBean
の
subclass
では %n
オブジェクト
は
Seed
の
subclass
では %n
initialPart
オブジェクト
and
CocoaTree
(=>
(
and
(
equal
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
TeaPlantAerialPart
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
TeaPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
MapleWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
MapleTree
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
オブジェクト
は
PlantStem
の
subclass
では %n
オブジェクト
は
Alfalfa
と
equal
では %n
initialPart
オブジェクト
and
AlfalfaPlant
(=>
(
and
(
subclass
?S
Mixture
)
(
initialPart
?S
Meat
)
(
initialPart
?S
FoodFromPlant
)
(
initialPart
?S
DrinkingWater
))
(
equal
?S
SoupStock
))
Food.kif 1633-1639
オブジェクト
は
混合物
の
subclass
では %n
initialPart
オブジェクト
and
肉
initialPart
オブジェクト
and
FoodFromPlant
initialPart
オブジェクト
and
DrinkingWater
オブジェクト
は
SoupStock
と
equal
では %n
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
BeechWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
BeechTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
CherryWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
BlackCherryTree
initialPart
オブジェクト
and
SweetCherryTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
Hardwood
の
subclass
では %n
有機物
は
PlantStem
の
subclass
では %n
ステートメント
initialPart
有機物
and
DeciduousTree
には
Likely
の
modal
force
が ある
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
Malt
の
subclass
では %n
オブジェクト
は
CerealGrain
の
subclass
では %n
initialPart
オブジェクト
and
CerealGrass
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
PoplarWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
PoplarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
WalnutWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
WalnutTree
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
AnimalFat
の
subclass
では %n
オブジェクト
は
脂肪組織
の
subclass
では %n
initialPart
オブジェクト
and
動物
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
オブジェクト
は
PlantLeaf
の
subclass
では %n
オブジェクト
は
LeafyGreenVegetable
と
equal
では %n
initialPart
オブジェクト
and
植物
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
BirchWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
BirchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
OkoumeWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
OkoumeTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
PineWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
PineTree
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
オブジェクト
は
Seed
の
subclass
では %n
オブジェクト
は
Clover
と
equal
では %n
initialPart
オブジェクト
and
CloverPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
RedOakWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
RedOakTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
BalsaWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
BalsaTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
SapeleWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
SapeleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
Softwood
の
subclass
では %n
有機物
は
PlantStem
の
subclass
では %n
ステートメント
initialPart
有機物
and
Conifers
には
Likely
の
modal
force
が ある
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
オブジェクト
は
Fruit
の
subclass
では %n
オブジェクト
は
Eggplant
と
equal
では %n
initialPart
オブジェクト
and
EggplantPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
FirWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
FirTree
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
オブジェクト
は
PlantLeaf
の
subclass
では %n
オブジェクト
は
Cabbage
と
equal
では %n
initialPart
オブジェクト
and
CabbagePlant
(=>
(
and
(
instance
?REL
SheddingPart
)
(?REL ?O ?P)
(
instance
?O ?ORG)
(
subclass
?ORG
Organism
))
(
exists
(?PART)
(
and
(
instance
?P
(
DeadFn
?PART))
(
initialPart
?PART ?ORG))))
Geography.kif 6425-6434
エンティティー
は
SheddingPart
の
instance
では %n
エンティティー
エンティティー
and
エンティティー
エンティティー
は
エンティティー
RG の
instance
では %n
エンティティー
RG は
物
の
subclass
では %n
エンティティー
ART
エンティティー
は
DeadFn
エンティティー
ART の
instance
では %n
initialPart
エンティティー
ART and
エンティティー
RG
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
Lambskin
の
subclass
では %n
オブジェクト
は
Skin
の
subclass
では %n
initialPart
オブジェクト
and
Lamb
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
CedarWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
CedarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
LarchWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
LarchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
SpruceWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
SpruceTree
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
オブジェクト
は
Coffee
の
subclass
では %n
initialPart
CoffeeBean
and
オブジェクト
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
WoodProduct
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
オブジェクト
オブジェクト
は
BotanicalTree
の
subclass
では %n
initialPart
オブジェクト
and
オブジェクト
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
オブジェクト
は
ButterFat
の
subclass
では %n
initialPart
オブジェクト
and
Milk
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
オブジェクト
は
Fruit
の
subclass
では %n
オブジェクト
は
Cucumber
と
equal
では %n
initialPart
オブジェクト
and
CucumberPlant
(=>
(
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
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
OilFromPlant
の
subclass
では %n
オブジェクト
は
Seed
の
subclass
では %n
オブジェクト
は
Fruit
の
subclass
では %n
オブジェクト
オブジェクト
は
顕花植物
の
subclass
では %n
initialPart
オブジェクト
and
オブジェクト
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
WhiteOakWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
WhiteOakTree
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
CoffeeBean
の
subclass
では %n
オブジェクト
は
Seed
の
subclass
では %n
initialPart
オブジェクト
and
CoffeePlant
(=>
(
and
(
instance
?NUCLEUS ?CLASS)
(
subclass
?CLASS
CellNucleus
)
(
initialPart
?CLASS
EukaryoticCell
))
(
exists
(?CHROMOTIN)
(
and
(
instance
?CHROMOTIN
Chromotin
)
(
part
?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 600-608
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
CellNucleus
の
subclass
では %n
initialPart
オブジェクト
and
EukaryoticCell
オブジェクト
オブジェクト
は
Chromotin
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
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