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
AutonomousAgent
est une
instance
de
AutonomousAgent
ElectionFn
AutonomousAgent
est une
sous
-classe de
Election
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
AutonomousAgent
est une
instance
de
AutonomousAgent
ann�e
est une
sous
-classe de
ann�e
FiscalYearStartingFn
AutonomousAgent
and
ann�e
est une
instance
de
FiscalYearFn
AutonomousAgent
(=>
(
and
(
trafficableForTrafficType
?place ?type)
(
subclass
?type
AutonomousAgent
)
(
instance
?mover ?type))
(
capableAtLocation
Translocation
agent
?mover ?place))
Transportation.kif 2617-2622
trafficableForTrafficType
r�gion
and
objet en une partie
objet en une partie
est une
sous
-classe de
AutonomousAgent
objet
est une
instance
de
objet en une partie
capableAtLocation
Translocation
,
agent
,
objet
and
r�gion
(=>
(
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
Interval temporel
est une
instance
de
interval temporel
_CLASS
interval temporel
_CLASS est une
sous
-classe de
processus
AccessingWebPage
est une
instance
de
AccessingWebPage
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est un
agent
de
AutonomousAgent
AccessingWebPage
est un
agent
de
AutonomousAgent
interval temporel
prend place
pendant
AccessingWebPage
physique
est une
instance
de
interval temporel
interval temporel
2
interval temporel
2 est une
instance
de
interval temporel
_CLASS
interval temporel
2 est un
agent
de
AutonomousAgent
interval temporel
2 prend place
pendant
AccessingWebPage
le
d
�but de
temps
d'existence de
interval temporel
2 se produit
avant
le
d
�but de
temps
d'existence de
interval temporel
le
d
�but de
temps
d'existence de
AccessingWebPage
est
d
�but de
temps
d'existence de
physique
le
d
�but de
temps
d'existence de
interval temporel
est
fin
de
temps
d'existence de
physique
TTFxFn
interval temporel
_CLASS and
AccessingWebPage
est
physique
(
subclass
AutonomousAgent
Object
)
Merge.kif 1556-1556
AutonomousAgent
est une
sous
-classe de
objet
(
subclass
SentientAgent
AutonomousAgent
)
Merge.kif 1566-1566
Sentient agent
est une
sous
-classe de
AutonomousAgent
(
subclass
GeopoliticalArea
AutonomousAgent
)
Merge.kif 14054-14054
Secteur g�opolitique
est une
sous
-classe de
AutonomousAgent
(
subclass
Organism
AutonomousAgent
)
Merge.kif 14355-14355
Organisme
est une
sous
-classe de
AutonomousAgent
(
subclass
CommercialAgent
AutonomousAgent
)
Merge.kif 16173-16173
CommercialAgent
est une
sous
-classe de
AutonomousAgent
(
subclass
Group
AutonomousAgent
)
Merge.kif 16224-16224
Groupe
est une
sous
-classe de
AutonomousAgent
(
subclass
Organization
AutonomousAgent
)
Merge.kif 16610-16610
Organisation
est une
sous
-classe de
AutonomousAgent
(
subclass
ITAgent
AutonomousAgent
)
engineering.kif 1306-1306
ITAgent
est une
sous
-classe de
AutonomousAgent
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