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
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?CLASS
agent
?AGENT ?TIME))
Catalog.kif 130-137
如果
施事体
offers
拍卖样品在
Catalog
在其间
时距
和
有点 实体
是在
那个 Catalog
和
有点 实体
是
过程
的
subclass
和
那个 时距
是
另一个 有点 时距
的
instance
和
另一个 有点 时距
是
时距
的
subclass
,
然后
那个 施事体
是
capable
当成
主事
在
那个 有点 实体
在期间
那个 另外 有点 时距
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
如果
时距
是
那个 时距
_CLASS 的
instance
和
那个 时距
_CLASS 是
过程
的
subclass
和
AccessingWebPage
是
AccessingWebPage
的
instance
和
施事体
是
施事体
的
instance
和
那个 施事体
是
那个 时距
的
agent
和
那个 施事体
是
那个 AccessingWebPage
的
agent
和
那个 时距
在
那个 AccessingWebPage
时段内发生 和
物理
是
时距
的
instance
和 不存在
那个 时距
2 这样
那个 时距
2 是
那个 时距
_CLASS 的
instance
和
那个 施事体
是
那个 时距
2 的
agent
和
那个 时距
2 在
那个 AccessingWebPage
时段内发生 和
那个 时距
2 出现 的
time
的开始%n在
那个 时距
出现 的
time
的开始
before
发生 和
那个 AccessingWebPage
出现 的
time
的开始
equal
那个 物理
出现 的
time
的开始 和
那个 时距
出现 的
time
的开始
equal
那个 物理
出现 的
time
的结束,
然后
那个 AccessingWebPage
的
time
在 类别
那个 时距
_CLASS
equal
那个 物理
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
如果
施事体
offers
拍卖样品在
Catalog
在其间
时距
和
有点 实体
是在
那个 Catalog
和
有点 实体
是
客体
的
subclass
和
过程
是
另一个 有点 过程
的
instance
和
另一个 有点 过程
是
过程
的
subclass
和
另一个 实体
是
那个 有点 实体
的
instance
和
那个 另外 实体
是
那个 过程
的
patient
和
那个 时距
是
另一个 有点 时距
的
instance
和
另一个 有点 时距
是
时距
的
subclass
,
然后
那个 施事体
是
capable
当成
主事
在
那个 另外 有点 过程
在期间
那个 另外 有点 时距
(
subclass
TimeInterval
TimePosition
)
Merge.kif 2084-2084
时距
是
时间位置
的
subclass
(
subclass
Holiday
TimeInterval
)
Mid-level-ontology.kif 14848-14848
假日
是
时距
的
subclass
(
subclass
AnteMeridiem
TimeInterval
)
Mid-level-ontology.kif 19091-19091
上午
是
时距
的
subclass
(
subclass
PostMeridiem
TimeInterval
)
Mid-level-ontology.kif 19104-19104
发布meridiem
是
时距
的
subclass
(
subclass
Weekend
TimeInterval
)
Mid-level-ontology.kif 19118-19118
周末
是
时距
的
subclass
(
subclass
SeasonOfYear
TimeInterval
)
Mid-level-ontology.kif 19131-19131
一年的季节
是
时距
的
subclass
(
subclass
Year
TimeInterval
)
Merge.kif 8738-8738
年
是
时距
的
subclass
(
subclass
Decade
TimeInterval
)
Merge.kif 8765-8765
Decade
是
时距
的
subclass
(
subclass
DayTime
TimeInterval
)
Merge.kif 8857-8857
一天的时间
是
时距
的
subclass
(
subclass
Sunrise
TimeInterval
)
Merge.kif 8862-8862
日出
是
时距
的
subclass
(
subclass
Sunset
TimeInterval
)
Merge.kif 8866-8866
日落
是
时距
的
subclass
(
subclass
NightTime
TimeInterval
)
Merge.kif 8888-8888
晚上的时间
是
时距
的
subclass
(
subclass
QuarterYear
TimeInterval
)
Merge.kif 8987-8987
QuarterYear
是
时距
的
subclass
(
subclass
Month
TimeInterval
)
Merge.kif 9043-9043
月
是
时距
的
subclass
(
subclass
Day
TimeInterval
)
Merge.kif 9230-9230
日
是
时距
的
subclass
(
subclass
Week
TimeInterval
)
Merge.kif 9332-9332
星期
是
时距
的
subclass
(
subclass
Hour
TimeInterval
)
Merge.kif 9340-9340
小时
是
时距
的
subclass
(
subclass
Minute
TimeInterval
)
Merge.kif 9350-9350
分钟
是
时距
的
subclass
(
subclass
Second
TimeInterval
)
Merge.kif 9360-9360
秒钟
是
时距
的
subclass
(
subclass
BreakfastTime
TimeInterval
)
Food.kif 1849-1849
BreakfastTime
是
时距
的
subclass
(
subclass
LunchTime
TimeInterval
)
Food.kif 1861-1861
LunchTime
是
时距
的
subclass
(
subclass
DinnerTime
TimeInterval
)
Food.kif 1878-1878
DinnerTime
是
时距
的
subclass
(
subclass
Ramadan
TimeInterval
)
ArabicCulture.kif 26-26
斋月
是
时距
的
subclass
(
subclass
DhuAlHijjah
TimeInterval
)
ArabicCulture.kif 112-112
Dhu al hijjah
是
时距
的
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