Term Intersection
: 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
Term 1:
Term 2:
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
工程
は
BreakingRecord
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
セット
クラス
,
工程
,
時点
,
格役割
,
オブジェクト
and
エンティティー
セット
は
セット
の
instance
では %n
AutonomousAgent
は
セット
の
element
%n
クラス
は
工程
の
subclass
では %n
オブジェクト
は
地域
の
instance
では %n
時点
は
時点
の
instance
では %n
エンティティー
は
量
の
instance
では %n
工程
は
クラス
の
instance
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
エンティティー
は
工程
への
reference
を includes %n{ない}
playsRoleInEvent
AutonomousAgent
,
格役割
and
工程
eventLocated
工程
and
オブジェクト
エンティティー
エンティティー
エンティティー
は
セット
の
instance
では %n
エンティティー
は
AutonomousAgent
と
equal
では
エンティティー
は
クラス
の
instance
では %n
playsRoleInEvent
エンティティー
,
格役割
and
エンティティー
eventLocated
エンティティー
and
オブジェクト
は
時点
と
工程
の
time
の existence の
end
の
interval
の
during
holds %n{ない}
(
subclass
Region
Object
)
Merge.kif 1251-1251
地域
は
オブジェクト
の
subclass
では %n
(
subclass
Atmosphere
Region
)
Weather.kif 10-10
Atmosphere
は
地域
の
subclass
では %n
(
subclass
HydrophobicSide
Region
)
VirusProteinAndCellPart.kif 536-536
HydrophobicSide
は
地域
の
subclass
では %n
(
subclass
HydrophilicSide
Region
)
VirusProteinAndCellPart.kif 547-547
HydrophilicSide
は
地域
の
subclass
では %n
(
subclass
ParkingRegion
Region
)
TransportDetail.kif 31-31
ParkingRegion
は
地域
の
subclass
では %n
(
subclass
TransitStop
Region
)
Transportation.kif 2924-2924
TransitStop
は
地域
の
subclass
では %n
(
subclass
TransitRoute
Region
)
Transportation.kif 2991-2991
TransitRoute
は
地域
の
subclass
では %n
(
subclass
FlowRegion
Region
)
Mid-level-ontology.kif 9043-9043
FlowRegion
は
地域
の
subclass
では %n
(
subclass
SpaceRegion
Region
)
Mid-level-ontology.kif 9067-9067
SpaceRegion
は
地域
の
subclass
では %n
(
subclass
Outdoors
Region
)
Mid-level-ontology.kif 9129-9129
Outdoors
は
地域
の
subclass
では %n
(
subclass
Indoors
Region
)
Mid-level-ontology.kif 9141-9141
Indoors
は
地域
の
subclass
では %n
(
subclass
SittingArea
Region
)
Mid-level-ontology.kif 15528-15528
SittingArea
は
地域
の
subclass
では %n
(
subclass
KitchenArea
Region
)
Mid-level-ontology.kif 15541-15541
KitchenArea
は
地域
の
subclass
では %n
(
subclass
DiningArea
Region
)
Mid-level-ontology.kif 15566-15566
DiningArea
は
地域
の
subclass
では %n
(
subclass
UnderwaterRegion
Region
)
Mid-level-ontology.kif 17673-17673
UnderwaterRegion
は
地域
の
subclass
では %n
(
subclass
Road
Region
)
Mid-level-ontology.kif 22217-22217
Road
は
地域
の
subclass
では %n
(
subclass
Patio
Region
)
Mid-level-ontology.kif 26634-26634
Patio
は
地域
の
subclass
では %n
(
subclass
HoleRegion
Region
)
Merge.kif 9851-9851
HoleRegion
は
地域
の
subclass
では %n
(
subclass
GeographicArea
Region
)
Merge.kif 14031-14031
地理的地域
は
地域
の
subclass
では %n
(
subclass
Transitway
Region
)
Merge.kif 14265-14265
Transitway
は
地域
の
subclass
では %n
(
subclass
Latitude
Region
)
Geography.kif 302-302
Latitude
は
地域
の
subclass
では %n
(
subclass
Longitude
Region
)
Geography.kif 311-311
Longitude
は
地域
の
subclass
では %n
(
subclass
PerimeterArea
Region
)
Geography.kif 762-762
PerimeterArea
は
地域
の
subclass
では %n
(
subclass
RealEstate
Region
)
FinancialOntology.kif 1354-1354
RealEstate
は
地域
の
subclass
では %n
(
subclass
PlayArea
Region
)
Dining.kif 982-982
PlayArea
は
地域
の
subclass
では %n
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