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 11957-11958
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11961-11961
Le nombre 1 argument de
connectedBodyPart
est une
sous
-classe de
partie du corps
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11962-11962
Le nombre 2 argument de
connectedBodyPart
est une
sous
-classe de
partie du corps
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11956-11956
connectedBodyPart
est une
instance
de
pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11955-11955
connectedBodyPart
est une
instance
de
relation transitive
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11959-11959
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11960-11960
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11966-11976
connectedBodyPart
partie du corps
and
partie du corps
Healthy
est un
attribut
de
objet
partie du corps
I
partie du corps
I
partie du corps
I est une
instance
de
partie du corps
partie du corps
I est une
instance
de
partie du corps
partie du corps
I est une
partie
de
objet
partie du corps
I est une
partie
de
objet
partie du corps
I est
connect
� �
partie du corps
I
consequent
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 561-574
Partie du corps
est une
instance
de
CervicalVertebraBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
CervicalVertebraBone
partie du corps
est
partie du corps
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 505-517
Partie du corps
est une
instance
de
FalseRibBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
Sternum
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 601-614
Partie du corps
est une
instance
de
LumbarVertebraBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
LumbarVertebraBone
partie du corps
est
partie du corps
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 669-682
Partie du corps
est une
instance
de
ThoracicVertebraBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
ThoracicVertebraBone
partie du corps
est
partie du corps
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 492-503
Partie du corps
est une
instance
de
TrueRibBone
partie du corps
est une
partie
de
objet
objet
est une
instance
de
humain
maladie ou syndrome
est un
attribut
de
objet
partie du corps
partie du corps
est une
instance
de
Sternum
partie du corps
est une
partie
de
objet
connectedBodyPart
partie du corps
and
partie du corps
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1741-1743
muscleInsertion
partie du corps
and
partie du corps
connectedBodyPart
partie du corps
and
partie du corps
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1691-1693
muscleOrigin
partie du corps
and
partie du corps
connectedBodyPart
partie du corps
and
partie du corps
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12063-12063
connectedBodyPart
Esophagus
and
Stomach
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12065-12065
connectedBodyPart
Intestine
and
Rectum
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12062-12062
connectedBodyPart
Mouth
and
Esophagus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12089-12089
connectedBodyPart
Mouth
and
Trachea
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12090-12090
connectedBodyPart
Nose
and
Trachea
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12066-12066
connectedBodyPart
Rectum
and
Anus
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12064-12064
connectedBodyPart
Stomach
and
Intestine
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12091-12091
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