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
meetsSpatially
Sigma KEE - meetsSpatially
meetsSpatially
appearance as argument number 1
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9574-9574
meetsSpatially
e
overlapsSpatially
sono
disgiunti
(
documentation
meetsSpatially
ChineseLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2)得意思是 ?OBJ1 和 ?OBJ2 是
connected
的但是 ?OBJ1 或 ?OBJ2 都没有跟对方
overlapsSpatially
。")
chinese_format.kif 2828-2829
(
documentation
meetsSpatially
EnglishLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are
connected
but that neither ?OBJ1 nor ?OBJ2
overlapsSpatially
the other.")
Merge.kif 9576-9578
(
documentation
meetsSpatially
JapaneseLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2) とは、?OBJ1 と ?OBJ2 は
connected
だが、?OBJ1 も ?OBJ2 も
overlapsSpatially
ではないという意味であ る。")
japanese_format.kif 1570-1572
(
domain
meetsSpatially
1
Object
)
Merge.kif 9568-9568
Il numero 1 argomenti di
meetsSpatially
è un
istanza
di
Oggetto
(
domain
meetsSpatially
2
Object
)
Merge.kif 9569-9569
Il numero 2 argomenti di
meetsSpatially
è un
istanza
di
Oggetto
(
instance
meetsSpatially
BinaryPredicate
)
Merge.kif 9573-9573
meetsSpatially
è un'
istanza
di
PredicatoBinario
(
instance
meetsSpatially
IrreflexiveRelation
)
Merge.kif 9571-9571
meetsSpatially
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
meetsSpatially
SymmetricRelation
)
Merge.kif 9572-9572
meetsSpatially
è un'
istanza
di
RelazioneSimmetrica
(
relatedInternalConcept
meetsSpatially
connected
)
Merge.kif 9570-9570
meetsSpatially
è
interamente
correlato a
connected
appearance as argument number 2
(
format
ChineseLanguage
meetsSpatially
"%1 %n 接上 %2")
chinese_format.kif 365-365
(
format
EnglishLanguage
meetsSpatially
"%1 %n{doesn't} meet%p{s} %2")
english_format.kif 368-368
(
format
FrenchLanguage
meetsSpatially
"%1 %n{ne} rencontre %n{pas} %2")
french_format.kif 211-211
(
format
ItalianLanguage
meetsSpatially
"%1 %n{non} incontra%p{s} %2")
relations-it.txt 179-179
(
format
JapaneseLanguage
meetsSpatially
"%1 は %2 と meet%p{s} %n{ない}")
japanese_format.kif 2018-2018
(
format
PortugueseLanguage
meetsSpatially
"%1 %n{nao} encontra %n %2")
portuguese_format.kif 163-163
(
format
cz
meetsSpatially
"%1 se %n{ne}dot�k� %2")
relations-cz.txt 218-218
(
format
de
meetsSpatially
"%1 schliesst %2 raeumlich %n{nicht} an")
relations-de.txt 486-486
(
format
hi
meetsSpatially
"%1 %2 se %n{nahiin} milataa hai")
relations-hindi.txt 217-217
(
format
ro
meetsSpatially
"%1 %n{nu} meet%t{întâlneºte} %2")
relations-ro.kif 231-231
(
format
sv
meetsSpatially
"%1 möter %n{inte} %2")
relations-sv.txt 228-228
(
format
tg
meetsSpatially
"%1 %n ay sumali sa %2")
relations-tg.txt 354-354
(
subrelation
grasps
meetsSpatially
)
Merge.kif 11494-11494
grasps
è una
sottorelazione
di
meetsSpatially
(
termFormat
ChineseLanguage
meetsSpatially
"接触")
chinese_format.kif 366-366
(
termFormat
ChineseLanguage
meetsSpatially
"空间的符合")
domainEnglishFormat.kif 36917-36917
(
termFormat
ChineseTraditionalLanguage
meetsSpatially
"空間的符合")
domainEnglishFormat.kif 36916-36916
(
termFormat
EnglishLanguage
meetsSpatially
"meets spatially")
domainEnglishFormat.kif 36915-36915
(
termFormat
tg
meetsSpatially
"sa tabi ng")
relations-tg.txt 355-355
antecedent
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6231-6244
allergic
Umano
and
Sostanza
Sostanza
UB è un'
istanza
di
Sostanza
Sostanza
UB
incontra
s
Umano
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
AllergicReaction
Umano
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
sovrappone
s
PosizioneTemporale
l'
inizio
di
PosizioneTemporale
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
attribute
Oggetto
and
LateralRecumbant
Oggetto
è
On
a
Oggetto
vales
durante
PosizioneTemporale
Oggetto
è un'
istanza
di
LeftArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
LeftLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
non
incontra
Oggetto
Oggetto
non
incontra
Oggetto
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
attribute
Oggetto
and
LateralRecumbant
Oggetto
è
On
a
Oggetto
vales
durante
PosizioneTemporale
Oggetto
è un'
istanza
di
LeftArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
LeftLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
non
incontra
Oggetto
Oggetto
non
incontra
Oggetto
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
Oggetto
è un'
istanza
di
Armor
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Mantenere
Oggetto
è uno
strumento
per
Entit�
Oggetto
esperisce
s
Entit�
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
Oggetto
è un'
istanza
di
Armor
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Danneggiare
Oggetto
è uno
strumento
per
Entit�
Oggetto
esperisce
s
Entit�
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
ConvexRoundShape
))
Mid-level-ontology.kif 5016-5025
Oggetto
è un'
istanza
di
Bubble
Oggetto
Attributo
attribute
Oggetto
and
Attributo
Oggetto
is
uguale
a
Gas
Oggetto
incontra
s
Oggetto
attribute
Oggetto
and
ConvexRoundShape
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
Processo
è un'
istanza
di
Hurricane
eventLocated
Processo
and
Oggetto
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
è
localizzato
in
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
is
uguale
a
NortheasternPacificOcean
Oggetto
is
uguale
a
NorthAtlanticOcean
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
FreshWaterArea
))
(
instance
?INLET
FreshWaterArea
))
Geography.kif 5246-5251
Oggetto
è un'
istanza
di
Inlet
Oggetto
incontra
s
Oggetto
Oggetto
è un'
istanza
di
SuperficieD'AcquaDolce
Oggetto
è un'
istanza
di
SuperficieD'AcquaDolce
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
SaltWaterArea
))
(
instance
?INLET
SaltWaterArea
))
Geography.kif 5239-5244
Oggetto
è un'
istanza
di
Inlet
Oggetto
incontra
s
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquaticaSalata
Oggetto
è un'
istanza
di
SuperficieAcquaticaSalata
(=>
(
and
(
instance
?ISLE
Island
)
(
instance
?AREA
GeographicArea
)
(
meetsSpatially
?ISLE ?AREA))
(
not
(
instance
?AREA
LandArea
)))
Merge.kif 14208-14214
Oggetto
è un'
istanza
di
Isola
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
incontra
s
Oggetto
Oggetto
è un'
istanza
di
SuperficieTerrestre
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
AreaGeografica
è un'
istanza
di
MaritimeShelfArea
Oggetto
è un'
istanza
di
ContinentalShelf
AutonomousAgent
è un'
istanza
di
Nazione
Oggetto
incontra
s
AutonomousAgent
claimedTerritory
AreaGeografica
and
AutonomousAgent
AreaGeografica
si
sovrappones a
Oggetto
(=>
(
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
(
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
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
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 724-726
Oggetto
incontra
s
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
meetsSpatially
?OBJECT1 ?OBJECT2)
(
orientation
?OBJECT1 ?OBJECT2
Adjacent
))
Transportation.kif 864-866
Oggetto
incontra
s
Oggetto
Oggetto
è
Adjacent
a
Oggetto
(=>
(
meetsSpatially
?X ?Y)
(
orientation
?X ?Y
Adjacent
))
Geography.kif 6163-6165
Oggetto
incontra
s
Oggetto
Oggetto
è
Adjacent
a
Oggetto
consequent
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4078-4095
attribute
Oggetto
and
GeometricFigure
Oggetto
è un'
istanza
di
FourPosterBed
GeometricFigure
è un'
istanza
di
Quadrilateral
sideOfFigure
OneDimensionalFigure
and
GeometricFigure
sideOfFigure
OneDimensionalFigure
and
GeometricFigure
OneDimensionalFigure
is
uguale
a
OneDimensionalFigure
Oggetto
Oggetto
,
GeometricPoint
and
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Floor
Oggetto
è
On
a
Oggetto
Oggetto
è
Vertical
a
Oggetto
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
attribute
Oggetto
and
GeometricPoint
Oggetto
incontra
s
Oggetto
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Mid-level-ontology.kif 29752-29756
covers
Oggetto
and
Oggetto
Oggetto
è una
parte
superficiale di
Oggetto
Oggetto
incontra
s
Oggetto
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
attribute
Oggetto
and
LateralRecumbant
Oggetto
è
On
a
Oggetto
vales
durante
PosizioneTemporale
Oggetto
è un'
istanza
di
LeftArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
LeftLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
non
incontra
Oggetto
Oggetto
non
incontra
Oggetto
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
attribute
Oggetto
and
LateralRecumbant
Oggetto
è
On
a
Oggetto
vales
durante
PosizioneTemporale
Oggetto
è un'
istanza
di
LeftArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightArm
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
LeftLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RightLeg
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
non
incontra
Oggetto
Oggetto
non
incontra
Oggetto
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Prone
)
(
orientation
?H ?O
On
)))
(
instance
?C
Chest
)
(
part
?C ?H))
(
meetsSpatially
?C ?O))
Anatomy.kif 1799-1807
attribute
Oggetto
and
Prone
Oggetto
è
On
a
Oggetto
vales
durante
PosizioneTemporale
Oggetto
è un'
istanza
di
Chest
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Supine
)
(
orientation
?H ?O
On
)))
(
equal
?B
(
BackFn
?H)))
(
meetsSpatially
?B ?O))
Anatomy.kif 1814-1821
attribute
OggettoIntegro
and
Supine
OggettoIntegro
è
On
a
Oggetto
vales
durante
PosizioneTemporale
OggettoIntegro
is
uguale
a il
dietro
di
OggettoIntegro
OggettoIntegro
incontra
s
Oggetto
(=>
(
and
(
instance
?B
Blade
)
(
instance
?CUT
Cutting
)
(
instance
?OBJ
Object
)
(
instrument
?CUT ?B)
(
patient
?CUT ?OBJ))
(
meetsSpatially
?B ?OBJ))
Mid-level-ontology.kif 22018-22025
Oggetto
è un'
istanza
di
Blade
Processo
è un'
istanza
di
Tagliare
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
incontra
s
Oggetto
(=>
(
and
(
instance
?C
Cavitating
)
(
instance
?P
Pump
)
(
attribute
?P
DeviceOn
)
(
attribute
?L1
Liquid
)
(
contains
?P ?L1))
(
exists
(?PP ?L2)
(
and
(
part
?PP ?P)
(
hasPurpose
?PP
(
and
(
attribute
?L2
Liquid
)
(
meetsSpatially
?L2 ?PP)))
(
holdsDuring
(
WhenFn
?C)
(
not
(
exists
(?L3)
(
and
(
attribute
?L3
Liquid
)
(
meetsSpatially
?PP ?L3))))))))
Cars.kif 1741-1761
Entit�Concreta
è un'
istanza
di
Cavitating
OggettoIntegro
è un'
istanza
di
Pump
attribute
OggettoIntegro
and
DeviceOn
attribute
Oggetto
and
Liquid
contains
OggettoIntegro
and
Oggetto
OggettoIntegro
P
Entit�
OggettoIntegro
P è una
parte
di
OggettoIntegro
OggettoIntegro
P ha
scopo
attribute
Entit�
and
Liquid
Entit�
incontra
s
OggettoIntegro
P
Entit�
attribute
Entit�
and
Liquid
OggettoIntegro
P
incontra
s
Entit�
vales
durante
il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Oggetto
è un'
istanza
di
Crystal
attribute
Oggetto
and
MonoCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
attribute
OggettoIntegro
and
Solid
attribute
OggettoIntegro
and
PolyCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
LNT
NumeroIntero
and
Oggetto
Oggetto
LNT è un'
istanza
di
InsiemeConcreto
memberCount
Oggetto
LNT and
NumeroIntero
NumeroIntero
è
pi
ù grande di o uguale a 4
Oggetto
è un
membro
di
Oggetto
LNT
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
incontra
s
Oggetto
(=>
(
and
(
instance
?HOLE1
HoleRegion
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 9939-9947
Oggetto
è un'
istanza
di
apertura
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
non
incontra
Oggetto
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?P)
(
and
(
part
?P ?H)
(
meetsSpatially
?P ?HR))))
Cars.kif 4287-4299
Oggetto
è un'
istanza
di
Reel
Processo
è un'
istanza
di
Trattenere
Oggetto
è un'
istanza
di
OggettoCorpuscolare
attribute
Oggetto
and
LongAndThin
attribute
Oggetto
and
Pliable
Oggetto
è uno
strumento
per
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5823-5837
OggettoIntegro
è un'
istanza
di
Isthmus
un
lato
di
OggettoIntegro
è
OggettoIntegro
un
lato
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
is
uguale
a
OggettoIntegro
Oggetto
Oggetto
,
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
SuperficieTerrestre
Oggetto
è un'
istanza
di
SuperficieTerrestre
OggettoIntegro
è
tra
Oggetto
e
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
è un'
istanza
di
SuperficieAcquatica
OggettoIntegro
incontra
s
Oggetto
OggettoIntegro
incontra
s
Oggetto
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
Oggetto
è un'
istanza
di
LeafSpring
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RoadVehicle
l'affermazione
Oggetto
2
Oggetto
2 è un'
istanza
di
LeafSpring
Oggetto
2 è una
parte
di
Oggetto
Oggetto
is
uguale
a
Oggetto
2
Oggetto
incontra
s
Oggetto
2 ha il modello di forza di
Likely
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
OggettoIntegro
è un'
istanza
di
LiquidDrop
OggettoIntegro
è una
superficie
di
OggettoIntegro
l'affermazione
OggettoIntegro
S
Entit�
Entit�
è un'
istanza
di
Sostanza
attribute
Entit�
and
Liquid
OggettoIntegro
is
uguale
a
Entit�
OggettoIntegro
S è una
superficie
di
Entit�
OggettoIntegro
incontra
s
OggettoIntegro
S ha il modello di forza di
Unlikely
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
OggettoIntegro
è un'
istanza
di
Oggetto
attribute
OggettoIntegro
and
ConvexRoundShape
OggettoIntegro
è una
superficie
di
OggettoIntegro
OggettoIntegro
è un'
istanza
di
TwoDimensionalObject
GeometricPoint
GeometricPoint
è una
parte
di
OggettoIntegro
attribute
GeometricPoint
and
GeometricPoint
pointOfFigure
GeometricPoint
and
OggettoIntegro
GeometricPoint
incontra
s
OggettoIntegro
GeometricPoint
incontra
s
OggettoIntegro
OneDimensionalFigure
tangent
OneDimensionalFigure
and
OggettoIntegro
(=>
(
and
(
instance
?Range
MountainRange
)
(
part
?Mountain1 ?Range))
(
exists
(?Mountain2)
(
and
(
component
?Mountain2 ?Range)
(
instance
?Mountain2
Mountain
)
(
meetsSpatially
?Mountain1 ?Mountain2))))
Geography.kif 4016-4024
OggettoCorpuscolare
è un'
istanza
di
MountainRange
Oggetto
è una
parte
di
OggettoCorpuscolare
OggettoCorpuscolare
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
Mountain
Oggetto
incontra
s
OggettoCorpuscolare
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
Oggetto
è un'
istanza
di
Saw
Processo
è un'
istanza
di
Tagliare
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è un
paziente
di
Processo
Processo
Entit�
,
Entit�
,
IntervalloTemporale
,
PosizioneTemporale
,
PosizioneTemporale
and
Oggetto
Processo
è un'
istanza
di
Movimento
Processo
è un
sottoprocesso
di
Processo
Oggetto
è un'
istanza
di
CuttingDevice
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è un
paziente
di
Processo
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
il
tempo
di esistenza di
Processo
is
uguale
a
IntervalloTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
IntervalloTemporale
è una
parte
di
PosizioneTemporale
Entit�
è un'
istanza
di
AttributoDirezionale
Entit�
è un'
istanza
di
AttributoDirezionale
entità nel processo
Processo
si stanno
muovendo
verso
Entit�
vales
durante
PosizioneTemporale
entità nel processo
Processo
si stanno
muovendo
verso
Entit�
Entit�
is
uguale
a
Entit�
oppositeDirection
Entit�
and
Entit�
~{
Entit�
is
uguale
a
Entit�
} ~{
oppositeDirection
Entit�
and
Entit�
} vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?SHORE
ShoreArea
)
(
instance
?WATER
WaterArea
)
(
orientation
?SHORE ?WATER
Adjacent
))
(
exists
(?LINE)
(
and
(
instance
?LINE
Shoreline
)
(
part
?LINE ?SHORE)
(
meetsSpatially
?LINE ?WATER))))
Geography.kif 6152-6161
Oggetto
è un'
istanza
di
ShoreArea
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
è
Adjacent
a
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Shoreline
Oggetto
è una
parte
di
Oggetto
Oggetto
incontra
s
Oggetto
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 1651-1672
Processo
è un'
istanza
di
Tornado
Processo
è un'
istanza
di
Rotating
Oggetto
è un'
istanza
di
Air
Processo
RAN è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
RAN è un
sottoprocesso
di
Processo
Oggetto
è un
paziente
di
Processo
RAN entità nel processo
Processo
RAN si stanno
muovendo
verso
Horizontal
Oggetto
OggettoIntegro
,
Processo
OP,
OggettoIntegro
,
OggettoIntegro
and
OggettoIntegro
Oggetto
è un'
istanza
di
AreaGeografica
eventLocated
Processo
and
Oggetto
OggettoIntegro
è una
parte
di
Oggetto
attribute
OggettoIntegro
and
ConeSegment
il
vertice
OggettoIntegro
è
Processo
OP il
fondo
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Cloud
il
fondo
di
OggettoIntegro
è
OggettoIntegro
Processo
OP
incontra
s
OggettoIntegro
OggettoIntegro
incontra
s
Oggetto
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
Processo
è un'
istanza
di
Typhoon
eventLocated
Processo
and
Oggetto
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
è
localizzato
in
NorthwesternPacificOcean
Oggetto
incontra
s
NorthwesternPacificOcean
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1289-1293
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 1280-1287
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
non
incontra
Oggetto
(=>
(
and
(
wears
?P ?B)
(
instance
?B
Belt
))
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?P ?C)
(
meetsSpatially
?B ?C))))
Mid-level-ontology.kif 5072-5080
wears
Animale
and
WearableItem
WearableItem
è un'
istanza
di
Belt
WearableItem
WearableItem
è un'
istanza
di
Vestito
wears
Animale
and
WearableItem
WearableItem
incontra
s
WearableItem
(=>
(
and
(
wears
?P ?C)
(
instance
?C
Collar
))
(
exists
(?N)
(
and
(
instance
?N
Neck
)
(
part
?N ?P)
(
meetsSpatially
?C ?N))))
Mid-level-ontology.kif 5120-5128
wears
Animale
and
WearableItem
WearableItem
è un'
istanza
di
Collar
Oggetto
Oggetto
è un'
istanza
di
Neck
Oggetto
è una
parte
di
Animale
WearableItem
incontra
s
Oggetto
(=>
(
and
(
wears
?P ?G)
(
instance
?G
Glove
))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?P)
(
meetsSpatially
?G ?H))))
Mid-level-ontology.kif 5135-5143
wears
Animale
and
WearableItem
WearableItem
è un'
istanza
di
Glove
Oggetto
Oggetto
è un'
istanza
di
Hand
Oggetto
è una
parte
di
Animale
WearableItem
incontra
s
Oggetto
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
meetsSpatially
Alabama
Mississippi
)
CountriesAndRegions.kif 866-866
Alabama
incontra
s
Mississippi
(
meetsSpatially
Alaska
ArcticOcean
)
CountriesAndRegions.kif 882-882
Alaska
incontra
s
ArcticOcean
(
meetsSpatially
Alaska
Canada
)
CountriesAndRegions.kif 880-880
Alaska
incontra
s
Canada
(
meetsSpatially
Alaska
PacificOcean
)
CountriesAndRegions.kif 881-881
Alaska
incontra
s
PacificOcean
(
meetsSpatially
Arizona
California
)
CountriesAndRegions.kif 885-885
Arizona
incontra
s
California
(
meetsSpatially
Arizona
Mexico
)
CountriesAndRegions.kif 886-886
Arizona
incontra
s
Mexico
(
meetsSpatially
Arizona
Nevada
)
CountriesAndRegions.kif 884-884
Arizona
incontra
s
Nevada
(
meetsSpatially
Arkansas
Louisiana
)
CountriesAndRegions.kif 892-892
Arkansas
incontra
s
Louisiana
(
meetsSpatially
Arkansas
Oklahoma
)
CountriesAndRegions.kif 890-890
Arkansas
incontra
s
Oklahoma
(
meetsSpatially
Arkansas
Texas
)
CountriesAndRegions.kif 891-891
Arkansas
incontra
s
Texas
(
meetsSpatially
BassasDaIndia
IndianOcean
)
CountriesAndRegions.kif 136-136
BassasDaIndia
incontra
s
IndianOcean
(
meetsSpatially
BouvetIsland
SouthAtlanticOcean
)
CountriesAndRegions.kif 138-138
BouvetIsland
incontra
s
SouthAtlanticOcean
(
meetsSpatially
California
Mexico
)
CountriesAndRegions.kif 904-904
California
incontra
s
Mexico
(
meetsSpatially
California
NewMexico
)
CountriesAndRegions.kif 905-905
California
incontra
s
NewMexico
(
meetsSpatially
California
Oregon
)
CountriesAndRegions.kif 906-906
California
incontra
s
Oregon
(
meetsSpatially
California
PacificOcean
)
CountriesAndRegions.kif 903-903
California
incontra
s
PacificOcean
(
meetsSpatially
California
Washington
)
CountriesAndRegions.kif 907-907
California
incontra
s
Washington
(
meetsSpatially
Canada
UnitedStates
)
CountriesAndRegions.kif 410-410
Canada
incontra
s
UnitedStates
(
meetsSpatially
Colorado
Arizona
)
CountriesAndRegions.kif 910-910
Colorado
incontra
s
Arizona
(
meetsSpatially
Colorado
NewMexico
)
CountriesAndRegions.kif 911-911
Colorado
incontra
s
NewMexico
(
meetsSpatially
Colorado
Texas
)
CountriesAndRegions.kif 912-912
Colorado
incontra
s
Texas
(
meetsSpatially
Colorado
Utah
)
CountriesAndRegions.kif 909-909
Colorado
incontra
s
Utah
(
meetsSpatially
Delaware
Maryland
)
CountriesAndRegions.kif 920-920
Delaware
incontra
s
Maryland
(
meetsSpatially
Delaware
NorthAtlanticOcean
)
CountriesAndRegions.kif 919-919
Delaware
incontra
s
NorthAtlanticOcean
(
meetsSpatially
Delaware
Pennsylvania
)
CountriesAndRegions.kif 921-921
Delaware
incontra
s
Pennsylvania
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