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
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
Processus
est une
instance
de
BreakingRecord
processus
est un
agent
de
AutonomousAgent
ensemble
classe
,
processus
,
point temporel
,
r�le d�pendant du cas
,
objet
and
entit�
ensemble
est une
instance
de
ensemble
AutonomousAgent
est un
ensemble
classe
est une
sous
-classe de
processus
objet
est une
instance
de
r�gion
point temporel
est une
instance
de
point temporel
entit�
est une
instance
de
quantit�
processus
est une
instance
de
classe
processus
inclut une
r
�f�rence �
entit�
entit�
inclut une
r
�f�rence �
processus
playsRoleInEvent
AutonomousAgent
,
r�le d�pendant du cas
and
processus
eventLocated
processus
and
objet
entit�
entit�
entit�
est une
instance
de
ensemble
entit�
est
AutonomousAgent
entit�
est une
instance
de
classe
playsRoleInEvent
entit�
,
r�le d�pendant du cas
and
entit�
eventLocated
entit�
and
objet
pendant
l'
intervale
entre
point temporel
et la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
Processus
est une
instance
de
Deciding
processus
est un
agent
de
agent cognitif
ensemble
est une
instance
de
ensemble
ensemble
est un
patient
de
processus
entit�
est un
ensemble
agent cognitif
croit
entit�
entit�
est une
instance
de
entit�
entit�
est une
sous
-classe de
processus intentionnel
agent cognitif
est
capable
de faire
entit�
dans le r�le
agent
(
subclass
Set
SetOrClass
)
Merge.kif 2148-2148
Ensemble
est une
sous
-classe de
ensemble ou classe
(
subclass
NullSet
Set
)
Merge.kif 5516-5516
NullSet
est une
sous
-classe de
ensemble
(
subclass
NonNullSet
Set
)
Merge.kif 5527-5527
NonNullSet
est une
sous
-classe de
ensemble
(
subclass
FiniteSet
Set
)
Merge.kif 5537-5537
Ensemble fini
est une
sous
-classe de
ensemble
(
subclass
SetOfEquations
Set
)
engineering.kif 205-205
SetOfEquations
est une
sous
-classe de
ensemble
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