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
SquareUnitFn
Sigma KEE - SquareUnitFn
SquareUnitFn
appearance as argument number 1
(
documentation
SquareUnitFn
EnglishLanguage
"(
SquareUnitFn
?UNIT) denotes the
UnitOfMeasure
that is the square of the
UnitOfMeasure
?UNIT. For example, (
SquareUnitFn
(
KiloFn
Meter
)) denotes the unit of a square kilometer.")
Geography.kif 3967-3970
(
domain
SquareUnitFn
1
UnitOfMeasure
)
Geography.kif 3964-3964
Die Zahl 1 Argument von
SquareUnitFn
ist ein
fall
von
UnitOfMeasure
%n{nicht}
(
instance
SquareUnitFn
UnaryFunction
)
Geography.kif 3963-3963
SquareUnitFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
SquareUnitFn
UnitOfMeasure
)
Geography.kif 3965-3965
bildbereich
von
SquareUnitFn
ist ein fall von
UnitOfMeasure
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
SquareUnitFn
"%1 的 square 单位")
domainEnglishFormat.kif 2335-2335
(
format
ChineseTraditionalLanguage
SquareUnitFn
"%1 的 square 單位")
domainEnglishFormat.kif 2334-2334
(
format
EnglishLanguage
SquareUnitFn
"the square unit of %1")
domainEnglishFormat.kif 2333-2333
(
termFormat
ChineseLanguage
SquareUnitFn
"方形单位")
domainEnglishFormat.kif 54896-54896
(
termFormat
ChineseTraditionalLanguage
SquareUnitFn
"方形單位")
domainEnglishFormat.kif 54895-54895
(
termFormat
EnglishLanguage
SquareUnitFn
"square unit")
domainEnglishFormat.kif 54894-54894
statement
(
equal
SquareKilometer
(
SquareUnitFn
(
KiloFn
Meter
)))
Geography.kif 3973-3973
SquareKilometer
ist gleich
SquareUnitFn
1
tausend
Meter
%n{nicht}
(
equal
SquareMeter
(
SquareUnitFn
Meter
))
Geography.kif 3972-3972
SquareMeter
ist gleich
SquareUnitFn
Meter
%n{nicht}
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