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
Die Zahl 1 Argument von
physicalEnd
ist ein
fall
von
Object
%n{nicht}
(
domain
physicalEnd
2
Object
)
Merge.kif 17935-17935
Die Zahl 2 Argument von
physicalEnd
ist ein
fall
von
Object
%n{nicht}
(
instance
physicalEnd
BinaryPredicate
)
Mid-level-ontology.kif 1254-1254
physicalEnd
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
physicalEnd
BinaryRelation
)
Merge.kif 17933-17933
physicalEnd
ist ein
fall
von
BinaryRelation
%n{nicht}
(
subrelation
physicalEnd
part
)
Merge.kif 17941-17941
physicalEnd
ist eine
teilrelation
von
teil
(
subrelation
physicalEnd
properPart
)
Mid-level-ontology.kif 1255-1255
physicalEnd
ist eine
teilrelation
von
korrektesTeil
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
Wenn
Object
ist ein
fall
von
Lever
%n{nicht} und
Process
ist ein
fall
von
Pushing
%n{nicht} und
Physical
ist ein
fall
von
Motion
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** Process
endet an
** Object
%n{nicht} und
physicalEnd
** ** Object
and
** Object
und
physicalEnd
** Object
and
** Object
und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Physical
%n{nicht} und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Physical
%n{nicht} und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Physical
%n{nicht} und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Physical
%n{nicht} und der
abstand
zwischen
** Process
1 und
** Process
2 ist
RealNumber
** UnitOfMeasure
(s) und der
abstand
zwischen
** Process
3 und
** Process
4 ist
** RealNumber
** UnitOfMeasure
(s),
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
muscleInsertion
** Muscle
and
** BodyPart
und
Object
ist ein
fall
von
Human
%n{nicht} und
StandardAnatomicalPosition
ist ein
attribut
von
** Object
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
Healthy
ist ein
attribut
von
** Object
%n{nicht} und
** TimeInterval
ist ein
fall
von
MuscularContraction
%n{nicht} und die
zeit
des Bestehens von
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Object
ist ein
fall
von
** Muscle
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
instrument
fuer
** ** TimeInterval
%n{nicht} und
physicalEnd
** Object
and
** ** Object
und
** ** Object
schliesst
** Object
raeumlich an und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
der
anfang
von
** ** TimeInterval
%n{nicht},
dann
** ** Object
befindet
sich an nicht haelt
waehrend
das
ende
von
** ** TimeInterval
%n{nicht}
(=>
(
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
Wenn
muscleOrigin
** Muscle
and
** BodyPart
und
Object
ist ein
fall
von
Human
%n{nicht} und
StandardAnatomicalPosition
ist ein
attribut
von
** Object
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
Healthy
ist ein
attribut
von
** Object
%n{nicht} und
** TimeInterval
ist ein
fall
von
MuscularContraction
%n{nicht} und die
zeit
des Bestehens von
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Object
ist ein
fall
von
** Muscle
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
instrument
fuer
** ** TimeInterval
%n{nicht} und
physicalEnd
** Object
and
** ** Object
und
** ** Object
schliesst
** Object
raeumlich an und
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
der
anfang
von
** ** TimeInterval
%n{nicht},
dann
** ** Object
befindet
sich an %n{nicht} haelt
waehrend
das
ende
von
** ** TimeInterval
%n{nicht}
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1289-1293
Wenn
physicalEnd
Object
and
** Object
und
** Object
ist ein
oberflaechliches
teil von
** ** Object
%n{nicht},
dann
** Object
schliesst
** ** Object
raeumlich an
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
meetsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1280-1287
Wenn
physicalEnd
Object
and
** Object
und
physicalEnd
** Object
and
** ** Object
und
** Object
ist gleich
** ** Object
nicht,
dann
** Object
schliesst
** ** Object
raeumlich nicht an
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1271-1278
Wenn
physicalEnd
Object
and
** Object
und
physicalEnd
** Object
and
** ** Object
und
** Object
ist gleich
** ** Object
nicht,
dann
** Object
deckt
sich mit
** ** Object
raeumlich nicht
(=>
(
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
Wenn
physicalEnd
Object
and
** Object
und
physicalEnd
** Object
and
** ** Object
und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und der
abstand
zwischen
** ** Object
und
** ** Object
ist
RealNumber
** UnitOfMeasure
(s) und
** Object
ist gleich
** ** Object
nicht,
dann es gibt nicht
** ** Object
P1,
** ** Object
P2, and und
** RealNumber
um
** ** Object
P1 ist ein
teil
von
** Object
nicht und
** ** Object
P2 ist ein
teil
von
** ** Object
nicht und der
abstand
zwischen
** ** Object
P1 und
** ** Object
P2 ist
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
physicalEnd
Object
and
** Object
und
physicalEnd
** Object
and
** ** Object
und
** Object
ist gleich
** ** Object
nicht und der
abstand
zwischen
** Object
und
** ** Object
ist
RealNumber
UnitOfMeasure
(s),
dann es gibt nicht
** ** Object
P1,
** ** Object
P2, and und
** RealNumber
um
physicalEnd
** ** Object
P1 and
** ** Object
und
physicalEnd
** ** Object
P2 and
** ** Object
und
** ** Object
P1 ist gleich
** ** Object
P2 nicht und der
abstand
zwischen
** ** Object
P1 und
** ** Object
P2 ist
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
relativeAngle
Object
,
** Object
and
RealNumber
und
physicalEnd
** Object
and
** Object
und
physicalEnd
** Object
and
** Object
und
** ** Object
ist gleich
** ** Object
nicht und die
laenge
von
** Object
ist
** RealNumber
1
UnitOfMeasure
(s) %n{nicht} und die
laenge
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und der
abstand
zwischen
** ** Object
und
** Object
ist
** RealNumber
3
** UnitOfMeasure
(s) und
physicalEnd
** ** Object
and
** ** Object
und
physicalEnd
** Object
and
** ** Object
und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
schliesst
** ** Object
raeumlich nicht an,
dann
** RealNumber
ist gleich der
arcuskosinus
von ((
** RealNumber
3 und
** RealNumber
3 und
** RealNumber
1 und
** RealNumber
1) und
** RealNumber
2 und
** RealNumber
2) und 2.0 und
** RealNumber
1 und
** RealNumber
2 %n{nicht}
(=>
(
physicalEnd
?E ?O)
(
attribute
?O
LongAndThin
))
Mid-level-ontology.kif 1262-1264
Wenn
physicalEnd
Object
and
** Object
,
dann
LongAndThin
ist ein
attribut
von
** ** Object
%n{nicht}
(=>
(
physicalEnd
?E ?O)
(
not
(
attribute
?E
LongAndThin
)))
Mid-level-ontology.kif 1266-1269
Wenn
physicalEnd
Object
and
** Object
,
dann
LongAndThin
ist ein
attribut
von
** Object
nicht
(=>
(
physicalEnd
?P1 ?O)
(
attribute
?O
LongAndThin
))
Merge.kif 17943-17945
Wenn
physicalEnd
Object
and
** Object
,
dann
LongAndThin
ist ein
attribut
von
** ** Object
%n{nicht}
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
Wenn
physicalEnd
Object
and
** Object
und
physicalEnd
** Object
and
** ** Object
und
** Object
ist gleich
** ** Object
nicht und der
abstand
zwischen
** Object
und
** ** Object
ist
RealNumber
UnitOfMeasure
(s),
dann es gibt nicht
** ** Object
P1,
** ** Object
P2, and und
** RealNumber
um
physicalEnd
** ** Object
P1 and
** ** Object
und
physicalEnd
** ** Object
P2 and
** ** Object
und
** ** Object
P1 ist gleich
** ** Object
P2 nicht und der
abstand
zwischen
** ** Object
P1 und
** ** Object
P2 ist
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
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