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
Il numero 1 argomenti di
physicalDomain
è un
istanza
di
PhysicalDimension
(
domain
physicalDomain
2
PhysicalDimension
)
engineering.kif 279-279
Il numero 2 argomenti di
physicalDomain
è un
istanza
di
PhysicalDimension
(
domain
physicalDomain
3
PhysicalDomain
)
engineering.kif 280-280
Il numero 3 argomenti di
physicalDomain
è un
istanza
di
PhysicalDomain
(
instance
physicalDomain
TernaryPredicate
)
engineering.kif 276-276
physicalDomain
è un'
istanza
di
PredicatoTernario
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
hasAcrossVariable
MultipolePole
and
MultipoleVariable
hasThroughVariable
MultipolePole
and
MultipoleVariable
hasVariable
MultipoleQuantity
and
MultipoleVariable
hasVariable
MultipoleQuantity
and
MultipoleVariable
hasDimension
MultipoleQuantity
and
PhysicalDimension
hasDimension
MultipoleQuantity
and
PhysicalDimension
PhysicalDomain
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