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
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
Sheepskin
und
** ** Object
ist eine
teilkategorie
von
Skin
,
dann
initialPart
** ** ** Object
and
Sheep
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
Wenn
** Object
ist eine
teilkategorie
von
Flower
und
** Object
ist gleich
Cauliflower
%n{nicht},
dann
initialPart
** ** Object
and
CabbagePlant
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
Suet
und
** ** Object
ist eine
teilkategorie
von
FatTissue
,
dann
initialPart
** ** ** Object
and
Cattle
oder
initialPart
** ** ** Object
and
Sheep
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
CocoaBean
und
** ** Object
ist eine
teilkategorie
von
Seed
,
dann
initialPart
** ** ** Object
and
CocoaTree
(=>
(
and
(
equal
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
TeaPlantAerialPart
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
TeaPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
MapleWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
MapleTree
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
Wenn
** Object
ist eine
teilkategorie
von
PlantStem
und
** Object
ist gleich
Alfalfa
%n{nicht},
dann
initialPart
** ** Object
and
AlfalfaPlant
(=>
(
and
(
subclass
?S
Mixture
)
(
initialPart
?S
Meat
)
(
initialPart
?S
FoodFromPlant
)
(
initialPart
?S
DrinkingWater
))
(
equal
?S
SoupStock
))
Food.kif 1633-1639
Wenn
** Object
ist eine
teilkategorie
von
Mixture
und
initialPart
** Object
and
Meat
und
initialPart
** ** Object
and
FoodFromPlant
und
initialPart
** ** Object
and
DrinkingWater
,
dann
** ** Object
ist gleich
SoupStock
%n{nicht}
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
BeechWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
BeechTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
CherryWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
BlackCherryTree
oder
initialPart
** ** ** Object
and
SweetCherryTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Hardwood
und
** OrganicObject
ist eine
teilkategorie
von
PlantStem
,
dann die Aussage
initialPart
** ** OrganicObject
and
DeciduousTree
hat die modale Kraft von
Likely
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
Malt
und
** ** Object
ist eine
teilkategorie
von
CerealGrain
,
dann
initialPart
** ** ** Object
and
CerealGrass
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
PoplarWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
PoplarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WalnutWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
WalnutTree
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
AnimalFat
und
** ** Object
ist eine
teilkategorie
von
FatTissue
,
dann
initialPart
** ** ** Object
and
Animal
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
Wenn
** Object
ist eine
teilkategorie
von
PlantLeaf
und
** Object
ist gleich
LeafyGreenVegetable
%n{nicht},
dann
initialPart
** ** Object
and
Plant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
BirchWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
BirchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
OkoumeWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
OkoumeTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
PineWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
PineTree
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
Wenn
** Object
ist eine
teilkategorie
von
Seed
und
** Object
ist gleich
Clover
%n{nicht},
dann
initialPart
** ** Object
and
CloverPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
RedOakWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
RedOakTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
BalsaWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
BalsaTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
SapeleWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
SapeleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Softwood
und
** OrganicObject
ist eine
teilkategorie
von
PlantStem
,
dann die Aussage
initialPart
** ** OrganicObject
and
Conifers
hat die modale Kraft von
Likely
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
Wenn
** Object
ist eine
teilkategorie
von
Fruit
und
** Object
ist gleich
Eggplant
%n{nicht},
dann
initialPart
** ** Object
and
EggplantPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
FirWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
FirTree
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
Wenn
** Object
ist eine
teilkategorie
von
PlantLeaf
und
** Object
ist gleich
Cabbage
%n{nicht},
dann
initialPart
** ** Object
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
Wenn
Entity
ist ein
fall
von
SheddingPart
%n{nicht} und
** Entity
** Entity
and
** Entity
und
** ** Entity
ist ein
fall
von
** ** Entity
RG %n{nicht} und
** ** Entity
RG ist eine
teilkategorie
von
Organism
,
dann es gibt
** ** Entity
ART um
** ** Entity
ist ein
fall
von
DeadFn
** ** Entity
ART %n{nicht} und
initialPart
** ** Entity
ART and
** ** Entity
RG
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
Lambskin
und
** ** Object
ist eine
teilkategorie
von
Skin
,
dann
initialPart
** ** ** Object
and
Lamb
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
CedarWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
CedarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
LarchWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
LarchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
SpruceWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
SpruceTree
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
Wenn
** Object
ist eine
teilkategorie
von
Coffee
,
dann
initialPart
CoffeeBean
and
** Object
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WoodProduct
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann es gibt
** ** Object
um
** ** Object
ist eine
teilkategorie
von
BotanicalTree
und
initialPart
** ** ** Object
and
** ** ** Object
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
Wenn
** Object
ist eine
teilkategorie
von
ButterFat
,
dann
initialPart
** Object
and
Milk
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
Wenn
** Object
ist eine
teilkategorie
von
Fruit
und
** Object
ist gleich
Cucumber
%n{nicht},
dann
initialPart
** ** Object
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
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
OilFromPlant
und
** ** Object
ist eine
teilkategorie
von
Seed
oder
** ** ** Object
ist eine
teilkategorie
von
Fruit
,
dann es gibt
** ** Object
um
** ** Object
ist eine
teilkategorie
von
FloweringPlant
und
initialPart
** ** ** Object
and
** ** ** Object
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WhiteOakWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
WhiteOakTree
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
CoffeeBean
und
** ** Object
ist eine
teilkategorie
von
Seed
,
dann
initialPart
** ** ** Object
and
CoffeePlant
(=>
(
and
(
instance
?NUCLEUS ?CLASS)
(
subclass
?CLASS
CellNucleus
)
(
initialPart
?CLASS
EukaryoticCell
))
(
exists
(?CHROMOTIN)
(
and
(
instance
?CHROMOTIN
Chromotin
)
(
part
?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 599-607
Wenn
Object
ist ein
fall
von
** ** Object
%n{nicht} und
** ** Object
ist eine
teilkategorie
von
CellNucleus
und
initialPart
** ** ** Object
and
EukaryoticCell
,
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Chromotin
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht}
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