Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
OrganicObjectFn
Sigma KEE - OrganicObjectFn
OrganicObjectFn
appearance as argument number 1
(
documentation
OrganicObjectFn
EnglishLanguage
"(OrganicObjectFn ?ORGCLASS) denotes the
Class
of
Object
derived from an
OrganicObject
. The
Object
was once a living
Organism
or a living
part
of an
Organism
. For example,
Hardwood
is made from harvesting the
PlantStem
s of a
DeciduousTree
.
Juice
is made from
FruitOrVegetable
of a
Plant
.")
Economy.kif 5253-5256
(
domainSubclass
OrganicObjectFn
1
OrganicObject
)
Economy.kif 5249-5249
Die Zahl 1 Argument von
OrganicObjectFn
ist eine
teilkategorie
von
OrganicObject
%n{nicht}
(
instance
OrganicObjectFn
UnaryFunction
)
Economy.kif 5247-5247
OrganicObjectFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
OrganicObjectFn
Object
)
Economy.kif 5250-5250
Die werte die
OrganicObjectFn
zurueckgibt sind
teilkategorien
von
Object
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5248-5248
OrganicObjectFn
ist innerlich verwandt mit
DeadFn
%n{nicht}
appearance as argument number 2
(
format
EnglishLanguage
OrganicObjectFn
"
Object
made from %1")
Economy.kif 5251-5251
(
termFormat
EnglishLanguage
OrganicObjectFn
"organic object fn")
Economy.kif 5252-5252
antecedent
(=>
(
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
(
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
(
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
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Meat
,
dann
** OrganicObject
ist eine
teilkategorie
von
Animal
(=>
(
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
?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
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Object
,
dann es gibt
** Object
und
** Object
um
** ** Object
ist ein
fall
von
DeadFn
** OrganicObject
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
** ** OrganicObject
%n{nicht}
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Object
,
dann
** OrganicObject
ist eine
teilkategorie
von
Organism
oder
** ** OrganicObject
ist eine
teilkategorie
von
AnatomicalStructure
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Pelt
,
dann
** OrganicObject
ist eine
teilkategorie
von
Skin
(=>
(
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
?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
?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
(
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
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
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
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
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
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
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
(
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
?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
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
(
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
(
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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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