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:
(=>
(
instance
?INDUSTRY
Industry
)
(
exists
(?MEMB1 ?MEMB2 ?CLASS)
(
and
(
member
?MEMB1 ?INDUSTRY)
(
member
?MEMB2 ?INDUSTRY)
(
subclass
?CLASS
Corporation
)
(
immediateInstance
?MEMB1 ?CLASS)
(
immediateInstance
?MEMB2 ?CLASS))))
Mid-level-ontology.kif 15016-15024
Wenn
Collection
ist ein
fall
von
Industry
%n{nicht},
dann es gibt
Physical
,
** Physical
, and und
Class
um
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
** ** Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Class
ist eine
teilkategorie
von
Corporation
und
** Physical
ist ein
direkter
fall von
** Class
und
** ** Physical
ist ein
direkter
fall von
** Class
(
subclass
Corporation
Business
)
Merge.kif 16188-16188
Corporation
ist eine
teilkategorie
von
Business
(
subclass
Corporation
LegalAgent
)
Merge.kif 16190-16190
Corporation
ist eine
teilkategorie
von
LegalAgent
(
subclass
Manufacturer
Corporation
)
Merge.kif 16197-16197
Manufacturer
ist eine
teilkategorie
von
Corporation
(
subclass
MercantileOrganization
Corporation
)
Merge.kif 16210-16210
MercantileOrganization
ist eine
teilkategorie
von
Corporation
(
subclass
LabCorp
Corporation
)
Medicine.kif 4397-4397
LabCorp
ist eine
teilkategorie
von
Corporation
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