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
angularMeasure
Sigma KEE - angularMeasure
angularMeasure
appearance as argument number 1
(
documentation
angularMeasure
ChineseLanguage
"(
angularMeasure
?ANGLE ?MEASURE)的意思是 二维几何角度 ?ANGLE 的
PlaneAngleMeasure
是 ?MEASURE。")
chinese_format.kif 3993-3994
(
documentation
angularMeasure
EnglishLanguage
"(
angularMeasure
?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has ?MEASURE.")
Merge.kif 17869-17870
(
domain
angularMeasure
1
TwoDimensionalAngle
)
Merge.kif 17867-17867
angularMeasure
の数値 1 引数は
TwoDimensionalAngle
の
instance
では %n
(
domain
angularMeasure
2
RealNumber
)
Merge.kif 17868-17868
angularMeasure
の数値 2 引数は
実数
の
instance
では %n
(
instance
angularMeasure
BinaryPredicate
)
Merge.kif 17865-17865
angularMeasure
は
2進述語
の
instance
では %n
(
instance
angularMeasure
TotalValuedRelation
)
Merge.kif 17866-17866
angularMeasure
は
合計値関係
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
angularMeasure
"%2 %n 是 %1 的 angular 量测")
domainEnglishFormat.kif 144-144
(
format
ChineseTraditionalLanguage
angularMeasure
"%2 %n 是 %1 的 angular 量測")
domainEnglishFormat.kif 143-143
(
format
EnglishLanguage
angularMeasure
"%2 is %n an angular measure of %1")
domainEnglishFormat.kif 142-142
(
termFormat
ChineseLanguage
angularMeasure
"圆周角度测量")
domainEnglishFormat.kif 7542-7542
(
termFormat
ChineseTraditionalLanguage
angularMeasure
"圓周角度測量")
domainEnglishFormat.kif 7541-7541
(
termFormat
EnglishLanguage
angularMeasure
"angular measure")
domainEnglishFormat.kif 7540-7540
antecedent
(=>
(
and
(
instance
?A
AcuteAngle
)
(
angularMeasure
?A ?N))
(
lessThan
?N 90.0))
Mid-level-ontology.kif 4868-4872
TwoDimensionalAngle
は
AcuteAngle
の
instance
では %n
angularMeasure
TwoDimensionalAngle
and
実数
実数
は 90.0 より
less
では %n
(=>
(
and
(
instance
?A
ObliqueAngle
)
(
angularMeasure
?A ?N))
(
greaterThan
?N 90.0))
Mid-level-ontology.kif 4848-4852
TwoDimensionalAngle
は
ObliqueAngle
の
instance
では %n
angularMeasure
TwoDimensionalAngle
and
実数
実数
は 90.0 より
greater
では %n
consequent
(=>
(
instance
?A
RightAngle
)
(
angularMeasure
?A 90.0))
Mid-level-ontology.kif 4859-4861
TwoDimensionalAngle
は
RightAngle
の
instance
では %n
angularMeasure
TwoDimensionalAngle
and 90.0
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