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
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1692-1698
If
an agent
is an
instance
of
agent
and the
election
of
the agent
is a
subclass
of
election
,
then
the agent
is an
instance
of
organization
or
the agent
is an
instance
of
geopolitical area
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
If
an agent
is an
instance
of
agent
and
a kind of year
is a
subclass
of
year
,
then the
fiscal
year starting of
the agent
and
a kind of year
is an
instance
of the
fiscal
year of
the agent
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
If
a kind of self connected object
is a
trafficable
for traffic type of
a region
and
a kind of self connected object
is a
subclass
of
agent
and
an object
is an
instance
of
the kind of self connected object
,
then
translocation
capable
at location
agent
for
the object
with
the region
(=>
(
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
(
subclass
AutonomousAgent
Object
)
Merge.kif 1556-1556
Agent
is a
subclass
of
object
(
subclass
SentientAgent
AutonomousAgent
)
Merge.kif 1566-1566
Sentient agent
is a
subclass
of
agent
(
subclass
GeopoliticalArea
AutonomousAgent
)
Merge.kif 14054-14054
Geopolitical area
is a
subclass
of
agent
(
subclass
Organism
AutonomousAgent
)
Merge.kif 14355-14355
Organism
is a
subclass
of
agent
(
subclass
CommercialAgent
AutonomousAgent
)
Merge.kif 16173-16173
Commercial agent
is a
subclass
of
agent
(
subclass
Group
AutonomousAgent
)
Merge.kif 16224-16224
Group
is a
subclass
of
agent
(
subclass
Organization
AutonomousAgent
)
Merge.kif 16610-16610
Organization
is a
subclass
of
agent
(
subclass
ITAgent
AutonomousAgent
)
engineering.kif 1306-1306
IT agent
is a
subclass
of
agent
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