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
例
Process
and
BreakingRecord
agent
Process
and
AutonomousAgent
Set
Class
,
Process
,
TimePoint
,
CaseRole
,
Object
and
Entity
例
Set
and
Set
元件
AutonomousAgent
and
Set
子類
Class
and
Process
例
Object
and
Region
例
TimePoint
and
TimePoint
例
Entity
and
Quantity
例
Process
and
Class
參照
Process
and
Entity
參照
Entity
and
Process
AutonomousAgent
對於
Process
在事件
CaseRole
plays
角色
Process
是
located
在
Object
Entity
Entity
例
Entity
and
Set
等於
Entity
and
AutonomousAgent
例
Entity
and
Class
持有期間
時間間隔
TimePoint
and
結束
何時
Process
and
Entity
對於
Entity
在事件
CaseRole
plays
角色
Entity
是
located
在
Object
(=>
(
and
(
subclass
?TYPE
WaterVehicle
)
(
instance
?EVENT
(
TransportationFn
?TYPE))
(
eventLocated
?EVENT ?PLACE))
(
instance
?PLACE
WaterArea
))
Transportation.kif 2287-2292
子類
TransportationDevice
and
水車
例
Process
and
TransportationDevice
的
transportation
Process
是
located
在
Object
例
Object
and
WaterArea
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
子類
Process
and
Process
例
Process
and
Process
Process
是
located
在
Region
例
CaseRole
and
CaseRole
例
Object
and
Object
例
Region
and
GeographicArea
CaseRole
Process
and
Object
Process
capable
在地點
CaseRole
對於
Object
跟
Region
在一起
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?CLASS)
(
subclass
?CLASS
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?CLASS ?TIME ?PLACE))
Mid-level-ontology.kif 23260-23267
Object
對於
Process
在事件
CaseRole
plays
角色
例
Process
and
Process
子類
Process
and
Process
時間
Process
and
TimePosition
Process
是
located
在
Object
Object
對於
Process
和
TimePosition
和
Object
在事件類別
CaseRole
plays
角色
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