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
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15188-15209
Classe
è una
sottoclasse
di
Tessuto
Classe
è una
sottoclasse
di
Tessuto
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Umano
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Classe
is
uguale
a
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
Oggetto
è
Adjacent
a
Oggetto
l'affermazione
Entit�
Entit�
è un'
istanza
di
ConnectiveTissue
Entit�
è
tra
Oggetto
e
Oggetto
ha il modello di forza di
Likely
(
subclass
ConnectiveTissue
Tissue
)
Merge.kif 15171-15171
ConnectiveTissue
è una
sottoclasse
di
Tessuto
(
subclass
BoneTissue
ConnectiveTissue
)
Merge.kif 15211-15211
BoneTissue
è una
sottoclasse
di
ConnectiveTissue
(
subclass
FatTissue
ConnectiveTissue
)
Merge.kif 15257-15257
TessutoGrasso
è una
sottoclasse
di
ConnectiveTissue
(
subclass
Cartilage
ConnectiveTissue
)
Anatomy.kif 255-255
Cartilage
è una
sottoclasse
di
ConnectiveTissue
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