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
和
施事体
是
那个 过程
的
agent
,
然后 有存在
集合
,
类
,, ,
另一个 过程
,, ,
时点
,, ,
格角色
,, ,
客体
, and 和
实体
这样
那个 集合
是
集合
的
instance
和
那个 施事体
是
那个 集合
的
element
和
那个 类
是
过程
的
subclass
和
那个 客体
是
地区
的
instance
和
那个 时点
是
时点
的
instance
和
那个 实体
是
数量
的
instance
和
那个 另外 过程
是
那个 类
的
instance
和
那个 过程
提到
那个 实体
和
那个 实体
提到
那个 另外 过程
和
那个 施事体
对于
那个 另外 过程
在事件
那个 格角色
plays
角色 和
那个 另外 过程
是
located
在
那个 客体
和 不存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
那个 集合
的
instance
和
那个 另外 实体
不
equal
那个 施事体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 另外 实体
对于
那个 第三 实体
在事件
那个 格角色
plays
角色 和
那个 第三 实体
是
located
在
那个 客体
在
那个 时点
和
那个 过程
出现 的
time
的结束 间的时段
holdsDuring
(
subclass
Quantity
Abstract
)
Merge.kif 1694-1694
数量
是
抽象体
的
subclass
(
subclass
FiniteQuantity
Quantity
)
Mid-level-ontology.kif 2874-2874
有限数量
是
数量
的
subclass
(
subclass
InfiniteQuantity
Quantity
)
Mid-level-ontology.kif 2878-2878
无限的数量
是
数量
的
subclass
(
subclass
Number
Quantity
)
Merge.kif 1824-1824
数字
是
数量
的
subclass
(
subclass
PhysicalQuantity
Quantity
)
Merge.kif 2025-2025
物理量
是
数量
的
subclass
(
subclass
PhysicalDimension
Quantity
)
engineering.kif 74-74
物理尺寸
是
数量
的
subclass
(
subclass
MultipoleQuantity
Quantity
)
engineering.kif 293-293
多极数量
是
数量
的
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