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 15020-15022
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15017-15017
BodySideFn
的 1 数量 是
AntiSymmetricPositionalAttribute
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15018-15018
BodySideFn
的 2 数量 是
身体部位
的
subclass
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15016-15016
BodySideFn
是
二元函数
的
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15019-15019
BodySideFn
的所得值 是
身体部位
的
subclass
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15023-15023
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 64555-64555
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15025-15036
如果
客体
是
动物
的
instance
和
另一个 客体
是
BodySideFn
AntiSymmetricPositionalAttribute
and
有点 身体部位
的
instance
和
那个 AntiSymmetricPositionalAttribute
是
那个 AntiSymmetricPositionalAttribute
O 的相反 和
Healthy
是
那个 客体
的
attribute
,
然后 有存在
那个 另外 客体
O 这样
那个 另外 客体
O 是
BodySideFn
那个 AntiSymmetricPositionalAttribute
O and
有点 身体部位
的
instance
和
那个 另外 客体
在
那个 另外 客体
O 的
那个 AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15038-15040
如果
实体
是
BodySideFn
AntiSymmetricPositionalAttribute
and
有点 身体部位
的
instance
,
然后
那个 实体
是
有点 身体部位
的
instance
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15025-15036
如果
客体
是
动物
的
instance
和
另一个 客体
是
BodySideFn
AntiSymmetricPositionalAttribute
and
有点 身体部位
的
instance
和
那个 AntiSymmetricPositionalAttribute
是
那个 AntiSymmetricPositionalAttribute
O 的相反 和
Healthy
是
那个 客体
的
attribute
,
然后 有存在
那个 另外 客体
O 这样
那个 另外 客体
O 是
BodySideFn
那个 AntiSymmetricPositionalAttribute
O and
有点 身体部位
的
instance
和
那个 另外 客体
在
那个 另外 客体
O 的
那个 AntiSymmetricPositionalAttribute
statement
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2858-2858
LeftArm
是
BodySideFn
左
and
臂
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2876-2876
LeftEar
是
BodySideFn
左
and
耳
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2864-2864
LeftElbow
是
BodySideFn
左
and
手肘
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2882-2882
LeftEye
是
BodySideFn
左
and
眼睛
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2924-2924
LeftFoot
是
BodySideFn
左
and
足
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2888-2888
LeftHand
是
BodySideFn
左
and
手
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2918-2918
LeftHip
是
BodySideFn
左
and
Hip
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2900-2900
LeftKidney
是
BodySideFn
左
and
肾
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2912-2912
LeftKnee
是
BodySideFn
左
and
膝盖
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2906-2906
LeftLeg
是
BodySideFn
左
and
腿
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2894-2894
LeftLung
是
BodySideFn
左
and
肺
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2870-2870
LeftShoulder
是
BodySideFn
左
and
肩
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2930-2930
LeftThigh
是
BodyAreaFn
BodySideFn
左
and
ThighMuscle
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2861-2861
RightArm
是
BodySideFn
右
and
臂
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2879-2879
RightEar
是
BodySideFn
右
and
耳
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2867-2867
RightElbow
是
BodySideFn
右
and
手肘
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2873-2873
RightElbow
是
BodySideFn
右
and
肩
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2885-2885
RightEye
是
BodySideFn
右
and
眼睛
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2927-2927
RightFoot
是
BodySideFn
右
and
足
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2891-2891
RightHand
是
BodySideFn
右
and
手
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2921-2921
RightHip
是
BodySideFn
右
and
Hip
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2903-2903
RightKidney
是
BodySideFn
右
and
肾
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2915-2915
RightKnee
是
BodySideFn
右
and
膝盖
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2909-2909
RightLeg
是
BodySideFn
右
and
腿
的
subclass
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2897-2897
RightLung
是
BodySideFn
右
and
肺
的
subclass
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