Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
connectedBodyPart
Sigma KEE - connectedBodyPart
connectedBodyPart
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11958-11959
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11962-11962
O argumento numero 1 de
connectedBodyPart
e' uma
sub
-classe de
Parte do Corpo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11963-11963
O argumento numero 2 de
connectedBodyPart
e' uma
sub
-classe de
Parte do Corpo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11957-11957
connectedBodyPart
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11956-11956
connectedBodyPart
e' uma
instancia
de
Relacao Transitiva
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11960-11960
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11961-11961
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11967-11977
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
Healthy
e' um
atributo
de
Objeto
Parte do Corpo
I
Parte do Corpo
I
Parte do Corpo
I e' uma
instancia
de
Parte do Corpo
Parte do Corpo
I e' uma
instancia
de
Parte do Corpo
Parte do Corpo
I e' uma &parte de
Objeto
Parte do Corpo
I e' uma &parte de
Objeto
Parte do Corpo
I e'
conectado
com
Parte do Corpo
I
consequent
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 561-574
Parte do Corpo
e' uma
instancia
de
CervicalVertebraBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
CervicalVertebraBone
Parte do Corpo
e'
igual
a
Parte do Corpo
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 505-517
Parte do Corpo
e' uma
instancia
de
FalseRibBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
Sternum
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 601-614
Parte do Corpo
e' uma
instancia
de
LumbarVertebraBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
LumbarVertebraBone
Parte do Corpo
e'
igual
a
Parte do Corpo
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 669-682
Parte do Corpo
e' uma
instancia
de
ThoracicVertebraBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
ThoracicVertebraBone
Parte do Corpo
e'
igual
a
Parte do Corpo
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 492-503
Parte do Corpo
e' uma
instancia
de
TrueRibBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
Sternum
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1741-1743
muscleInsertion
Parte do Corpo
and
Parte do Corpo
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1691-1693
muscleOrigin
Parte do Corpo
and
Parte do Corpo
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12064-12064
connectedBodyPart
Esophagus
and
Stomach
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12066-12066
connectedBodyPart
Intestine
and
Rectum
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12063-12063
connectedBodyPart
Mouth
and
Esophagus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12090-12090
connectedBodyPart
Mouth
and
Trachea
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12091-12091
connectedBodyPart
Nose
and
Trachea
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12067-12067
connectedBodyPart
Rectum
and
Anus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12065-12065
connectedBodyPart
Stomach
and
Intestine
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12092-12092
connectedBodyPart
Trachea
and
Lung
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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