Simple Browser
: 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:
UnitOfMeasureMultiplier
Sigma KEE - UnitOfMeasureMultiplier
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
UnitOfMeasureMultiplier
この C の各
instance
は
UnaryFunction
であり、単一の引数で評価すると、
UnitOfMeasure
は引数の数値倍数である別の
UnitOfMeasure
を生成する。
Relationships
Parents
合計値関係
A
Relation
is a
TotalValuedRelation
just in case there exists an assignment for the last argument position of the
Relation
given any assignment of values to every argument position except the last one. Note that declaring a
Relation
to be both a
TotalValuedRelation
and a
SingleValuedRelation
means that it is a total function.
1変数関数
The
Class
of
Function
s that require a single argument.
Show full definition (without tree view)
Show full 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