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
typicalPart
Sigma KEE - typicalPart
typicalPart
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23625-23628
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23629-23629
域子類
典型的部分
, 1 and
Object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23630-23630
域子類
典型的部分
, 2 and
Object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23622-23622
例
典型的部分
and
BinaryPredicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23623-23623
例
典型的部分
and
SpatialRelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23624-23624
相關的內部概念
典型的部分
and
部分
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4850-4850
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4849-4849
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4848-4848
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1434-1434
相關的內部概念
typicalTemporalPart
and
典型的部分
No TPTP formula. May not be expressible in strict first order.
Cars.kif 347-347
相關的內部概念
通常包含部分
and
典型的部分
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23750-23750
子關係
partTypes
and
典型的部分
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59756-59756
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59755-59755
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59754-59754
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23640-23657
Object
typically
是
Object
的
part
例
Entity
and
Object
等於
Object
PROB and
可能性
entity
例
entity
and
Object
部分
Entity
and
entity
等於
RealNumber
and
可能性
entity
例
entity
and
Object
部分
Entity
and
entity
比較多
Object
PROB and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23632-23638
Object
typically
是
Object
的
part
Object
Object
例
Object
and
Object
例
Object
and
Object
部分
Object
and
Object
consequent
No TPTP formula. May not be expressible in strict first order.
Biography.kif 436-465
attribute
AutonomousAgent
and
航空工程師
Process
有技巧
Process
and
AutonomousAgent
Process
例
Process
and
Process
Process
Entity
and
Process
T
例
Process
and
Making
例
Entity
and
飛機
例
Entity
and
Process
T
Process
T
typically
是
飛機
的
part
結果
Process
and
Entity
子過程
Process
and
Process
Process
Process
LAN,
Entity
and
Process
T
例
Process
and
設計
例
Entity
and
飛機
例
Entity
and
Process
T
Process
T
typically
是
飛機
的
part
結果
Process
and
Process
LAN
代表
Process
LAN and
Entity
子過程
Process
and
Process
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2006-2006
AirConditioningCompressor
typically
是
AirConditioner
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2050-2050
AirConditioningCondenser
typically
是
AirConditioner
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2074-2074
AirConditioningEvaporator
typically
是
AirConditioner
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1211-1211
Alternator
typically
是
車輛
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 727-727
AutoSuspensionSystem
typically
是
汽車
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 840-840
AutomobileShock
typically
是
AutoSuspensionSystem
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 868-868
AutomobileShock
typically
是
汽車
的
part
No TPTP formula. May not be expressible in strict first order.
engineering.kif 1070-1070
基礎
typically
是
bjt晶體管
的
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10782-10782
Bicep
typically
是
臂
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1559-1559
BrakeCaliper
typically
是
BrakeSystem
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 675-675
BrakeCaliper
typically
是
車輛制動器
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 669-669
BrakeDrum
typically
是
DrumBrake
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1631-1631
BrakeMasterCylinder
typically
是
BrakeSystem
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 655-655
BrakePad
typically
是
DiscBrake
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 663-663
BrakeRotor
typically
是
DiscBrake
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 600-600
BrakeShoe
typically
是
DrumBrake
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1237-1237
BrakeSystem
typically
是
汽車
的
part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10800-10800
CalfMuscle
typically
是
腿
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3709-3709
CarAlarm
typically
是
自供電公路車輛
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1714-1714
CatalyticConverter
typically
是
AutomobileExhaustSystem
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4970-4970
ChevroletEngine
typically
是
ChevroletAutomobile
的
part
No TPTP formula. May not be expressible in strict first order.
engineering.kif 1075-1075
收集家
typically
是
bjt晶體管
的
part
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 247-247
ComputerKeyboardKey
typically
是
ComputerKeyboard_Generic
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 341-341
Crankshaft
typically
是
Crankcase
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 338-338
Crankshaft
typically
是
IntermittentCombustionEngine
的
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