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 23699-23705
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23707-23707
域子類
初始部分
, 1 and
Object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23708-23708
域子類
初始部分
, 2 and
Object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23696-23696
例
初始部分
and
BinaryPredicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23697-23697
例
初始部分
and
SpatialRelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23698-23698
相關的內部概念
初始部分
and
部分
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 23710-23719
%每個
Object
是
Object
的
initially
part
例
Physical
and
Object
Entity
例
Entity
and
Object
持有期間
開始
何時
Physical
and
部分
Physical
and
Entity
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 600-608
例
Object
and
Object
子類
Object
and
細胞核
%每個
Object
是
真核細胞
的
initially
part
Object
例
Object
and
染色質
部分
Object
and
Object
No TPTP formula. May not be expressible in strict first order.
Food.kif 1633-1639
子類
Object
and
Mixture
%每個
Object
是
Meat
的
initially
part
%每個
Object
是
FoodFromPlant
的
initially
part
%每個
Object
是
飲用水
的
initially
part
等於
Object
and
高湯
No TPTP formula. May not be expressible in strict first order.
Food.kif 2822-2824
%每個
乳製品
是
Object
的
initially
part
等於
Object
and
奶
No TPTP formula. May not be expressible in strict first order.
Food.kif 1809-1814
%每個
茶
是
Object
的
initially
part
等於
Object
and
花茶
等於
Object
and
茶葉
等於
Object
and
茎茶
consequent
No TPTP formula. May not be expressible in strict first order.
Food.kif 2876-2882
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
AnimalFat
子類
Object
and
FatTissue
%每個
Object
是
Animal
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4629-4634
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
咖啡豆
子類
Object
and
種子
%每個
Object
是
CoffeePlant
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4693-4699
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
可可豆
子類
Object
and
種子
%每個
Object
是
可可樹
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4166-4172
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
Malt
子類
Object
and
穀物
%每個
Object
是
穀物草
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4532-4543
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
OilFromPlant
子類
Object
and
種子
子類
Object
and
水果
Object
子類
Object
and
FloweringPlant
%每個
Object
是
Object
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Food.kif 2906-2914
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
Suet
子類
Object
and
FatTissue
%每個
Object
是
牛
的
initially
part
%每個
Object
是
羊
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5041-5046
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
小羊皮
子類
Object
and
皮膚
%每個
Object
是
羔羊
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5051-5056
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
羊皮
子類
Object
and
皮膚
%每個
Object
是
羊
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4715-4721
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
茶樹空中部分
子類
Object
and
PlantStem
%每個
Object
是
TeaPlant
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5296-5301
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
BalsaWood
子類
Object
and
PlantStem
%每個
Object
是
BalsaTree
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5306-5311
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
BeechWood
子類
Object
and
PlantStem
%每個
Object
是
BeechTree
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5316-5321
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
BirchWood
子類
Object
and
PlantStem
%每個
Object
是
BirchTree
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5421-5426
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
CedarWood
子類
Object
and
PlantStem
%每個
Object
是
CedarTree
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5326-5333
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
CherryWood
子類
Object
and
PlantStem
%每個
Object
是
BlackCherryTree
的
initially
part
%每個
Object
是
SweetCherryTree
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5431-5436
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
FirWood
子類
Object
and
PlantStem
%每個
Object
是
FirTree
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5284-5291
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Hardwood
子類
OrganicObject
and
PlantStem
模態屬性
%每個
OrganicObject
是
DeciduousTree
的
initially
part
and
容易
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5441-5446
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
LarchWood
子類
Object
and
PlantStem
%每個
Object
是
LarchTree
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5338-5343
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
MapleWood
子類
Object
and
PlantStem
%每個
Object
是
MapleTree
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5348-5353
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
OkoumeWood
子類
Object
and
PlantStem
%每個
Object
是
奧古曼樹
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5461-5466
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
PineWood
子類
Object
and
PlantStem
%每個
Object
是
松樹
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5358-5363
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
PoplarWood
子類
Object
and
PlantStem
%每個
Object
是
PoplarTree
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5368-5373
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
RedOakWood
子類
Object
and
PlantStem
%每個
Object
是
RedOakTree
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5378-5383
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
SapeleWood
子類
Object
and
PlantStem
%每個
Object
是
SapeleTree
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5409-5416
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Softwood
子類
OrganicObject
and
PlantStem
模態屬性
%每個
OrganicObject
是
Conifers
的
initially
part
and
容易
No TPTP formula. May not be expressible in strict first order.
Economy.kif 5451-5456
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
SpruceWood
子類
Object
and
PlantStem
%每個
Object
是
SpruceTree
的
initially
part
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 23721-23721
%每個
動物解剖結構
是
Animal
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11529-11529
%每個
動物殼
是
Animal
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 688-688
%每個
ArmBone
是
臂
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4583-4583
%每個
AvocadoOil
是
鱷梨
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4130-4130
%每個
大麥籽粒
是
BarleyGrass
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10783-10783
%每個
Bicep
是
臂
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 21-21
%每個
Bone
是
Primate
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10801-10801
%每個
CalfMuscle
是
腿
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Food.kif 2439-2439
%每個
Chocolate
是
可可豆
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Food.kif 2492-2492
%每個
可可脂
是
CocoaLiquor
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Food.kif 2484-2484
%每個
可可粉
是
CocoaLiquor
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4580-4580
%每個
CoconutOil
是
椰子
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Food.kif 634-634
%每個
咖啡
是
咖啡豆
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Food.kif 1507-1507
%每個
CommonWheatFlour
是
CommonWheatGrain
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Food.kif 1547-1547
%每個
CornFlour
是
玉米粒
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12135-12135
%每個
Cornea
是
眼睛
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12505-12505
%每個
數字附屬物
是
肢
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Food.kif 1517-1517
%每個
DurumWheatFlour
是
DurumWheatGrain
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Food.kif 2547-2547
%每個
EggYolk
是
蛋
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11673-11673
%每個
外骨骼
是
Animal
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1438-1438
%每個
Eyebrow
是
頭
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 880-880
%每個
FingerBone
是
手
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Food.kif 2311-2311
%每個
FleshOrPulp
是
FruitOrVegetable
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1102-1102
%每個
FoodBone
是
足
的
initially
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10830-10830
%每個
Forearm
是
臂
的
initially
part
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