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
If
an agent
offers
items for sale in
a catalog
during
a time interval
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
process
and
the time interval
is an
instance
of
another kind of time interval
and
another kind of time interval
is a
subclass
of
time interval
,
then
the agent
is
capable
of being a
agent
in
the kind of entity
during
the other kind of time interval
(=>
(
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
If
a time interval
is an
instance
of
the time interval
_CLASS and
the time interval
_CLASS is a
subclass
of
process
and
an accessing web page
is an
instance
of
accessing web page
and
an agent
is an
instance
of
agent
and
the agent
is an
agent
of
the time interval
and
the agent
is an
agent
of
the accessing web page
and
the time interval
takes place
during
the accessing web page
and
a physical
is an
instance
of
time interval
and there doesn't exist
the time interval
2 such that
the time interval
2 is an
instance
of
the time interval
_CLASS and
the agent
is an
agent
of
the time interval
2 and
the time interval
2 takes place
during
the accessing web page
and the
beginning
of the
time
of existence of
the time interval
2 happens
before
the
beginning
of the
time
of existence of
the time interval
and the
beginning
of the
time
of existence of
the accessing web page
is
equal
to the
beginning
of the
time
of existence of
the physical
and the
beginning
of the
time
of existence of
the time interval
is
equal
to the
end
of the
time
of existence of
the physical
,
then the
time
of
the accessing web page
in the class
the time interval
_CLASS is
equal
to
the physical
(=>
(
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
If
an agent
offers
items for sale in
a catalog
during
a time interval
and
a kind of entity
is in
the catalog
and
a kind of entity
is a
subclass
of
object
and
a process
is an
instance
of
another kind of process
and
another kind of process
is a
subclass
of
process
and
another entity
is an
instance
of
the kind of entity
and
the other entity
is a
patient
of
the process
and
the time interval
is an
instance
of
another kind of time interval
and
another kind of time interval
is a
subclass
of
time interval
,
then
the agent
is
capable
of being a
agent
in
the other kind of process
during
the other kind of time interval
(
subclass
TimeInterval
TimePosition
)
Merge.kif 2084-2084
Time interval
is a
subclass
of
time position
(
subclass
Holiday
TimeInterval
)
Mid-level-ontology.kif 14848-14848
Holiday
is a
subclass
of
time interval
(
subclass
AnteMeridiem
TimeInterval
)
Mid-level-ontology.kif 19091-19091
Ante meridiem
is a
subclass
of
time interval
(
subclass
PostMeridiem
TimeInterval
)
Mid-level-ontology.kif 19104-19104
Post meridiem
is a
subclass
of
time interval
(
subclass
Weekend
TimeInterval
)
Mid-level-ontology.kif 19118-19118
Weekend
is a
subclass
of
time interval
(
subclass
SeasonOfYear
TimeInterval
)
Mid-level-ontology.kif 19131-19131
Season of year
is a
subclass
of
time interval
(
subclass
Year
TimeInterval
)
Merge.kif 8738-8738
Year
is a
subclass
of
time interval
(
subclass
Decade
TimeInterval
)
Merge.kif 8765-8765
Decade
is a
subclass
of
time interval
(
subclass
DayTime
TimeInterval
)
Merge.kif 8857-8857
Day time
is a
subclass
of
time interval
(
subclass
Sunrise
TimeInterval
)
Merge.kif 8862-8862
Sunrise
is a
subclass
of
time interval
(
subclass
Sunset
TimeInterval
)
Merge.kif 8866-8866
Sunset
is a
subclass
of
time interval
(
subclass
NightTime
TimeInterval
)
Merge.kif 8888-8888
Night time
is a
subclass
of
time interval
(
subclass
QuarterYear
TimeInterval
)
Merge.kif 8987-8987
Quarter year
is a
subclass
of
time interval
(
subclass
Month
TimeInterval
)
Merge.kif 9043-9043
Month
is a
subclass
of
time interval
(
subclass
Day
TimeInterval
)
Merge.kif 9230-9230
Day
is a
subclass
of
time interval
(
subclass
Week
TimeInterval
)
Merge.kif 9332-9332
Week
is a
subclass
of
time interval
(
subclass
Hour
TimeInterval
)
Merge.kif 9340-9340
Hour
is a
subclass
of
time interval
(
subclass
Minute
TimeInterval
)
Merge.kif 9350-9350
Minute
is a
subclass
of
time interval
(
subclass
Second
TimeInterval
)
Merge.kif 9360-9360
Second
is a
subclass
of
time interval
(
subclass
BreakfastTime
TimeInterval
)
Food.kif 1849-1849
Breakfast time
is a
subclass
of
time interval
(
subclass
LunchTime
TimeInterval
)
Food.kif 1861-1861
Lunch time
is a
subclass
of
time interval
(
subclass
DinnerTime
TimeInterval
)
Food.kif 1878-1878
Dinner time
is a
subclass
of
time interval
(
subclass
Ramadan
TimeInterval
)
ArabicCulture.kif 26-26
Ramadan
is a
subclass
of
time interval
(
subclass
DhuAlHijjah
TimeInterval
)
ArabicCulture.kif 112-112
Dhu al hijjah
is a
subclass
of
time interval
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