Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
instance
?OBJ
CorpuscularObject
)
(
exists
(?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
subclass
?SUBSTANCE1
Substance
)
(
subclass
?SUBSTANCE2
Substance
)
(
material
?SUBSTANCE1 ?OBJ)
(
material
?SUBSTANCE2 ?OBJ)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1241-1249
Objet corpusculaire
est une
instance
de
objet corpusculaire
substance
substance
substance
est une
sous
-classe de
substance
substance
est une
sous
-classe de
substance
substance
est
fait
de
objet corpusculaire
substance
est
fait
de
objet corpusculaire
equal
substance
and
substance
(
subclass
CorpuscularObject
SelfConnectedObject
)
Merge.kif 1236-1236
Objet corpusculaire
est une
sous
-classe de
objet en une partie
(
subclass
Sonar
CorpuscularObject
)
Mid-level-ontology.kif 3075-3075
Sonar
est une
sous
-classe de
objet corpusculaire
(
subclass
Bubble
CorpuscularObject
)
Mid-level-ontology.kif 5937-5937
Bubble
est une
sous
-classe de
objet corpusculaire
(
subclass
Nest
CorpuscularObject
)
Mid-level-ontology.kif 5964-5964
Nest
est une
sous
-classe de
objet corpusculaire
(
subclass
Organelle
CorpuscularObject
)
Mid-level-ontology.kif 11447-11447
Organelle
est une
sous
-classe de
objet corpusculaire
(
subclass
ContentBearingObject
CorpuscularObject
)
Merge.kif 1337-1337
Objet exprimant un sens
est une
sous
-classe de
objet corpusculaire
(
subclass
OrganicObject
CorpuscularObject
)
Merge.kif 14499-14499
Objet organique
est une
sous
-classe de
objet corpusculaire
(
subclass
RealEstate
CorpuscularObject
)
FinancialOntology.kif 1372-1372
RealEstate
est une
sous
-classe de
objet corpusculaire
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