Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GreekLanguage
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
de
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  PerimeterAreaFn
PerimeterAreaFn
appearance as argument number 1
(
documentation
PerimeterAreaFn
EnglishLanguage
"(
PerimeterAreaFn
?REGION) denotes a class including any peripheral zones extending outward from the
Region
?REGION.")
Geography.kif 764766
(
domain
PerimeterAreaFn
1
Region
)
Geography.kif 761761
The number 1 argument of
perimeter area
is an
instance
of
region
(
instance
PerimeterAreaFn
UnaryFunction
)
Geography.kif 760760
Perimeter area
is an
instance
of
unary function
(
rangeSubclass
PerimeterAreaFn
PerimeterArea
)
Geography.kif 762762
The values returned by
perimeter area
are
subclasses
of
perimeter area
appearance as argument number 2
(
format
EnglishLanguage
PerimeterAreaFn
"the perimeter area of %1")
domainEnglishFormat.kif 494494
(
termFormat
EnglishLanguage
PerimeterAreaFn
"perimeter area")
domainEnglishFormat.kif 79517951
"perimeter area" is the
printable
form
of
perimeter area
in
english language
antecedent
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 849858
If
an object
is
outside
to
a region
and
another object
is an
instance
of the
perimeter
area of
the region
and
the other object
is an
instance
of
uniform perimeter area
and the
width
of
the other object
is
a real number
an unit of measure
(s) and the
distance
between
the object
and
the region
is
another real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and (
the other real number
and
the real number
) is
greater
than 0,
then
the object
is not
located
at
the other object
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
lessThanOrEqualTo
(
SubtractionFn
?FAR ?LIMIT) 0))
(
located
?OBJ ?ZONE))
Geography.kif 838847
If
an object
is
outside
to
a region
and
another object
is an
instance
of the
perimeter
area of
the region
and
the other object
is an
instance
of
uniform perimeter area
and the
width
of
the other object
is
a real number
an unit of measure
(s) and the
distance
between
the object
and
the region
is
another real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and (
the other real number
and
the real number
) is
less
than or equal to 0,
then
the object
is
located
at
the other object
(=>
(
instance
?zone
(
PerimeterAreaFn
?region))
(
meetsSpatially
?zone ?region))
Geography.kif 768770
If
an object
is an
instance
of the
perimeter
area of
a region
,
then
the object
meet
s
the region
consequent
(=>
(
instance
?region
GeopoliticalArea
)
(
instance
(
MaritimeClaimsTerritorialSeaFn
?region)
(
PerimeterAreaFn
?region)))
Geography.kif 779781
If
a region
is an
instance
of
geopolitical area
,
then the
maritime
claims territorial sea of
the region
is an
instance
of the
perimeter
area of
the region
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners