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
PerimeterAreaFn
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 772-774
(
domain
PerimeterAreaFn
1
Region
)
Geography.kif 769-769
Die Zahl 1 Argument von
PerimeterAreaFn
ist ein
fall
von
Region
%n{nicht}
(
instance
PerimeterAreaFn
UnaryFunction
)
Geography.kif 768-768
PerimeterAreaFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
PerimeterAreaFn
PerimeterArea
)
Geography.kif 770-770
Die werte die
PerimeterAreaFn
zurueckgibt sind
teilkategorien
von
PerimeterArea
appearance as argument number 2
(
format
ChineseLanguage
PerimeterAreaFn
"%1 的 perimeter 地区")
domainEnglishFormat.kif 1943-1943
(
format
ChineseTraditionalLanguage
PerimeterAreaFn
"%1 的 perimeter 地區")
domainEnglishFormat.kif 1942-1942
(
format
EnglishLanguage
PerimeterAreaFn
"the perimeter area of %1")
domainEnglishFormat.kif 1941-1941
(
termFormat
ChineseLanguage
PerimeterAreaFn
"周边区域")
domainEnglishFormat.kif 45182-45182
(
termFormat
ChineseTraditionalLanguage
PerimeterAreaFn
"周邊區域")
domainEnglishFormat.kif 45181-45181
(
termFormat
EnglishLanguage
PerimeterAreaFn
"perimeter area")
domainEnglishFormat.kif 45180-45180
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.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 863-872
Wenn
Object
ist
Outside
hinsichlich
Region
%n{nicht} und
** Object
ist ein
fall
von
PerimeterAreaFn
** Region
%n{nicht} und
** ** Object
ist ein
fall
von
UniformPerimeterArea
%n{nicht} und die
breite
von
** ** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und der
abstand
zwischen
** Object
und
** Region
ist
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und (
** ** RealNumber
und
** RealNumber
) ist
groesserAls
0.0 %n{nicht},
dann
** Object
befindet
sich an nicht
(=>
(
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.0))
(
located
?OBJ ?ZONE))
Geography.kif 852-861
Wenn
Object
ist
Outside
hinsichlich
Region
%n{nicht} und
** Object
ist ein
fall
von
PerimeterAreaFn
** Region
%n{nicht} und
** ** Object
ist ein
fall
von
UniformPerimeterArea
%n{nicht} und die
breite
von
** ** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und der
abstand
zwischen
** Object
und
** Region
ist
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und (
** ** RealNumber
und
** RealNumber
) ist
kleinerAlsOderGleich
0.0 %n{nicht},
dann
** Object
befindet
sich an %n{nicht}
(=>
(
instance
?zone
(
PerimeterAreaFn
?region))
(
meetsSpatially
?zone ?region))
Geography.kif 776-778
Wenn
Object
ist ein
fall
von
PerimeterAreaFn
Region
%n{nicht},
dann
** Object
schliesst
** Region
raeumlich an
consequent
(=>
(
instance
?region
GeopoliticalArea
)
(
instance
(
MaritimeClaimsTerritorialSeaFn
?region)
(
PerimeterAreaFn
?region)))
Geography.kif 787-789
Wenn
Region
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
MaritimeClaimsTerritorialSeaFn
** Region
ist ein
fall
von
PerimeterAreaFn
** Region
%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