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 1250-1251
(
domain
physicalEnd
1
Object
)
Merge.kif 18013-18013
Il numero 1 argomenti di
physicalEnd
è un
istanza
di
Oggetto
(
domain
physicalEnd
2
Object
)
Merge.kif 18014-18014
Il numero 2 argomenti di
physicalEnd
è un
istanza
di
Oggetto
(
instance
physicalEnd
BinaryPredicate
)
Mid-level-ontology.kif 1247-1247
physicalEnd
è un'
istanza
di
PredicatoBinario
(
instance
physicalEnd
BinaryRelation
)
Merge.kif 18012-18012
physicalEnd
è un'
istanza
di
RelazioneBinaria
(
subrelation
physicalEnd
part
)
Merge.kif 18020-18020
physicalEnd
è una
sottorelazione
di
part
(
subrelation
physicalEnd
properPart
)
Mid-level-ontology.kif 1248-1248
physicalEnd
è una
sottorelazione
di
properPart
appearance as argument number 2
(
format
EnglishLanguage
physicalEnd
"one end of %2 is %1")
Merge.kif 18019-18019
(
termFormat
EnglishLanguage
physicalEnd
"physical end")
Merge.kif 18018-18018
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 1325-1348
Oggetto
è un'
istanza
di
Lever
Processo
è un'
istanza
di
Pushing
Entit�Concreta
è un'
istanza
di
Movimento
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Processo
fine
s in
Oggetto
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è
localizzato
in
Processo
1 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
2 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
3 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
4 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
la
distanza
tra
Processo
1 e
Processo
2 è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Processo
3 e
Processo
4 è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Muscolo
and
ParteDelCorpo
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
StandardAnatomicalPosition
vales
durante
IntervalloTemporale
attribute
Oggetto
and
Healthy
IntervalloTemporale
è un'
istanza
di
MuscularContraction
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
IntervalloTemporale
physicalEnd
Oggetto
and
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è
localizzato
in
Entit�
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
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
Muscolo
and
ParteDelCorpo
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
StandardAnatomicalPosition
vales
durante
IntervalloTemporale
attribute
Oggetto
and
Healthy
IntervalloTemporale
è un'
istanza
di
MuscularContraction
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
IntervalloTemporale
physicalEnd
Oggetto
and
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è
localizzato
in
Entit�
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1282-1286
physicalEnd
Oggetto
and
Oggetto
Oggetto
è una
parte
superficiale di
Oggetto
Oggetto
incontra
s
Oggetto
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
meetsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1273-1280
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
non
incontra
Oggetto
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
overlapsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1264-1271
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
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 1288-1308
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Unit�DiMisura
è un'
istanza
di
UnitOfLength
la
distanza
tra
Oggetto
e
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Oggetto
is
uguale
a
Oggetto
Oggetto
P1
Oggetto
P2 and
NumeroReale
Oggetto
P1 è una
parte
di
Oggetto
Oggetto
P2 è una
parte
di
Oggetto
la
distanza
tra
Oggetto
P1 e
Oggetto
P2 è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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 18026-18041
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
la
distanza
tra
Oggetto
e
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Oggetto
P1
Oggetto
P2 and
NumeroReale
physicalEnd
Oggetto
P1 and
Oggetto
physicalEnd
Oggetto
P2 and
Oggetto
Oggetto
P1 is
uguale
a
Oggetto
P2 la
distanza
tra
Oggetto
P1 e
Oggetto
P2 è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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 17985-18010
relativeAngle
Oggetto
,
Oggetto
and
NumeroReale
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
1
Unit�DiMisura
(s la
lunghezza
di
Oggetto
è
NumeroReale
2
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Oggetto
è
NumeroReale
3
Unit�DiMisura
(s
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
non
incontra
Oggetto
NumeroReale
is
uguale
a l'
arcocoseno
di ((
NumeroReale
3 +
NumeroReale
3 +
NumeroReale
1 +
NumeroReale
1 +
NumeroReale
2 +
NumeroReale
2 + 2.0 +
NumeroReale
1 +
NumeroReale
2
(=>
(
physicalEnd
?E ?O)
(
attribute
?O
LongAndThin
))
Mid-level-ontology.kif 1255-1257
physicalEnd
Oggetto
and
Oggetto
attribute
Oggetto
and
LongAndThin
(=>
(
physicalEnd
?E ?O)
(
not
(
attribute
?E
LongAndThin
)))
Mid-level-ontology.kif 1259-1262
physicalEnd
Oggetto
and
Oggetto
attribute
Oggetto
and
LongAndThin
(=>
(
physicalEnd
?P1 ?O)
(
attribute
?O
LongAndThin
))
Merge.kif 18022-18024
physicalEnd
Oggetto
and
Oggetto
attribute
Oggetto
and
LongAndThin
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 18026-18041
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
la
distanza
tra
Oggetto
e
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Oggetto
P1
Oggetto
P2 and
NumeroReale
physicalEnd
Oggetto
P1 and
Oggetto
physicalEnd
Oggetto
P2 and
Oggetto
Oggetto
P1 is
uguale
a
Oggetto
P2 la
distanza
tra
Oggetto
P1 e
Oggetto
P2 è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
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