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
(
subjectiveAttribute
?AGENT1
Quick
?PERSON)
(
subjectiveAttribute
?AGENT2
Slow
?PERSON)
(
instance
?PROCESS1 ?CLASS)
(
instance
?PROCESS2 ?CLASS)
(
subclass
?CLASS
Process
)
(
agent
?PROCESS1 ?AGENT1)
(
agent
?PROCESS2 ?AGENT2))
(
and
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?PROCESS1)
(
MeasureFn
?TIME1 ?U))
(
duration
(
WhenFn
?PROCESS2)
(
MeasureFn
?TIME2 ?U))
(
greaterThan
?TIME2 ?TIME1)))
Dining.kif 1044-1059
如果
施事体
believes
另一个 施事体
是
Quick
和
那个 施事体
believes
第三 施事体
是
Slow
和
过程
是
类
的
instance
和
另一个 过程
是
那个 类
的
instance
和
那个 类
是
过程
的
subclass
和
那个 另外 施事体
是
那个 过程
的
agent
和
那个 第三 施事体
是
那个 另外 过程
的
agent
,
然后
测量单位
是
UnitOfDuration
的
instance
和
那个 过程
出现 的
time
的
duration
是
实数
那个 测量单位
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
如果
有点 HotelUnit
的 承租人 能
pay
去使用
有点 物理
和
有点 物理
是
客体
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
客体
是
那个 有点 物理
的
instance
和
那个 客体
是
located
在
那个 暂住
和
过程
是
过程
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 过程
是
located
在
那个 暂住
或
那个 客体
是
那个 过程
的
patient
或
那个 客体
是导致
那个 过程
的
instrument
或
那个 客体
是
那个 过程
的
resource
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 客体
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
0
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13547-13558
如果
有点 客体
的
maximum
预期价值是
实数
测量单位
和
类
是
NonCompositeUnitOfMeasure
的
subclass
和
那个 测量单位
是
那个 类
的
instance
,
然后 有存在
实体
,
那个 实数
UANTITY, and 和
第三 实体
这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
measure
是
那个 实数
UANTITY
那个 第三 实体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 实数
UANTITY
那个 第三 实体
是
greaterThan
那个 实数
那个 测量单位
的声明 has
较不可能
的语气
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
如果
ADHD
是
施事体
的
attribute
和
ADHD
不 是
另一个 施事体
的
attribute
和
那个 施事体
不
equal
那个 另外 施事体
和
过程
是
类
的
instance
和
另一个 过程
是
那个 类
的
instance
和
那个 类
是
有意图的心理过程
的
subclass
和
那个 施事体
是
那个 过程
的
agent
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 过程
出现 的
time
的
duration
是
持续时间
和
那个 另外 过程
出现 的
time
的
duration
是
另一个 持续时间
,
然后
那个 另外 持续时间
是
greaterThan
那个 持续时间
的声明 has
容易
的语气
(=>
(
and
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14624-14638
如果
有点 系列
是
期刊
的
subclass
和 系列
有点 系列
的第
另一个 正整数
卷
equal
有点 文本
和 系列
那个 有点 系列
的第
正整数
卷
equal
另一个 有点 文本
和
那个 正整数
是
greaterThan
那个 另外 正整数
和
过程
是
出版
的
instance
和
另一个 过程
是
出版
的
instance
和
第三 实体
是
有点 文本
的
instance
和
第四 实体
是
另一个 有点 文本
的
instance
和
那个 第三 实体
是
那个 过程
的
patient
和
那个 第四 实体
是
那个 另外 过程
的
patient
和
那个 过程
的
date
是
日
和
那个 另外 过程
的
date
是
另一个 日
,
然后
那个 日
的结束%n在
那个 另外 日
的结束
before
发生
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
如果
Oversized
是
客体
的
attribute
和
那个 客体
是
类
的
immediateInstance
和
那个 类
是
HotelUnit
的
subclass
,
然后 有存在
物理
,
实数
,, ,
另一个 实数
, and 和
测量单位
这样
那个 物理
是
那个 类
的
immediateInstance
和
那个 测量单位
是
UnitOfArea
的
instance
和
那个 物理
的
measure
是
那个 实数
那个 测量单位
和
那个 客体
的
measure
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
面积测量
的
instance
和
那个 另外 实数
是
面积测量
的
instance
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
如果
日
是
人类
的
birthdate
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
那个 人类
的
birthday
是
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
那个 另外 有点 日
equal
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13798-13807
如果
客体
是
有点 純物质
的
instance
和
有点 純物质
是
純物质
的
subclass
和
实数
英寸汞
是
那个 客体
的
barometric
压力 和 29.92 是
greaterThan
那个 实数
和
另一个 实数
凯文度
是
那个 有点 純物质
的
boiling
点 和
那个 客体
的
measure
是
第三 实数
凯文度
和
那个 第三 实数
是
greaterThan
那个 另外 实数
,
然后
加油站
是
那个 客体
的
attribute
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
如果
客体
是
有点 純物质
的
instance
和
有点 純物质
是
純物质
的
subclass
和
实数
凯文度
是
那个 有点 純物质
的
melting
点 和
另一个 实数
英寸汞
是
那个 客体
的
barometric
压力 和
那个 另外 实数
是
greaterThan
29.92 和
那个 客体
的
measure
是
第三 实数
凯文度
和
那个 第三 实数
是
lessThan
那个 实数
,
然后
固体
是
那个 客体
的
attribute
(=>
(
and
(
instance
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24195-24206
如果
物理
是
婚礼
的
instance
和
那个 物理
的
date
是
日
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
weddingAnniversary
那个 物理
and
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
那个 另外 有点 日
equal
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
如果
有点 HotelUnit
的 承租人 能
pay
去使用
有点 物理
和
有点 物理
是
过程
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
那个 人类
是
过程
的
patient
和
那个 过程
是
那个 有点 物理
的
instance
或
另一个 过程
是
那个 有点 物理
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
是
located
在
那个 暂住
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 过程
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
0
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
如果
客体
是
有点 純物质
的
instance
和
有点 純物质
是
純物质
的
subclass
和
实数
凯文度
是
那个 有点 純物质
的
boiling
点 和
另一个 实数
凯文度
是
那个 有点 純物质
的
melting
点 和
那个 客体
的
measure
是
第三 实数
凯文度
和
那个 第三 实数
是
greaterThan
那个 另外 实数
和
那个 第三 实数
是
lessThan
那个 实数
,
然后
液体
是
那个 客体
的
attribute
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