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
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  ArcSecond
ArcSecond
(arc second)
appearance as argument number 1
(
documentation
ArcSecond
EnglishLanguage
"
ArcSecond
represents a
UnitOfMeasure
equivalent to 1/ 60th of an
ArcMinute
.")
Geography.kif 386387
(
instance
ArcSecond
UnitOfAngularMeasure
)
Geography.kif 385385
Arc second
is an
instance
of
unit of angular measure
appearance as argument number 2
(
termFormat
ChineseLanguage
ArcSecond
"弧秒")
domainEnglishFormat.kif 82628262
(
termFormat
ChineseTraditionalLanguage
ArcSecond
"弧秒")
domainEnglishFormat.kif 82618261
(
termFormat
EnglishLanguage
ArcSecond
"arc second")
domainEnglishFormat.kif 82608260
antecedent
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcSecond
))
(
greaterThanOrEqualTo
?NUMBER 0.0))
Geography.kif 389391
If the
measure
of
a physical
is
a real number
arc second
(s),
then
the real number
is
greater
than or equal to 0.0
(=>
(
measure
?ANGLE
(
MeasureFn
?NUMBER
ArcSecond
))
(
lessThanOrEqualTo
?NUMBER 60.0))
Geography.kif 393395
If the
measure
of
a physical
is
a real number
arc second
(s),
then
the real number
is
less
than or equal to 60.0
consequent
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397399
The
measure
of
a physical
is
a real number
arc minute
(s) if and only if the
measure
of
the physical
is 60.0 and
the real number
arc second
(s)
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 35953615
If
an object
is an
instance
of
geographic area
and
the object
is
located
at
another object
and
the other object
is an
instance
of
tropics
,
then there exist
a real number
,
a longitude
,, ,
a directional attribute
,, ,
another real number
and
an unit of measure
such that
the object
is
object
geographic coordinates
the real number
the unit of measure
(s) for
the longitude
and
the unit of measure
is an
instance
of
unit of angular measure
and
the real number
is
less
than
the other real number
and
the other real number
the unit of measure
(s) is
equal
to the
region
the directional attribute
of 23.0
angular degree
(s) and
the directional attribute
is an
instance
of
directional attribute
and
the directional attribute
is
equal
to
north
or
the directional attribute
is
equal
to
south
(=>
(
or
(
equal
?DIRECTION
North
)
(
equal
?DIRECTION
South
))
(
length
(
LatitudeFn
?DIRECTION
(
MeasureFn
0.0
AngularDegree
)
(
MeasureFn
1.0
ArcMinute
)
(
MeasureFn
0.0
ArcSecond
))
(
MeasureFn
1.0
NauticalMile
)))
Geography.kif 433440
If
a directional attribute
is
equal
to
north
or
the directional attribute
is
equal
to
south
,
then the
length
of the
region
the directional attribute
of 0.0
angular degree
(s) is 1.0
nautical mile
(s)
statement
(
equal
(
MeasureFn
1.0
ArcMinute
)
(
MeasureFn
60.0
ArcSecond
))
Geography.kif 401401
1.0
Arc minute
(s) is
equal
to 60.0
arc second
(s)
(
equal
(
MeasureFn
?DEG
ArcMinute
)
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
))
Geography.kif 402402
A real number
arc minute
(s) is
equal
to 60.0 and
the real number
arc second
(s)
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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