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
Die Zahl 1 Argument von
physicalDomain
ist ein
fall
von
PhysicalDimension
%n{nicht}
(
domain
physicalDomain
2
PhysicalDimension
)
engineering.kif 279-279
Die Zahl 2 Argument von
physicalDomain
ist ein
fall
von
PhysicalDimension
%n{nicht}
(
domain
physicalDomain
3
PhysicalDomain
)
engineering.kif 280-280
Die Zahl 3 Argument von
physicalDomain
ist ein
fall
von
PhysicalDomain
%n{nicht}
(
instance
physicalDomain
TernaryPredicate
)
engineering.kif 276-276
physicalDomain
ist ein
fall
von
TernaryPredicate
%n{nicht}
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
Wenn
hasAcrossVariable
MultipolePole
and
MultipoleVariable
und
hasThroughVariable
** MultipolePole
and
** MultipoleVariable
und
hasVariable
MultipoleQuantity
and
** MultipoleVariable
und
hasVariable
** MultipoleQuantity
and
** ** MultipoleVariable
und
hasDimension
** MultipoleQuantity
and
PhysicalDimension
und
hasDimension
** ** MultipoleQuantity
and
** PhysicalDimension
,
dann es gibt
PhysicalDomain
um
physicalDomain
** PhysicalDimension
,
** ** PhysicalDimension
and
** PhysicalDomain
appearance as argument number 0
(
physicalDomain
AngularVelocity
Torque
Rotary
)
engineering.kif 283-283
physicalDomain
AngularVelocity
,
Torque
and
Rotary
(
physicalDomain
Pressure
VolumeFlow
FluidPower
)
engineering.kif 285-285
physicalDomain
Pressure
,
VolumeFlow
and
FluidPower
(
physicalDomain
Velocity
Force
Translatory
)
engineering.kif 282-282
physicalDomain
Velocity
,
Force
and
Translatory
(
physicalDomain
Voltage
Current
Electrical
)
engineering.kif 284-284
physicalDomain
Voltage
,
Current
and
Electrical
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