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
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Sheepskin
objet
est une
sous
-classe de
Skin
initialPart
objet
and
Sheep
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
Objet
est une
sous
-classe de
Flower
objet
est
Cauliflower
initialPart
objet
and
CabbagePlant
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Suet
objet
est une
sous
-classe de
tissu gras
initialPart
objet
and
Cattle
initialPart
objet
and
Sheep
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
CocoaBean
objet
est une
sous
-classe de
Seed
initialPart
objet
and
CocoaTree
(=>
(
and
(
equal
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
TeaPlantAerialPart
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
TeaPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
MapleWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
MapleTree
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
Objet
est une
sous
-classe de
PlantStem
objet
est
Alfalfa
initialPart
objet
and
AlfalfaPlant
(=>
(
and
(
subclass
?S
Mixture
)
(
initialPart
?S
Meat
)
(
initialPart
?S
FoodFromPlant
)
(
initialPart
?S
DrinkingWater
))
(
equal
?S
SoupStock
))
Food.kif 1633-1639
Objet
est une
sous
-classe de
mixture
initialPart
objet
and
viande
initialPart
objet
and
FoodFromPlant
initialPart
objet
and
DrinkingWater
objet
est
SoupStock
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
BeechWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
BeechTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
CherryWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
BlackCherryTree
initialPart
objet
and
SweetCherryTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
Hardwood
objet organique
est une
sous
-classe de
PlantStem
l'argument
initialPart
objet organique
and
DeciduousTree
a la
force
modale
de
Likely
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Malt
objet
est une
sous
-classe de
CerealGrain
initialPart
objet
and
CerealGrass
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
PoplarWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
PoplarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
WalnutWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
WalnutTree
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
AnimalFat
objet
est une
sous
-classe de
tissu gras
initialPart
objet
and
animal
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
Objet
est une
sous
-classe de
PlantLeaf
objet
est
LeafyGreenVegetable
initialPart
objet
and
plante
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
BirchWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
BirchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
OkoumeWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
OkoumeTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
PineWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
PineTree
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
Objet
est une
sous
-classe de
Seed
objet
est
Clover
initialPart
objet
and
CloverPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
RedOakWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
RedOakTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
BalsaWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
BalsaTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
SapeleWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
SapeleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
Softwood
objet organique
est une
sous
-classe de
PlantStem
l'argument
initialPart
objet organique
and
Conifers
a la
force
modale
de
Likely
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
Objet
est une
sous
-classe de
Fruit
objet
est
Eggplant
initialPart
objet
and
EggplantPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
FirWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
FirTree
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
Objet
est une
sous
-classe de
PlantLeaf
objet
est
Cabbage
initialPart
objet
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
Entit�
est une
instance
de
SheddingPart
entit�
entit�
and
entit�
entit�
est une
instance
de
entit�
RG
entit�
RG est une
sous
-classe de
organisme
entit�
ART
entit�
est une
instance
de
DeadFn
entit�
ART
initialPart
entit�
ART and
entit�
RG
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Lambskin
objet
est une
sous
-classe de
Skin
initialPart
objet
and
Lamb
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
CedarWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
CedarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
LarchWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
LarchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
SpruceWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
SpruceTree
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
Objet
est une
sous
-classe de
Coffee
initialPart
CoffeeBean
and
objet
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
WoodProduct
objet
est une
sous
-classe de
PlantStem
objet
objet
est une
sous
-classe de
BotanicalTree
initialPart
objet
and
objet
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
Objet
est une
sous
-classe de
ButterFat
initialPart
objet
and
Milk
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
Objet
est une
sous
-classe de
Fruit
objet
est
Cucumber
initialPart
objet
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
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
OilFromPlant
objet
est une
sous
-classe de
Seed
objet
est une
sous
-classe de
Fruit
objet
objet
est une
sous
-classe de
plant florissante
initialPart
objet
and
objet
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
WhiteOakWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
WhiteOakTree
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
CoffeeBean
objet
est une
sous
-classe de
Seed
initialPart
objet
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
Objet
est une
instance
de
objet
objet
est une
sous
-classe de
CellNucleus
initialPart
objet
and
EukaryoticCell
objet
objet
est une
instance
de
Chromotin
objet
est une
partie
de
objet
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