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
physicalDomain
Sigma KEE - physicalDomain
physicalDomain
appearance as argument number 1
(
documentation
physicalDomain
EnglishLanguage
"Relation that holds for pairs of physical dimensions that multiply up into a physical dimension of Power. The first is considered for across variable, the second for through variable.")
engineering.kif 272-275
(
domain
physicalDomain
1
PhysicalDimension
)
engineering.kif 278-278
physicalDomain
的 1 数量 是
物理尺寸
的
instance
(
domain
physicalDomain
2
PhysicalDimension
)
engineering.kif 279-279
physicalDomain
的 2 数量 是
物理尺寸
的
instance
(
domain
physicalDomain
3
PhysicalDomain
)
engineering.kif 280-280
physicalDomain
的 3 数量 是
物理域
的
instance
(
instance
physicalDomain
TernaryPredicate
)
engineering.kif 276-276
physicalDomain
是
三元谓语
的
instance
appearance as argument number 2
(
format
EnglishLanguage
physicalDomain
"%1 and %2 form physical domain %3")
engineering.kif 277-277
(
termFormat
EnglishLanguage
physicalDomain
"physical domain")
domainEnglishFormat.kif 65899-65899
consequent
(=>
(
and
(
hasAcrossVariable
?POLE ?ACROSS)
(
hasThroughVariable
?POLE ?THROUGH)
(
hasVariable
?QACROSS ?ACROSS)
(
hasVariable
?QTHROUGH ?THROUGH)
(
hasDimension
?QACROSS ?DACROSS)
(
hasDimension
?QTHROUGH ?DTHROUGH))
(
exists
(?DOMAIN)
(
physicalDomain
?DACROSS ?DTHROUGH ?DOMAIN)))
engineering.kif 415-424
如果
跨变量
多极杆
and
多极变量
和
有通过变量
那个 多极杆
and
另一个 多极变量
和
有变数
多极数量
and
那个 多极变量
和
有变数
另一个 多极数量
and
那个 另外 多极变量
和
有维度
那个 多极数量
and
物理尺寸
和
有维度
那个 另外 多极数量
and
另一个 物理尺寸
,
然后 有存在
物理域
这样
physicalDomain
那个 物理尺寸
,
那个 另外 物理尺寸
and
那个 物理域
appearance as argument number 0
(
physicalDomain
AngularVelocity
Torque
Rotary
)
engineering.kif 283-283
physicalDomain
圆周角度速度
,
扭矩
and
旋转
(
physicalDomain
Pressure
VolumeFlow
FluidPower
)
engineering.kif 285-285
physicalDomain
压力
,
体积流量
and
流体动力
(
physicalDomain
Velocity
Force
Translatory
)
engineering.kif 282-282
physicalDomain
速度
,
力
and
平移
(
physicalDomain
Voltage
Current
Electrical
)
engineering.kif 284-284
physicalDomain
电压
,
当前
and
电动
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