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 and
物理尺寸
(
domain
physicalDomain
2
PhysicalDimension
)
engineering.kif 279-279
域
physicalDomain
, 2 and
物理尺寸
(
domain
physicalDomain
3
PhysicalDomain
)
engineering.kif 280-280
域
physicalDomain
, 3 and
物理域
(
instance
physicalDomain
TernaryPredicate
)
engineering.kif 276-276
例
physicalDomain
and
TernaryPredicate
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 65901-65901
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