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 23624-23627
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23628-23628
域子類
典型的部分
, 1 and
Object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23629-23629
域子類
典型的部分
, 2 and
Object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23621-23621
例
典型的部分
and
BinaryPredicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23622-23622
例
典型的部分
and
SpatialRelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23623-23623
相關的內部概念
典型的部分
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 23749-23749
子關係
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 23639-23656
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 23631-23637
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 2012-2012
AirConditioningCompressor
typically
是
AirConditioner
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2056-2056
AirConditioningCondenser
typically
是
AirConditioner
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2080-2080
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 10781-10781
Bicep
typically
是
臂
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1564-1564
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 1637-1637
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 10799-10799
CalfMuscle
typically
是
腿
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3717-3717
CarAlarm
typically
是
自供電公路車輛
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1720-1720
CatalyticConverter
typically
是
AutomobileExhaustSystem
的
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4978-4978
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