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
BodySideFn
Sigma KEE - BodySideFn
BodySideFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14996-14998
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14993-14993
O argumento numero 1 de
BodySideFn
e' uma
instancia
de
AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14994-14994
O argumento numero 2 de
BodySideFn
e' uma
sub
-classe de
Parte do Corpo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14992-14992
BodySideFn
e' uma
instancia
de
Funcao Binaria
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14995-14995
Os valores retornados por
BodySideFn
sao as
sub
-classes de
Parte do Corpo
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14999-14999
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 64553-64553
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15001-15012
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
BodySideFn
AntiSymmetricPositionalAttribute
and
Parte do Corpo
AntiSymmetricPositionalAttribute
e' &o oposto de
AntiSymmetricPositionalAttribute
O
Healthy
e' um
atributo
de
Objeto
Objeto
O
Objeto
O e' uma
instancia
de
BodySideFn
AntiSymmetricPositionalAttribute
O and
Parte do Corpo
Objeto
e'
AntiSymmetricPositionalAttribute
em relacao a
Objeto
O
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15014-15016
Entidade
e' uma
instancia
de
BodySideFn
AntiSymmetricPositionalAttribute
and
Parte do Corpo
Entidade
e' uma
instancia
de
Parte do Corpo
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15001-15012
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
BodySideFn
AntiSymmetricPositionalAttribute
and
Parte do Corpo
AntiSymmetricPositionalAttribute
e' &o oposto de
AntiSymmetricPositionalAttribute
O
Healthy
e' um
atributo
de
Objeto
Objeto
O
Objeto
O e' uma
instancia
de
BodySideFn
AntiSymmetricPositionalAttribute
O and
Parte do Corpo
Objeto
e'
AntiSymmetricPositionalAttribute
em relacao a
Objeto
O
statement
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2858-2858
LeftArm
e' uma
sub
-classe de
BodySideFn
Left
and
Arm
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2876-2876
LeftEar
e' uma
sub
-classe de
BodySideFn
Left
and
Ear
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2864-2864
LeftElbow
e' uma
sub
-classe de
BodySideFn
Left
and
Elbow
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2882-2882
LeftEye
e' uma
sub
-classe de
BodySideFn
Left
and
Eye
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2924-2924
LeftFoot
e' uma
sub
-classe de
BodySideFn
Left
and
Foot
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2888-2888
LeftHand
e' uma
sub
-classe de
BodySideFn
Left
and
Hand
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2918-2918
LeftHip
e' uma
sub
-classe de
BodySideFn
Left
and
Hip
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2900-2900
LeftKidney
e' uma
sub
-classe de
BodySideFn
Left
and
Kidney
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2912-2912
LeftKnee
e' uma
sub
-classe de
BodySideFn
Left
and
Knee
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2906-2906
LeftLeg
e' uma
sub
-classe de
BodySideFn
Left
and
Leg
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2894-2894
LeftLung
e' uma
sub
-classe de
BodySideFn
Left
and
Lung
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2870-2870
LeftShoulder
e' uma
sub
-classe de
BodySideFn
Left
and
Shoulder
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2930-2930
LeftThigh
e' uma
sub
-classe de
BodyAreaFn
BodySideFn
Left
and
ThighMuscle
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2861-2861
RightArm
e' uma
sub
-classe de
BodySideFn
Right
and
Arm
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2879-2879
RightEar
e' uma
sub
-classe de
BodySideFn
Right
and
Ear
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2867-2867
RightElbow
e' uma
sub
-classe de
BodySideFn
Right
and
Elbow
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2873-2873
RightElbow
e' uma
sub
-classe de
BodySideFn
Right
and
Shoulder
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2885-2885
RightEye
e' uma
sub
-classe de
BodySideFn
Right
and
Eye
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2927-2927
RightFoot
e' uma
sub
-classe de
BodySideFn
Right
and
Foot
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2891-2891
RightHand
e' uma
sub
-classe de
BodySideFn
Right
and
Hand
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2921-2921
RightHip
e' uma
sub
-classe de
BodySideFn
Right
and
Hip
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2903-2903
RightKidney
e' uma
sub
-classe de
BodySideFn
Right
and
Kidney
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2915-2915
RightKnee
e' uma
sub
-classe de
BodySideFn
Right
and
Knee
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2909-2909
RightLeg
e' uma
sub
-classe de
BodySideFn
Right
and
Leg
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2897-2897
RightLung
e' uma
sub
-classe de
BodySideFn
Right
and
Lung
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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
BodySideFn