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
Wenn
** Process
ist eine
teilkategorie
von
Process
und
** Process
ist ein
fall
von
** Process
%n{nicht} und
eventLocated
** ** Process
and
Region
und
CaseRole
ist ein
fall
von
CaseRole
%n{nicht} und
Object
ist ein
fall
von
Object
%n{nicht} und
** Region
ist ein
fall
von
GeographicArea
%n{nicht} und
** CaseRole
** ** Process
and
** Object
,
dann
capableAtLocation
** ** Process
,
** CaseRole
,
** Object
and
** Region
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
Wenn
CaseRole
ist ein
fall
von
CaseRole
%n{nicht} und
** CaseRole
Entity
and
Object
und
** Entity
ist ein
fall
von
** Process
%n{nicht} und
** Process
ist eine
teilkategorie
von
Process
,
dann
** Object
ist faehig %n{nicht}, in der Rolle
** CaseRole
** ** Process
zu tun
(
subclass
CaseRole
BinaryPredicate
)
Merge.kif 2400-2400
CaseRole
ist eine
teilkategorie
von
BinaryPredicate
(
subclass
CaseRole
InheritableRelation
)
Merge.kif 2401-2401
CaseRole
ist eine
teilkategorie
von
InheritableRelation
(
subclass
CaseRole
AsymmetricRelation
)
Merge.kif 2402-2402
CaseRole
ist eine
teilkategorie
von
AsymmetricRelation
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