Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6493-6501
vegetationType
地理的地域
and
植物
植物
は
植物
の
subclass
では
地理的地域
は
地理的地域
の
instance
では
物理
物理
は
植物
の
instance
では
物理
は
地理的地域
に
located
して
(=>
(
and
(
subclass
?TYPE
Translocation
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(
capability
?TYPE ?ROLE ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 3223-3232
工程
は
Translocation
の
subclass
では
工程
は
工程
の
instance
では
eventLocated
工程
and
地域
格役割
は
格役割
の
instance
では
オブジェクト
は
オブジェクト
の
instance
では
地域
は
地理的地域
の
instance
では
オブジェクト
は
工程
を
格役割
として行う
capable
では
capableAtLocation
工程
,
格役割
,
オブジェクト
and
地域
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6503-6511
vegetationType
地理的地域
and
植物
植物
は
植物
の
subclass
では
地理的地域
は
地理的地域
の
instance
では
物理
物理
は
植物
の
instance
では
物理
は
地理的地域
に
located
して
(
subclass
GeographicArea
Region
)
Merge.kif 14184-14184
地理的地域
は
地域
の
subclass
では
(
subclass
ParkingLot
GeographicArea
)
TransportDetail.kif 77-77
ParkingLot
は
地理的地域
の
subclass
では
(
subclass
BusStop
GeographicArea
)
Transportation.kif 2125-2125
BusStop
は
地理的地域
の
subclass
では
(
subclass
IllicitDrugMoneyLaunderingArea
GeographicArea
)
TransnationalIssues.kif 79-79
IllicitDrugMoneyLaunderingArea
は
地理的地域
の
subclass
では
(
subclass
MilitaryFront
GeographicArea
)
Mid-level-ontology.kif 10220-10220
MilitaryFront
は
地理的地域
の
subclass
では
(
subclass
Marketplace
GeographicArea
)
Mid-level-ontology.kif 24076-24076
Marketplace
は
地理的地域
の
subclass
では
(
subclass
TouristSite
GeographicArea
)
Mid-level-ontology.kif 24253-24253
TouristSite
は
地理的地域
の
subclass
では
(
subclass
Neighborhood
GeographicArea
)
Mid-level-ontology.kif 26319-26319
Neighborhood
は
地理的地域
の
subclass
では
(
subclass
LocalizablePlace
GeographicArea
)
Merge.kif 14193-14193
LocalizablePlace
は
地理的地域
の
subclass
では
(
subclass
GeopoliticalArea
GeographicArea
)
Merge.kif 14206-14206
地政学的地域
は
地理的地域
の
subclass
では
(
subclass
WaterArea
GeographicArea
)
Merge.kif 14273-14273
水域
は
地理的地域
の
subclass
では
(
subclass
LandArea
GeographicArea
)
Merge.kif 14306-14306
土地面積
は
地理的地域
の
subclass
では
(
subclass
SurfaceGroundArea
GeographicArea
)
Geography.kif 732-732
SurfaceGroundArea
は
地理的地域
の
subclass
では
(
subclass
WaterOnlyArea
GeographicArea
)
Geography.kif 757-757
WaterOnlyArea
は
地理的地域
の
subclass
では
(
subclass
InternationalBorder
GeographicArea
)
Geography.kif 893-893
InternationalBorder
は
地理的地域
の
subclass
では
(
subclass
Checkpoint
GeographicArea
)
Geography.kif 898-898
Checkpoint
は
地理的地域
の
subclass
では
(
subclass
MaritimeClaimArea
GeographicArea
)
Geography.kif 1185-1185
MaritimeClaimArea
は
地理的地域
の
subclass
では
(
subclass
GeologicalFault
GeographicArea
)
Geography.kif 2529-2529
GeologicalFault
は
地理的地域
の
subclass
では
(
subclass
Ecosystem
GeographicArea
)
Geography.kif 2816-2816
Ecosystem
は
地理的地域
の
subclass
では
(
subclass
Hemisphere
GeographicArea
)
Geography.kif 3620-3620
Hemisphere
は
地理的地域
の
subclass
では
(
subclass
LandForm
GeographicArea
)
Geography.kif 4215-4215
LandForm
は
地理的地域
の
subclass
では
(
subclass
UndergroundArea
GeographicArea
)
Geography.kif 4228-4228
UndergroundArea
は
地理的地域
の
subclass
では
(
subclass
LakeRegion
GeographicArea
)
Geography.kif 5702-5702
LakeRegion
は
地理的地域
の
subclass
では
(
subclass
LittoralZone
GeographicArea
)
Geography.kif 6071-6071
LittoralZone
は
地理的地域
の
subclass
では
(
subclass
ArchipelagicArea
GeographicArea
)
Geography.kif 6154-6154
ArchipelagicArea
は
地理的地域
の
subclass
では
(
subclass
Cave
GeographicArea
)
Geography.kif 6316-6316
Cave
は
地理的地域
の
subclass
では
(
subclass
SubmergedLandArea
GeographicArea
)
Geography.kif 6370-6370
SubmergedLandArea
は
地理的地域
の
subclass
では
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