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
LatitudeFn
Sigma KEE - LatitudeFn
LatitudeFn
appearance as argument number 1
(
documentation
LatitudeFn
EnglishLanguage
"
LatitudeFn
is a
VariableArityRelation
used to denote a parallel of latitude. Examples: (
LatitudeFn
North
(
MeasureFn
38.0
AngularDegree
)), (
LatitudeFn
South
(
MeasureFn
23.0
AngularDegree
) (
MeasureFn
30.0
ArcMinute
)), (
LatitudeFn
South
(
MeasureFn
60.0
AngularDegree
) (
MeasureFn
0.0
ArcMinute
) (
MeasureFn
0.0
ArcSecond
)), (
LatitudeFn
North
(
MeasureFn
42.0
AngularDegree
) (
MeasureFn
7.89
ArcMinute
)).")
Geography.kif 413-419
(
domain
LatitudeFn
1
DirectionalAttribute
)
Geography.kif 406-406
Il numero 1 argomenti di
LatitudeFn
è un
istanza
di
AttributoDirezionale
(
domain
LatitudeFn
2
AngleMeasure
)
Geography.kif 407-407
Il numero 2 argomenti di
LatitudeFn
è un
istanza
di
MisuraAngolare
(
domain
LatitudeFn
3
AngleMeasure
)
Geography.kif 408-408
Il numero 3 argomenti di
LatitudeFn
è un
istanza
di
MisuraAngolare
(
domain
LatitudeFn
4
AngleMeasure
)
Geography.kif 409-409
Il numero 4 argomenti di
LatitudeFn
è un
istanza
di
MisuraAngolare
(
instance
LatitudeFn
Function
)
Geography.kif 405-405
LatitudeFn
è un'
istanza
di
Funzione
(
instance
LatitudeFn
VariableArityRelation
)
Geography.kif 404-404
LatitudeFn
è un'
istanza
di
RelazioneAdArit�Variabile
(
range
LatitudeFn
Region
)
Geography.kif 410-410
rango
di
LatitudeFn
è un'istanza di
Regione
appearance as argument number 2
(
format
ChineseLanguage
LatitudeFn
"%2 的 region %1 ")
domainEnglishFormat.kif 3734-3734
(
format
ChineseTraditionalLanguage
LatitudeFn
"%2 的 region %1 ")
domainEnglishFormat.kif 3733-3733
(
format
EnglishLanguage
LatitudeFn
"the region %1 of %2")
domainEnglishFormat.kif 3732-3732
(
termFormat
ChineseLanguage
LatitudeFn
"纬度")
domainEnglishFormat.kif 33479-33479
(
termFormat
ChineseTraditionalLanguage
LatitudeFn
"緯度")
domainEnglishFormat.kif 33478-33478
(
termFormat
EnglishLanguage
LatitudeFn
"Latitude")
Geography.kif 411-411
(
termFormat
EnglishLanguage
LatitudeFn
"latitude")
domainEnglishFormat.kif 33477-33477
antecedent
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
LatitudeFn
AttributoDirezionale
and @ROW è un'
istanza
di
Regione
1th
elemento
di (@ROW is
uguale
a
NumeroReale
AngularDegree
(s
NumeroReale
è
minore
o uguale a 90.0
(=>
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
or
(
equal
?DIRECTION
North
)
(
equal
?DIRECTION
South
)))
Geography.kif 421-425
LatitudeFn
AttributoDirezionale
and @ROW è un'
istanza
di
Regione
AttributoDirezionale
is
uguale
a
North
AttributoDirezionale
is
uguale
a
South
consequent
(=>
(
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 3595-3615
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Tropics
NumeroReale
Longitude
,
AttributoDirezionale
,
NumeroReale
and
Unit�DiMisura
objectGeographicCoordinates
Oggetto
,
NumeroReale
Unit�DiMisura
(s and
Longitude
Unit�DiMisura
è un'
istanza
di
UnitOfAngularMeasure
NumeroReale
è
meno
di
NumeroReale
NumeroReale
Unit�DiMisura
(s is
uguale
a
LatitudeFn
AttributoDirezionale
, 23.0
AngularDegree
(s, 26.0
ArcMinute
(s and 11.5
ArcSecond
(s
AttributoDirezionale
è un'
istanza
di
AttributoDirezionale
AttributoDirezionale
is
uguale
a
North
AttributoDirezionale
is
uguale
a
South
(=>
(
and
(
instance
?TC
TropicalCyclonicSystem
)
(
origin
?TC ?SEA)
(
or
(
instance
?SEA
NorthAtlanticOcean
)
(
instance
?SEA
PacificOcean
)
(
instance
?SEA
IndianOcean
)))
(
not
(
exists
(?AREA ?DIR ?NUM ?LONG)
(
and
(
located
?AREA ?SEA)
(
instance
?DIR
DirectionalAttribute
)
(
objectGeographicCoordinates
?AREA
(
LatitudeFn
?DIR
(
MeasureFn
?NUM
AngularDegree
)) ?LONG)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
))
(
lessThan
?NUM 5.0)))))
Weather.kif 611-630
Processo
è un'
istanza
di
TropicalCyclonicSystem
Processo
si
originas in
Oggetto
Oggetto
è un'
istanza
di
NorthAtlanticOcean
Oggetto
è un'
istanza
di
PacificOcean
Oggetto
è un'
istanza
di
IndianOcean
Oggetto
AttributoDirezionale
,
NumeroReale
and
Longitude
Oggetto
è
localizzato
in
Oggetto
AttributoDirezionale
è un'
istanza
di
AttributoDirezionale
objectGeographicCoordinates
Oggetto
,
LatitudeFn
AttributoDirezionale
and
NumeroReale
AngularDegree
(s and
Longitude
AttributoDirezionale
is
uguale
a
North
AttributoDirezionale
is
uguale
a
South
NumeroReale
è
meno
di5.0
(=>
(
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 433-440
AttributoDirezionale
is
uguale
a
North
AttributoDirezionale
is
uguale
a
South
la
lunghezza
di
LatitudeFn
AttributoDirezionale
, 0.0
AngularDegree
(s, 1.0
ArcMinute
(s and 0.0
ArcSecond
(s è 1.0
NauticalMile
(s
statement
(
objectGeographicCoordinates
(
GeographicCenterFn
SouthernOcean
)
(
LatitudeFn
South
(
MeasureFn
65.0
AngularDegree
)
(
MeasureFn
0.0
ArcMinute
))
(
LongitudeFn
East
(
MeasureFn
0.0
AngularDegree
)
(
MeasureFn
0.0
ArcMinute
)))
Geography.kif 4662-4669
objectGeographicCoordinates
GeographicCenterFn
SouthernOcean
,
LatitudeFn
South
, 65.0
AngularDegree
(s and 0.0
ArcMinute
(s and
LongitudeFn
East
, 0.0
AngularDegree
(s and 0.0
ArcMinute
(s
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