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
typicallyContainsPart
Sigma KEE - typicallyContainsPart
typicallyContainsPart
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23661-23664
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23665-23665
通常包含部分
的 1 数量 是
客体
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23666-23666
通常包含部分
的 2 数量 是
客体
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23658-23658
通常包含部分
是
二元谓语
的
instance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23659-23659
通常包含部分
是
空间关系
的
instance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23660-23660
通常包含部分
和
部分
是 内部相关
No TPTP formula. May not be expressible in strict first order.
Cars.kif 347-347
通常包含部分
和
典型的部分
是 内部相关
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4846-4846
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4845-4845
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4844-4844
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1474-1474
typicallyContainsTemporalPart
和
通常包含部分
是 内部相关
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59750-59750
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59749-59749
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59748-59748
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23676-23693
如果
有点 客体
typically
有
part
另一个 有点 客体
和
实体
是
有点 客体
的
instance
和
另一个 有点 客体
PROB
equal
有存在
另一个 实体
这样
那个 另外 实体
是
那个 另外 有点 客体
的
instance
和
那个 另外 实体
是
那个 实体
的
part
的机率 和
另一个 实数
equal
不存在
第三 实体
这样
那个 第三 实体
是
那个 另外 有点 客体
的
instance
和
那个 第三 实体
是
那个 实体
的
part
的机率,
然后
那个 另外 有点 客体
PROB 是
greaterThan
那个 另外 实数
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23668-23674
如果
有点 客体
typically
有
part
另一个 有点 客体
,
然后 有存在
第三 客体
和
第四 客体
这样
那个 第三 客体
是
有点 客体
的
instance
和
那个 第四 客体
是
另一个 有点 客体
的
instance
和
那个 第四 客体
是
那个 第三 客体
的
part
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2013-2013
AirConditioner
typically
有
part
AirConditioningCompressor
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2057-2057
AirConditioner
typically
有
part
AirConditioningCondenser
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2081-2081
AirConditioner
typically
有
part
AirConditioningEvaporator
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1212-1212
车辆
typically
有
part
Alternator
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3638-3638
汽车
typically
有
part
AutoAirbag
No TPTP formula. May not be expressible in strict first order.
Cars.kif 726-726
汽车
typically
有
part
AutoSuspensionSystem
No TPTP formula. May not be expressible in strict first order.
Cars.kif 869-869
汽车
typically
有
part
AutomobileShock
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1565-1565
BrakeSystem
typically
有
part
BrakeCaliper
No TPTP formula. May not be expressible in strict first order.
Cars.kif 670-670
DrumBrake
typically
有
part
BrakeDrum
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1638-1638
BrakeSystem
typically
有
part
BrakeMasterCylinder
No TPTP formula. May not be expressible in strict first order.
Cars.kif 664-664
DiscBrake
typically
有
part
BrakeRotor
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1236-1236
汽车
typically
有
part
BrakeSystem
No TPTP formula. May not be expressible in strict first order.
Food.kif 635-635
咖啡
typically
有
part
Caffeine
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1721-1721
AutomobileExhaustSystem
typically
有
part
CatalyticConverter
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4979-4979
ChevroletAutomobile
typically
有
part
ChevroletEngine
No TPTP formula. May not be expressible in strict first order.
Cars.kif 342-342
Crankcase
typically
有
part
Crankshaft
No TPTP formula. May not be expressible in strict first order.
Cars.kif 339-339
IntermittentCombustionEngine
typically
有
part
Crankshaft
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2146-2146
泵
typically
有
part
EngineCoolingSystem
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2792-2792
EngineCoolingSystem
typically
有
part
EngineWaterPump
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2633-2633
AutomobileExhaustSystem
typically
有
part
ExhaustManifold
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2669-2669
FourStrokeEngine
typically
有
part
ExhaustValve
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1366-1366
枪
typically
有
part
枪扳机
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3149-3149
汽车
typically
有
part
IgnitionCoil
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3212-3212
AutomobileIgnitionSystem
typically
有
part
IgnitionControlModule
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2694-2694
FourStrokeEngine
typically
有
part
IntakeValve
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