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:
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4481-4492
Pulmonologist
e' um
atributo
de
Objeto
Processo
Processo
,
Objeto
and
Objeto
Classe
e' uma
sub
-classe de
Processo de Diagnostico
Classe
e' uma
sub
-classe de
Processo Terapeutico
Objeto
e' um
patient
de
Processo
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma &parte de
Objeto
Processo
e'
situado
em
Lung
Processo
e'
situado
em
Lung
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