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
?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
例
TimeInterval
and
TimeInterval
_CLASS
子類
TimeInterval
_CLASS and
Process
例
AccessingWebPage
and
AccessingWebPage
例
AutonomousAgent
and
AutonomousAgent
agent
TimeInterval
and
AutonomousAgent
agent
AccessingWebPage
and
AutonomousAgent
期間
TimeInterval
and
AccessingWebPage
例
Physical
and
TimeInterval
TimeInterval
例
TimeInterval
and
TimeInterval
_CLASS
agent
TimeInterval
and
AutonomousAgent
期間
TimeInterval
and
AccessingWebPage
之前
開始
何時
TimeInterval
and
開始
何時
TimeInterval
等於
開始
何時
AccessingWebPage
and
開始
何時
Physical
等於
開始
何時
TimeInterval
and
結束
何時
Physical
等於
AccessingWebPage
的
time
在 類別
TimeInterval
_CLASS and
Physical
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