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 17956-17956
域
physicalEnd
, 1 and
Object
(
domain
physicalEnd
2
Object
)
Merge.kif 17957-17957
域
physicalEnd
, 2 and
Object
(
instance
physicalEnd
BinaryPredicate
)
Mid-level-ontology.kif 1254-1254
例
physicalEnd
and
BinaryPredicate
(
instance
physicalEnd
BinaryRelation
)
Merge.kif 17955-17955
例
physicalEnd
and
BinaryRelation
(
subrelation
physicalEnd
part
)
Merge.kif 17963-17963
子關係
physicalEnd
and
部分
(
subrelation
physicalEnd
properPart
)
Mid-level-ontology.kif 1255-1255
子關係
physicalEnd
and
適當的部分
appearance as argument number 2
(
format
EnglishLanguage
physicalEnd
"one end of %2 is %1")
Merge.kif 17962-17962
(
termFormat
EnglishLanguage
physicalEnd
"physical end")
Merge.kif 17961-17961
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
例
Object
and
Lever
例
Process
and
Pushing
例
Physical
and
Motion
例
UnitOfMeasure
and
UnitOfLength
目的地
Process
and
Object
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
持有期間
不久的過去
何時
Physical
and
位於
Object
and
Process
持有期間
眼前的未來
何時
Physical
and
位於
Object
and
Process
持有期間
不久的過去
何時
Physical
and
位於
Object
and
Process
持有期間
眼前的未來
何時
Physical
and
位於
Object
and
Process
距離
Process
,
Process
and
測量
RealNumber
and
UnitOfMeasure
距離
Process
,
Process
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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
Muscle
and
BodyPart
例
Object
and
Human
持有期間
TimeInterval
and
attribute
Object
and
StandardAnatomicalPosition
attribute
Object
and
Healthy
例
TimeInterval
and
MuscularContraction
期間
何時
TimeInterval
and
TimeInterval
例
Object
and
Muscle
部分
Object
and
Object
儀器
TimeInterval
and
Object
physicalEnd
Object
and
Object
空間的符合
Object
and
Object
持有期間
開始
TimeInterval
and
位於
Object
and
entity
持有期間
結束
TimeInterval
and
位於
Object
and
entity
(=>
(
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
Muscle
and
BodyPart
例
Object
and
Human
持有期間
TimeInterval
and
attribute
Object
and
StandardAnatomicalPosition
attribute
Object
and
Healthy
例
TimeInterval
and
MuscularContraction
期間
何時
TimeInterval
and
TimeInterval
例
Object
and
Muscle
部分
Object
and
Object
儀器
TimeInterval
and
Object
physicalEnd
Object
and
Object
空間的符合
Object
and
Object
持有期間
開始
TimeInterval
and
位於
Object
and
entity
持有期間
結束
TimeInterval
and
位於
Object
and
entity
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1289-1293
physicalEnd
Object
and
Object
膚淺的部分
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
meetsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1280-1287
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1271-1278
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
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
Object
and
Object
physicalEnd
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
例
UnitOfMeasure
and
UnitOfLength
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
等於
Object
and
Object
Object
P1
Object
P2 and
RealNumber
部分
Object
P1 and
Object
部分
Object
P2 and
Object
距離
Object
P1,
Object
P2 and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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 17969-17984
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
Object
P1
Object
P2 and
RealNumber
physicalEnd
Object
P1 and
Object
physicalEnd
Object
P2 and
Object
等於
Object
P1 and
Object
P2
距離
Object
P1,
Object
P2 and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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 17928-17953
relativeAngle
Object
,
Object
and
RealNumber
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
length
Object
and
測量
RealNumber
and
UnitOfMeasure
length
Object
and
測量
RealNumber
and
UnitOfMeasure
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
空間的符合
Object
and
Object
等於
RealNumber
and
ArcCosineFn
部
減法
減法
乘法
RealNumber
and
RealNumber
and
乘法
RealNumber
and
RealNumber
and
乘法
RealNumber
and
RealNumber
and
乘法
2.0 and
乘法
RealNumber
and
RealNumber
(=>
(
physicalEnd
?E ?O)
(
attribute
?O
LongAndThin
))
Mid-level-ontology.kif 1262-1264
physicalEnd
Object
and
Object
attribute
Object
and
又長又瘦
(=>
(
physicalEnd
?E ?O)
(
not
(
attribute
?E
LongAndThin
)))
Mid-level-ontology.kif 1266-1269
physicalEnd
Object
and
Object
attribute
Object
and
又長又瘦
(=>
(
physicalEnd
?P1 ?O)
(
attribute
?O
LongAndThin
))
Merge.kif 17965-17967
physicalEnd
Object
and
Object
attribute
Object
and
又長又瘦
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 17969-17984
physicalEnd
Object
and
Object
physicalEnd
Object
and
Object
等於
Object
and
Object
距離
Object
,
Object
and
測量
RealNumber
and
UnitOfMeasure
Object
P1
Object
P2 and
RealNumber
physicalEnd
Object
P1 and
Object
physicalEnd
Object
P2 and
Object
等於
Object
P1 and
Object
P2
距離
Object
P1,
Object
P2 and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
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