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
initialPart
Sigma KEE - initialPart
initialPart
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23756-23762
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23764-23764
O argumento numero 1 de
initialPart
e' uma
sub
-classe de
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23765-23765
O argumento numero 2 de
initialPart
e' uma
sub
-classe de
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23752-23752
initialPart
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23753-23753
initialPart
e' uma
instancia
de
Relacao Espacial
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23755-23755
initialPart
e'
relacionado
internamente por SUMO a
initiallyContainsPart
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23754-23754
initialPart
e'
relacionado
internamente por SUMO a
part
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3706-3706
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3705-3705
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3704-3704
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30127-30127
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30126-30126
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30125-30125
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23767-23776
initialPart
Objeto
and
Objeto
Fisico
e' uma
instancia
de
Objeto
Entidade
Entidade
e' uma
instancia
de
Objeto
Fisico
e' uma &parte de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Fisico
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 599-607
Objeto
e' uma
instancia
de
Objeto
Objeto
e' uma
sub
-classe de
CellNucleus
initialPart
Objeto
and
EukaryoticCell
Objeto
Objeto
e' uma
instancia
de
Chromotin
Objeto
e' uma &parte de
Objeto
No TPTP formula. May not be expressible in strict first order.
Food.kif 1633-1639
Objeto
e' uma
sub
-classe de
Mistura
initialPart
Objeto
and
Carne
initialPart
Objeto
and
FoodFromPlant
initialPart
Objeto
and
DrinkingWater
Objeto
e'
igual
a
SoupStock
No TPTP formula. May not be expressible in strict first order.
Food.kif 2822-2824
initialPart
DairyArtifact
and
Objeto
Objeto
e'
igual
a
Milk
No TPTP formula. May not be expressible in strict first order.
Food.kif 1809-1814
initialPart
Tea
and
Objeto
Objeto
e'
igual
a
TeaBud
Objeto
e'
igual
a
TeaLeaf
Objeto
e'
igual
a
TeaTwig
consequent
No TPTP formula. May not be expressible in strict first order.
Food.kif 2876-2882
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
AnimalFat
Objeto
e' uma
sub
-classe de
Tecido Gorduroso
initialPart
Objeto
and
Animal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4629-4634
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CoffeeBean
Objeto
e' uma
sub
-classe de
Seed
initialPart
Objeto
and
CoffeePlant
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4693-4699
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CocoaBean
Objeto
e' uma
sub
-classe de
Seed
initialPart
Objeto
and
CocoaTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4166-4172
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Malt
Objeto
e' uma
sub
-classe de
CerealGrain
initialPart
Objeto
and
CerealGrass
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4532-4543
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
OilFromPlant
Objeto
e' uma
sub
-classe de
Seed
Objeto
e' uma
sub
-classe de
Fruit
Objeto
Objeto
e' uma
sub
-classe de
Planta Florindo
initialPart
Objeto
and
Objeto
No TPTP formula. May not be expressible in strict first order.
Food.kif 2906-2914
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Suet
Objeto
e' uma
sub
-classe de
Tecido Gorduroso
initialPart
Objeto
and
Cattle
initialPart
Objeto
and
Sheep
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5041-5046
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Lambskin
Objeto
e' uma
sub
-classe de
Skin
initialPart
Objeto
and
Lamb
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5051-5056
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Sheepskin
Objeto
e' uma
sub
-classe de
Skin
initialPart
Objeto
and
Sheep
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4715-4721
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
TeaPlantAerialPart
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
TeaPlant
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5296-5301
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
BalsaWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
BalsaTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5306-5311
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
BeechWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
BeechTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5316-5321
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
BirchWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
BirchTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5421-5426
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CedarWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
CedarTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5326-5333
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CherryWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
BlackCherryTree
initialPart
Objeto
and
SweetCherryTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5431-5436
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
FirWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
FirTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5284-5291
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Hardwood
Objeto Organico
e' uma
sub
-classe de
PlantStem
o argumento
initialPart
Objeto Organico
and
DeciduousTree
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5441-5446
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
LarchWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
LarchTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5338-5343
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
MapleWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
MapleTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5348-5353
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
OkoumeWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
OkoumeTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5461-5466
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
PineWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
PineTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5358-5363
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
PoplarWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
PoplarTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5368-5373
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
RedOakWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
RedOakTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5378-5383
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
SapeleWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
SapeleTree
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5409-5416
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Softwood
Objeto Organico
e' uma
sub
-classe de
PlantStem
o argumento
initialPart
Objeto Organico
and
Conifers
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5451-5456
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
SpruceWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
SpruceTree
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23778-23778
initialPart
AnimalAnatomicalStructure
and
Animal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11556-11556
initialPart
AnimalShell
and
Animal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 688-688
initialPart
ArmBone
and
Arm
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4583-4583
initialPart
AvocadoOil
and
Avocado
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4130-4130
initialPart
BarleyGrain
and
BarleyGrass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10810-10810
initialPart
Bicep
and
Arm
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 21-21
initialPart
Osso
and
Primata
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1221-1221
initialPart
BoneMarrow
and
Osso
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10828-10828
initialPart
CalfMuscle
and
Leg
No TPTP formula. May not be expressible in strict first order.
Food.kif 2439-2439
initialPart
Chocolate
and
CocoaBean
No TPTP formula. May not be expressible in strict first order.
Food.kif 2492-2492
initialPart
CocoaButter
and
CocoaLiquor
No TPTP formula. May not be expressible in strict first order.
Food.kif 2484-2484
initialPart
CocoaSolid
and
CocoaLiquor
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4580-4580
initialPart
CoconutOil
and
Coconut
No TPTP formula. May not be expressible in strict first order.
Food.kif 634-634
initialPart
Coffee
and
CoffeeBean
No TPTP formula. May not be expressible in strict first order.
Food.kif 1507-1507
initialPart
CommonWheatFlour
and
CommonWheatGrain
No TPTP formula. May not be expressible in strict first order.
Food.kif 1547-1547
initialPart
CornFlour
and
MaizeGrain
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12162-12162
initialPart
Cornea
and
Eye
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12532-12532
initialPart
DigitAppendage
and
Limb
No TPTP formula. May not be expressible in strict first order.
Food.kif 1517-1517
initialPart
DurumWheatFlour
and
DurumWheatGrain
No TPTP formula. May not be expressible in strict first order.
Food.kif 2547-2547
initialPart
EggYolk
and
Egg
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11700-11700
initialPart
Exoskeleton
and
Animal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1438-1438
initialPart
Eyebrow
and
Head
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 880-880
initialPart
FingerBone
and
Hand
No TPTP formula. May not be expressible in strict first order.
Food.kif 2311-2311
initialPart
FleshOrPulp
and
Fruta ou Vegetal
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1102-1102
initialPart
FoodBone
and
Foot
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