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
physicalEnd
Sigma KEE - physicalEnd
physicalEnd
appearance as argument number 1
(
documentation
physicalEnd
EnglishLanguage
"A notion of an indeterminate portion at the end of an
Object
that has a
LongAndThin
ShapeAttribute
.")
Mid-level-ontology.kif 1257-1258
(
domain
physicalEnd
1
Object
)
Merge.kif 17934-17934
physicalEnd
的 1 数量 是
客体
的
instance
(
domain
physicalEnd
2
Object
)
Merge.kif 17935-17935
physicalEnd
的 2 数量 是
客体
的
instance
(
instance
physicalEnd
BinaryPredicate
)
Mid-level-ontology.kif 1254-1254
physicalEnd
是
二元谓语
的
instance
(
instance
physicalEnd
BinaryRelation
)
Merge.kif 17933-17933
physicalEnd
是
二元关系
的
instance
(
subrelation
physicalEnd
part
)
Merge.kif 17941-17941
physicalEnd
是
部分
的
subrelation
(
subrelation
physicalEnd
properPart
)
Mid-level-ontology.kif 1255-1255
physicalEnd
是
真正的部分
的
subrelation
appearance as argument number 2
(
format
EnglishLanguage
physicalEnd
"one end of %2 is %1")
Merge.kif 17940-17940
(
termFormat
EnglishLanguage
physicalEnd
"physical end")
Merge.kif 17939-17939
antecedent
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
如果
客体
是
Lever
的
instance
和
过程
是
Pushing
的
instance
和
物理
是
运动
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 过程
在
另一个 客体
结束 和
physicalEnd
那个 另外 客体
and
那个 客体
和
physicalEnd
第三 客体
and
那个 客体
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
located
在
那个 过程
1 在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
那个 另外 客体
是
located
在
那个 过程
2 在 紧接
那个 物理
出现 的
time
after
holdsDuring
和
那个 第三 客体
是
located
在
那个 过程
3 在 紧接
那个 物理
出现 的
time
before
holdsDuring
和
那个 第三 客体
是
located
在
那个 过程
4 在 紧接
那个 物理
出现 的
time
after
holdsDuring
和
那个 过程
1 和
那个 过程
2 的
distance
是
实数
那个 测量单位
和
那个 过程
3 和
那个 过程
4 的
distance
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
如果
muscleInsertion
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
StandardAnatomicalPosition
是
那个 客体
的
attribute
在
时距
holdsDuring
和
Healthy
是
那个 客体
的
attribute
和
另一个 时距
是
MuscularContraction
的
instance
和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
另一个 客体
是
有点 肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是导致
那个 另外 时距
的
instrument
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 第三 客体
接上
第四 客体
和
那个 第三 客体
是
located
在
实体
在
那个 另外 时距
的开始
holdsDuring
,
然后
那个 第三 客体
不 是
located
在
那个 实体
在
那个 另外 时距
的结束
holdsDuring
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
如果
muscleOrigin
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
StandardAnatomicalPosition
是
那个 客体
的
attribute
在
时距
holdsDuring
和
Healthy
是
那个 客体
的
attribute
和
另一个 时距
是
MuscularContraction
的
instance
和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
另一个 客体
是
有点 肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是导致
那个 另外 时距
的
instrument
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 第三 客体
接上
第四 客体
和
那个 第三 客体
是
located
在
实体
在
那个 另外 时距
的开始
holdsDuring
,
然后
那个 第三 客体
是
located
在
那个 实体
在
那个 另外 时距
的结束
holdsDuring
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1289-1293
如果
physicalEnd
客体
and
另一个 客体
和
第三 客体
是
那个 另外 客体
的
superficialPart
,
然后
那个 客体
接上
那个 第三 客体
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
meetsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1280-1287
如果
physicalEnd
客体
and
另一个 客体
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 客体
不
equal
那个 第三 客体
,
然后
那个 客体
不 接上
那个 第三 客体
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1271-1278
如果
physicalEnd
客体
and
另一个 客体
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 客体
不
equal
那个 第三 客体
,
然后
那个 客体
和
那个 第三 客体
不 重叠
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
part
?P1 ?E1)
(
part
?P2 ?E2)
(
instance
?U
UnitOfLength
)
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
not
(
equal
?E1 ?E2)))
(
not
(
exists
(?OP1 ?OP2 ?D2)
(
and
(
not
(
part
?OP1 ?E1))
(
not
(
part
?OP2 ?E2))
(
distance
?OP1 ?OP2
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?D1)))))
Mid-level-ontology.kif 1295-1315
如果
physicalEnd
客体
and
另一个 客体
和
physicalEnd
第三 客体
and
那个 另外 客体
和
第四 客体
是
那个 客体
的
part
和
第五 客体
是
那个 第三 客体
的
part
和
测量单位
是
UnitOfLength
的
instance
和
那个 第四 客体
和
那个 第五 客体
的
distance
是
实数
那个 测量单位
和
那个 客体
不
equal
那个 第三 客体
,
然后 不存在
那个 另外 客体
P1,
那个 另外 客体
P2, and 和
另一个 实数
这样
那个 另外 客体
P1 不 是
那个 客体
的
part
和
那个 另外 客体
P2 不 是
那个 第三 客体
的
part
和
那个 另外 客体
P1 和
那个 另外 客体
P2 的
distance
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
physicalEnd
?P1 ?O)
(
physicalEnd
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?D ?U)))
(
not
(
exists
(?OP1 ?OP2 ?N2)
(
and
(
physicalEnd
?OP1 ?O)
(
physicalEnd
?OP2 ?O)
(
not
(
equal
?OP1 ?OP2))
(
distance
?OP1 ?OP2
(
MeasureFn
?N2 ?U))
(
greaterThan
?N2 ?D)))))
Merge.kif 17947-17962
如果
physicalEnd
客体
and
另一个 客体
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 客体
不
equal
那个 第三 客体
和
那个 客体
和
那个 第三 客体
的
distance
是
实数
测量单位
,
然后 不存在
那个 另外 客体
P1,
那个 另外 客体
P2, and 和
另一个 实数
这样
physicalEnd
那个 另外 客体
P1 and
那个 另外 客体
和
physicalEnd
那个 另外 客体
P2 and
那个 另外 客体
和
那个 另外 客体
P1 不
equal
那个 另外 客体
P2 和
那个 另外 客体
P1 和
那个 另外 客体
P2 的
distance
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17906-17931
如果
relativeAngle
客体
,
另一个 客体
and
实数
和
physicalEnd
第三 客体
and
那个 客体
和
physicalEnd
第四 客体
and
那个 客体
和
那个 第三 客体
不
equal
那个 第四 客体
和
那个 客体
的
length
是
那个 实数
1
测量单位
和
那个 另外 客体
的
length
是
那个 实数
2
那个 测量单位
和
那个 第三 客体
和
第五 客体
的
distance
是
那个 实数
3
那个 测量单位
和
physicalEnd
那个 第五 客体
and
那个 另外 客体
和
physicalEnd
第六 客体
and
那个 另外 客体
和
那个 第五 客体
不
equal
那个 第六 客体
和
那个 第三 客体
不 接上
那个 第五 客体
,
然后
那个 实数
equal
ArcCosineFn
((
那个 实数
3 和
那个 实数
3 和
那个 实数
1 和
那个 实数
1) 和
那个 实数
2 和
那个 实数
2) 和 2.0 和
那个 实数
1 和
那个 实数
2
(=>
(
physicalEnd
?E ?O)
(
attribute
?O
LongAndThin
))
Mid-level-ontology.kif 1262-1264
如果
physicalEnd
客体
and
另一个 客体
,
然后
又长又瘦
是
那个 另外 客体
的
attribute
(=>
(
physicalEnd
?E ?O)
(
not
(
attribute
?E
LongAndThin
)))
Mid-level-ontology.kif 1266-1269
如果
physicalEnd
客体
and
另一个 客体
,
然后
又长又瘦
不 是
那个 客体
的
attribute
(=>
(
physicalEnd
?P1 ?O)
(
attribute
?O
LongAndThin
))
Merge.kif 17943-17945
如果
physicalEnd
客体
and
另一个 客体
,
然后
又长又瘦
是
那个 另外 客体
的
attribute
consequent
(=>
(
and
(
physicalEnd
?P1 ?O)
(
physicalEnd
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?D ?U)))
(
not
(
exists
(?OP1 ?OP2 ?N2)
(
and
(
physicalEnd
?OP1 ?O)
(
physicalEnd
?OP2 ?O)
(
not
(
equal
?OP1 ?OP2))
(
distance
?OP1 ?OP2
(
MeasureFn
?N2 ?U))
(
greaterThan
?N2 ?D)))))
Merge.kif 17947-17962
如果
physicalEnd
客体
and
另一个 客体
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 客体
不
equal
那个 第三 客体
和
那个 客体
和
那个 第三 客体
的
distance
是
实数
测量单位
,
然后 不存在
那个 另外 客体
P1,
那个 另外 客体
P2, and 和
另一个 实数
这样
physicalEnd
那个 另外 客体
P1 and
那个 另外 客体
和
physicalEnd
那个 另外 客体
P2 and
那个 另外 客体
和
那个 另外 客体
P1 不
equal
那个 另外 客体
P2 和
那个 另外 客体
P1 和
那个 另外 客体
P2 的
distance
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
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