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 数量 是
客体
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23630-23630
典型的部分
的 2 数量 是
客体
的
subclass
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23622-23622
典型的部分
是
二元谓语
的
instance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23623-23623
典型的部分
是
空间关系
的
instance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23624-23624
典型的部分
和
部分
是 内部相关
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
和
典型的部分
是 内部相关
No TPTP formula. May not be expressible in strict first order.
Cars.kif 347-347
通常包含部分
和
典型的部分
是 内部相关
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23750-23750
partTypes
是
典型的部分
的
subrelation
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
如果
有点 客体
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 23632-23638
如果
有点 客体
typically
是
另一个 有点 客体
的
part
,
然后 有存在
第三 客体
和
第四 客体
这样
那个 第三 客体
是
另一个 有点 客体
的
instance
和
那个 第四 客体
是
有点 客体
的
instance
和
那个 第四 客体
是
那个 第三 客体
的
part
consequent
No TPTP formula. May not be expressible in strict first order.
Biography.kif 436-465
如果
航空工程师
是
施事体
的
attribute
,
然后 有存在
有点 过程
这样
那个 施事体
hasSkill
去做
有点 过程
和 对所有
另一个 过程
如果
那个 另外 过程
是
那个 有点 过程
的
instance
,
然后 有存在
第三 过程
,
实体
, and 和
那个 另外 过程
T 这样
那个 第三 过程
是
制作
的
instance
和
那个 实体
是
飞机
的
instance
或
那个 实体
是
那个 另外 过程
T 的
instance
和
那个 另外 过程
T
typically
是
飞机
的
part
和
那个 实体
是
那个 第三 过程
的
result
和
那个 另外 过程
%n是
那个 第三 过程
的
subProcess
或 有存在
第四 过程
,
那个 另外 过程
LAN,, ,
那个 实体
, and 和
那个 另外 过程
T 这样
那个 第四 过程
是
设计
的
instance
和
那个 实体
是
飞机
的
instance
或
那个 实体
是
那个 另外 过程
T 的
instance
和
那个 另外 过程
T
typically
是
飞机
的
part
和
那个 另外 过程
LAN 是
那个 第四 过程
的
result
和
那个 另外 过程
LAN 表达
那个 实体
和
那个 另外 过程
%n是
那个 第四 过程
的
subProcess
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