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
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
Processus
est une
sous
-classe de
processus
processus
est une
instance
de
processus
eventLocated
processus
and
r�gion
r�le d�pendant du cas
est une
instance
de
r�le d�pendant du cas
objet
est une
instance
de
objet
r�gion
est une
instance
de
secteur g�ographique
r�le d�pendant du cas
processus
and
objet
capableAtLocation
processus
,
r�le d�pendant du cas
,
objet
and
r�gion
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
R�le d�pendant du cas
est une
instance
de
r�le d�pendant du cas
r�le d�pendant du cas
entit�
and
objet
entit�
est une
instance
de
processus
processus
est une
sous
-classe de
processus
objet
est
capable
de faire
processus
dans le r�le
r�le d�pendant du cas
(
subclass
CaseRole
BinaryPredicate
)
Merge.kif 2400-2400
R�le d�pendant du cas
est une
sous
-classe de
pr�dicat binaire
(
subclass
CaseRole
InheritableRelation
)
Merge.kif 2401-2401
R�le d�pendant du cas
est une
sous
-classe de
InheritableRelation
(
subclass
CaseRole
AsymmetricRelation
)
Merge.kif 2402-2402
R�le d�pendant du cas
est une
sous
-classe de
relation asym�trique
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