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
OccludedFront
Sigma KEE - geographicSubregion
geographicSubregion
appearance as argument number 1
(
documentation
geographicSubregion
ChineseLanguage
"(
geographicSubregion
?PART ?WHOLE)的 意思是
GeographicArea
?PART 是
GeographicArea
?WHOLE 的一部分。")
chinese_format.kif 1438-1439
(
documentation
geographicSubregion
EnglishLanguage
"(
geographicSubregion
?PART ?WHOLE) means that the
GeographicArea
?PART is part of the
GeographicArea
?WHOLE.")
Merge.kif 14071-14073
(
domain
geographicSubregion
1
GeographicArea
)
Merge.kif 14069-14069
Die Zahl 1 Argument von
geographicSubregion
ist ein
fall
von
GeographicArea
%n{nicht}
(
domain
geographicSubregion
2
GeographicArea
)
Merge.kif 14070-14070
Die Zahl 2 Argument von
geographicSubregion
ist ein
fall
von
GeographicArea
%n{nicht}
(
instance
geographicSubregion
AsymmetricRelation
)
Merge.kif 14066-14066
geographicSubregion
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
geographicSubregion
BinaryPredicate
)
Merge.kif 14064-14064
geographicSubregion
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
geographicSubregion
TransitiveRelation
)
Merge.kif 14065-14065
geographicSubregion
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
subrelation
geographicSubregion
located
)
Merge.kif 14068-14068
geographicSubregion
ist eine
teilrelation
von
befindetSich
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14067-14067
geographicSubregion
ist eine
teilrelation
von
korrektesTeil
appearance as argument number 2
(
format
ChineseLanguage
geographicSubregion
"%1 %n 是 %2 的 geographic 次要地区")
domainEnglishFormat.kif 1097-1097
(
format
ChineseTraditionalLanguage
geographicSubregion
"%1 %n 是 %2 的 geographic 次要地區")
domainEnglishFormat.kif 1096-1096
(
format
EnglishLanguage
geographicSubregion
"%1 is %n a geographic subregion of %2")
domainEnglishFormat.kif 1095-1095
(
subrelation
geopoliticalSubdivision
geographicSubregion
)
Merge.kif 14111-14111
geopoliticalSubdivision
ist eine
teilrelation
von
geographicSubregion
(
termFormat
ChineseLanguage
geographicSubregion
"地理分区域")
domainEnglishFormat.kif 25776-25776
(
termFormat
ChineseTraditionalLanguage
geographicSubregion
"地理分區域")
domainEnglishFormat.kif 25775-25775
(
termFormat
EnglishLanguage
geographicSubregion
"geographic subregion")
domainEnglishFormat.kif 25774-25774
antecedent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
ElevationHighPointFn
** GeographicArea
and
** GeographicArea
und
elevation
ElevationHighPointFn
** GeographicArea
and
RealNumber
UnitOfMeasure
(s),
dann es gibt nicht
** GeographicArea
und
** RealNumber
um
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist gleich
ElevationHighPointFn
** GeographicArea
nicht und
elevation
** ** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
ElevationLowPointFn
** GeographicArea
and
** GeographicArea
und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
elevation
ElevationLowPointFn
** GeographicArea
and
RealNumber
** UnitOfMeasure
(s),
dann es gibt nicht
** GeographicArea
und
** RealNumber
um
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist gleich
ElevationLowPointFn
** GeographicArea
nicht und
elevation
** ** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
Wenn
GeographicArea
ist ein
fall
von
Nation
%n{nicht} und
geographicSubregion
** GeographicArea
and
NorthAmerica
oder
geographicSubregion
** GeographicArea
and
SouthAmerica
oder
geographicSubregion
** GeographicArea
and
WesternEurope
,
dann
nationalHoliday
** GeographicArea
and
ChristmasDay
haelt
waehrend
die
zeit
des Bestehens von
** GeographicArea
%n{nicht}
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5380-5395
Wenn
GeographicArea
ist ein
fall
von
InlandWaterSystem
%n{nicht} und
** GeographicArea
ist ein
fall
von
WaterArea
%n{nicht} und
** GeographicArea
ist ein
fall
von
WaterArea
%n{nicht} und
** ** GeographicArea
ist gleich
** ** GeographicArea
nicht und
** ** GeographicArea
wird an
** ** GeographicArea
nicht angeschlossen und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
,
dann es gibt
Object
um
** Object
ist ein
fall
von
WaterArea
%n{nicht} und
** Object
ist gleich
** ** GeographicArea
nicht und
** Object
ist gleich
** ** GeographicArea
nicht und
** Object
ist ein
teil
von
** GeographicArea
%n{nicht} und
** Object
schleisst
** ** GeographicArea
und
** ** GeographicArea
an
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23386-23390
Wenn
locatedAtTime
Object
,
TimePosition
and
GeographicArea
und
geographicSubregion
** GeographicArea
and
** GeographicArea
,
dann
locatedAtTime
** Object
,
** TimePosition
and
** ** GeographicArea
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
Wenn
naturalHazardTypeInArea
GeographicArea
and
** Physical
und
geographicSubregion
** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist ein
fall
von
Nation
%n{nicht},
dann
naturalHazardTypeInArea
** ** GeographicArea
and
** Physical
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
Wenn
Physical
befindet
sich
teils
an %n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
** GeographicArea
and
** GeographicArea
,
dann
** Physical
befindet
sich
teils
an %n{nicht}
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
instance
?AREA
StateOrProvince
))
(
postDistrict
?PLACE ?AREA))
Mid-level-ontology.kif 24721-24726
Wenn
postCity
PostalPlace
and
City
und
geographicSubregion
** City
and
StateOrProvince
und
** StateOrProvince
ist ein
fall
von
StateOrProvince
%n{nicht},
dann
postDistrict
** PostalPlace
and
** StateOrProvince
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24728-24735
Wenn
postCity
PostalPlace
and
City
und
geographicSubregion
** City
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} oder
** GeopoliticalArea
ist ein
fall
von
DependencyOrSpecialSovereigntyArea
%n{nicht},
dann
postCountry
** PostalPlace
and
** GeopoliticalArea
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24682-24687
Wenn
postNeighborhood
PostalPlace
and
Neighborhood
und
geographicSubregion
** Neighborhood
and
City
und
** City
ist ein
fall
von
City
%n{nicht},
dann
postCity
** PostalPlace
and
** City
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?STATE)
(
instance
?STATE
StateOrProvince
))
(
postDistrict
?PLACE ?STATE))
Mid-level-ontology.kif 24689-24694
Wenn
postNeighborhood
PostalPlace
and
Neighborhood
und
geographicSubregion
** Neighborhood
and
StateOrProvince
und
** StateOrProvince
ist ein
fall
von
StateOrProvince
%n{nicht},
dann
postDistrict
** PostalPlace
and
** StateOrProvince
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24796-24801
Wenn
postPostcodeArea
PostalPlace
and
PostcodeArea
und
geographicSubregion
** PostcodeArea
and
City
und
** City
ist ein
fall
von
City
%n{nicht},
dann
postCity
** PostalPlace
and
** City
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?GEO)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 24803-24808
Wenn
postPostcodeArea
PostalPlace
and
PostcodeArea
und
geographicSubregion
** PostcodeArea
and
StateOrProvince
und
** StateOrProvince
ist ein
fall
von
StateOrProvince
%n{nicht},
dann
postDistrict
** PostalPlace
and
** StateOrProvince
consequent
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
Wenn
arableLandArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht},
dann es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
ArableLand
%n{nicht} und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und das
mass
von
** ** GeographicArea
ist
** RealNumber
und
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht}
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
Wenn
DislocatedCivilian
ist ein
attribut
von
entity
%n{nicht} und
** entity
wohnt in
** entity
und
** ** entity
befindet
sich an %n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
,
** entity
-PLACE, and und
** ** entity
-RES um
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
** ** entity
-RES ist ein
fall
von
Object
%n{nicht} und
** ** entity
-PLACE ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** ** entity
-RES
befindet
sich an %n{nicht} und
** GeographicArea
ist gleich
** ** entity
-PLACE nicht und
** ** entity
ist gleich
** ** entity
-RES nicht und
geographicSubregion
** GeographicArea
and
** ** entity
-PLACE und
geographicSubregion
** ** entity
-PLACE and
** GeographicArea
und
** entity
wohnt in
** ** entity
-RES haelt
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
ElevationHighPointFn
** GeographicArea
and
** GeographicArea
und
elevation
ElevationHighPointFn
** GeographicArea
and
RealNumber
UnitOfMeasure
(s),
dann es gibt nicht
** GeographicArea
und
** RealNumber
um
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist gleich
ElevationHighPointFn
** GeographicArea
nicht und
elevation
** ** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
ElevationLowPointFn
** GeographicArea
and
** GeographicArea
und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
elevation
ElevationLowPointFn
** GeographicArea
and
RealNumber
** UnitOfMeasure
(s),
dann es gibt nicht
** GeographicArea
und
** RealNumber
um
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist gleich
ElevationLowPointFn
** GeographicArea
nicht und
elevation
** ** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
Wenn
DirectionalAttribute
ist ein
fall
von
DirectionalAttribute
%n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
geographicSubregion
DirectionalSubregionFn
** DirectionalAttribute
and
** GeographicArea
and
** GeographicArea
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
agent
?EV ?A))
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
geographicSubregion
?OR
(
WhereFn
?P
(
BeginFn
(
WhenFn
?EV))))
(
causes
?P ?EV)
(
believes
?A
(
attribute
?P
Dangerous
)))))
MilitaryProcesses.kif 2516-2530
Wenn
Process
ist ein
fall
von
Evacuation
%n{nicht} und
** Process
beginnet an
GeographicArea
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Process
%n{nicht} und
geographicSubregion
** GeographicArea
and die Stelle
wo
** ** Process
an der
anfang
von die
zeit
des Bestehens von
** Process
war und
** ** Process
verursacht
** Process
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
Dangerous
ist ein
attribut
von
** ** Process
%n{nicht}
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
GeographicCenterFn
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht},
dann
geographicSubregion
GeographicCenterFn
** GeographicArea
and
** GeographicArea
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
Wenn
ServiceProcess
ist ein
fall
von
WaterTransportationService
%n{nicht} und
serviceProvider
** ServiceProcess
and
CognitiveAgent
und
CoastalAndGreatLakesFreightTransportation
ist ein
attribut
von
** CognitiveAgent
%n{nicht},
dann es gibt
Process
,
Object
, and und
GeographicArea
um
** Process
ist ein
subProzess
von
** ServiceProcess
und
** Process
ist ein
fall
von
WaterTransportation
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
** Object
ist ein
fall
von
CargoShip
%n{nicht} und
eventLocated
** Process
and
** GeographicArea
und
** GeographicArea
ist ein
fall
von
WaterArea
%n{nicht} und
geographicSubregion
** GeographicArea
and
UnitedStates
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesPassengerTransportation
))
(
exists
(?CRUISE ?SHIP ?WATER)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8207-8225
Wenn
ServiceProcess
ist ein
fall
von
WaterTransportationService
%n{nicht} und
serviceProvider
** ServiceProcess
and
CognitiveAgent
und
CoastalAndGreatLakesPassengerTransportation
ist ein
attribut
von
** CognitiveAgent
%n{nicht},
dann es gibt
Process
,
Object
, and und
GeographicArea
um
** Process
ist ein
subProzess
von
** ServiceProcess
und
** Process
ist ein
fall
von
WaterTransportation
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
** Object
ist ein
fall
von
PassengerShip
%n{nicht} und
eventLocated
** Process
and
** GeographicArea
und
** GeographicArea
ist ein
fall
von
WaterArea
%n{nicht} und
geographicSubregion
** GeographicArea
and
UnitedStates
und es gibt nicht
Entity
um
** Entity
ist ein
fall
von
ShortSeaPassengerShip
%n{nicht} und
** Object
ist gleich
** Entity
%n{nicht}
(=>
(
and
(
irrigatedLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?IRRLAND)
(
and
(
instance
?IRRLAND
IrrigatedLand
)
(
geographicSubregion
?IRRLAND ?REGION)
(
measure
?IRRLAND
(
MeasureFn
?AMOUNT ?UNIT)))))
Geography.kif 2239-2249
Wenn
irrigatedLandArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht},
dann es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
IrrigatedLand
%n{nicht} und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und das
mass
von
** ** GeographicArea
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht}
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?OTHER)
(
and
(
instance
?OTHER
LandArea
)
(
not
(
instance
?OTHER
ArableLand
))
(
not
(
instance
?OTHER
PermanentCropLand
))
(
geographicSubregion
?OTHER ?REGION)
(
measure
?OTHER
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2178-2196
Wenn
otherLandUseArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht},
dann es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
LandArea
%n{nicht} und
** ** GeographicArea
ist ein
fall
von
ArableLand
nicht und
** ** GeographicArea
ist ein
fall
von
PermanentCropLand
nicht und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und das
mass
von
** ** GeographicArea
ist
** RealNumber
und
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht}
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?PERMCROP)
(
and
(
instance
?PERMCROP
PermanentCropLand
)
(
geographicSubregion
?PERMCROP ?REGION)
(
measure
?PERMCROP
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2138-2152
Wenn
permanentCropLandArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht},
dann es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
PermanentCropLand
%n{nicht} und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und das
mass
von
** ** GeographicArea
ist
** RealNumber
und
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht}
(=>
(
instance
?AREA
Continent
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3515-3517
Wenn
GeographicArea
ist ein
fall
von
Continent
%n{nicht},
dann
geographicSubregion
** GeographicArea
and
PlanetEarth
(=>
(
instance
?AREA
Hemisphere
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3468-3470
Wenn
GeographicArea
ist ein
fall
von
Hemisphere
%n{nicht},
dann
geographicSubregion
** GeographicArea
and
PlanetEarth
(=>
(
instance
?AREA
PostcodeArea
)
(
exists
(?GEO)
(
geographicSubregion
?AREA ?GEO)))
Mid-level-ontology.kif 24774-24777
Wenn
GeographicArea
ist ein
fall
von
PostcodeArea
%n{nicht},
dann es gibt
** GeographicArea
um
geographicSubregion
** GeographicArea
and
** ** GeographicArea
(=>
(
instance
?PLACE
Neighborhood
)
(
exists
(?AREA)
(
geographicSubregion
?PLACE ?AREA)))
Mid-level-ontology.kif 24662-24665
Wenn
GeographicArea
ist ein
fall
von
Neighborhood
%n{nicht},
dann es gibt
** GeographicArea
um
geographicSubregion
** GeographicArea
and
** ** GeographicArea
(=>
(
instance
?PORT
DeepDraftPort
)
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
DeepDraftHarbor
)
(
geographicSubregion
?HARBOR ?PORT))))
Transportation.kif 888-893
Wenn
GeographicArea
ist ein
fall
von
DeepDraftPort
%n{nicht},
dann es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
DeepDraftHarbor
%n{nicht} und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
(=>
(
instance
?STORM
TropicalCyclonicSystem
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
geographicSubregion
?PLACE
Tropics
)
(
origin
?STORM ?PLACE))))
Weather.kif 615-621
Wenn
Process
ist ein
fall
von
TropicalCyclonicSystem
%n{nicht},
dann es gibt
GeographicArea
um
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
** GeographicArea
and
Tropics
und
** Process
beginnet an
** GeographicArea
%n{nicht}
(=>
(
instance
?SYSTEM
InlandWaterSystem
)
(
exists
(?BODY1 ?BODY2)
(
and
(
instance
?BODY1
BodyOfWater
)
(
instance
?BODY2
BodyOfWater
)
(
not
(
equal
?BODY1 ?BODY2))
(
geographicSubregion
?BODY1 ?SYSTEM)
(
geographicSubregion
?BODY2 ?SYSTEM))))
Geography.kif 5348-5356
Wenn
GeographicArea
ist ein
fall
von
InlandWaterSystem
%n{nicht},
dann es gibt
** GeographicArea
und
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
BodyOfWater
%n{nicht} und
** ** GeographicArea
ist ein
fall
von
BodyOfWater
%n{nicht} und
** ** GeographicArea
ist gleich
** ** GeographicArea
nicht und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
appearance as argument number 0
(
geographicSubregion
AdanaTurkey
Turkey
)
CountriesAndRegions.kif 2494-2494
geographicSubregion
AdanaTurkey
and
Turkey
(
geographicSubregion
AddisAbabaEthiopia
Ethiopia
)
CountriesAndRegions.kif 2496-2496
geographicSubregion
AddisAbabaEthiopia
and
Ethiopia
(
geographicSubregion
AdenYemen
Yemen
)
CountriesAndRegions.kif 2498-2498
geographicSubregion
AdenYemen
and
Yemen
(
geographicSubregion
AdoraWestBank
WestBank
)
CountriesAndRegions.kif 2500-2500
geographicSubregion
AdoraWestBank
and
WestBank
(
geographicSubregion
Afghanistan
SouthernAsia
)
CountriesAndRegions.kif 567-567
geographicSubregion
Afghanistan
and
SouthernAsia
(
geographicSubregion
Africa
EasternHemisphere
)
Geography.kif 3525-3525
geographicSubregion
Africa
and
EasternHemisphere
(
geographicSubregion
AfulaIsrael
Israel
)
CountriesAndRegions.kif 2502-2502
geographicSubregion
AfulaIsrael
and
Israel
(
geographicSubregion
AgriTurkey
Turkey
)
CountriesAndRegions.kif 2504-2504
geographicSubregion
AgriTurkey
and
Turkey
(
geographicSubregion
AinDeflaAlgeria
Algeria
)
CountriesAndRegions.kif 2506-2506
geographicSubregion
AinDeflaAlgeria
and
Algeria
(
geographicSubregion
AinElHajarAlgeria
Algeria
)
CountriesAndRegions.kif 2508-2508
geographicSubregion
AinElHajarAlgeria
and
Algeria
(
geographicSubregion
AjaccioFrance
France
)
CountriesAndRegions.kif 2510-2510
geographicSubregion
AjaccioFrance
and
France
(
geographicSubregion
AlBalamandLebanon
Lebanon
)
CountriesAndRegions.kif 2512-2512
geographicSubregion
AlBalamandLebanon
and
Lebanon
(
geographicSubregion
Albania
SoutheasternEurope
)
CountriesAndRegions.kif 370-370
geographicSubregion
Albania
and
SoutheasternEurope
(
geographicSubregion
AleiSinaiGazaStrip
GazaStrip
)
CountriesAndRegions.kif 2514-2514
geographicSubregion
AleiSinaiGazaStrip
and
GazaStrip
(
geographicSubregion
AleiZahavWestBank
WestBank
)
CountriesAndRegions.kif 2516-2516
geographicSubregion
AleiZahavWestBank
and
WestBank
(
geographicSubregion
AleyLebanon
Lebanon
)
CountriesAndRegions.kif 2518-2518
geographicSubregion
AleyLebanon
and
Lebanon
(
geographicSubregion
Algeria
NorthernAfrica
)
CountriesAndRegions.kif 116-116
geographicSubregion
Algeria
and
NorthernAfrica
(
geographicSubregion
AlgiersAlgeria
Algeria
)
CountriesAndRegions.kif 2520-2520
geographicSubregion
AlgiersAlgeria
and
Algeria
(
geographicSubregion
AlkhanYurtRussia
Russia
)
CountriesAndRegions.kif 2522-2522
geographicSubregion
AlkhanYurtRussia
and
Russia
(
geographicSubregion
AlonMorehWestBank
WestBank
)
CountriesAndRegions.kif 2524-2524
geographicSubregion
AlonMorehWestBank
and
WestBank
(
geographicSubregion
AmbonIndonesia
Indonesia
)
CountriesAndRegions.kif 2526-2526
geographicSubregion
AmbonIndonesia
and
Indonesia
(
geographicSubregion
AmericanSamoa
Oceania
)
CountriesAndRegions.kif 659-659
geographicSubregion
AmericanSamoa
and
Oceania
(
geographicSubregion
AmmanJordan
Jordan
)
CountriesAndRegions.kif 2528-2528
geographicSubregion
AmmanJordan
and
Jordan
(
geographicSubregion
AnNuwaydiratBahrain
Bahrain
)
CountriesAndRegions.kif 2530-2530
geographicSubregion
AnNuwaydiratBahrain
and
Bahrain
(
geographicSubregion
AndeanSpain
Spain
)
CountriesAndRegions.kif 2532-2532
geographicSubregion
AndeanSpain
and
Spain
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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