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
overlapsTemporally
Sigma KEE - overlapsTemporally
overlapsTemporally
appearance as argument number 1
(
documentation
overlapsTemporally
ChineseLanguage
"(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)的意思是
TimeInterval
?INTERVAL1 和 ?INTERVAL2 有
TimeInterval
作为它们的 一个共同部分。")
chinese_format.kif 2717-2719
(
documentation
overlapsTemporally
EnglishLanguage
"(
overlapsTemporally
?INTERVAL1 ?INTERVAL2) means that the
TimeInterval
s ?INTERVAL1 and ?INTERVAL2 have a
TimeInterval
as a common part.")
Merge.kif 8230-8232
(
documentation
overlapsTemporally
JapaneseLanguage
"(
overlapsTemporally
?INTERVAL1 ?INTERVAL2) とは、
TimeInterval
s ?INTERVAL1 と ?INTERVAL2 が共通の部分として
TimeInterval
を持っていることを意味する。")
japanese_format.kif 1441-1443
(
domain
overlapsTemporally
1
TimeInterval
)
Merge.kif 8227-8227
Il numero 1 argomenti di
overlapsTemporally
è un
istanza
di
IntervalloTemporale
(
domain
overlapsTemporally
2
TimeInterval
)
Merge.kif 8228-8228
Il numero 2 argomenti di
overlapsTemporally
è un
istanza
di
IntervalloTemporale
(
instance
overlapsTemporally
BinaryPredicate
)
Merge.kif 8223-8223
overlapsTemporally
è un'
istanza
di
PredicatoBinario
(
instance
overlapsTemporally
ReflexiveRelation
)
Merge.kif 8225-8225
overlapsTemporally
è un'
istanza
di
RelazioneRiflessiva
(
instance
overlapsTemporally
SymmetricRelation
)
Merge.kif 8226-8226
overlapsTemporally
è un'
istanza
di
RelazioneSimmetrica
(
instance
overlapsTemporally
TemporalRelation
)
Merge.kif 8224-8224
overlapsTemporally
è un'
istanza
di
RelazioneTemporale
appearance as argument number 2
(
format
ChineseLanguage
overlapsTemporally
"%2 时段 %n{doesn't} 和 %1 重叠")
chinese_format.kif 431-431
(
format
EnglishLanguage
overlapsTemporally
"%2 %n{doesn't} overlap%p{s} %1")
english_format.kif 437-437
(
format
FrenchLanguage
overlapsTemporally
"%2 %n{ne} recouvre %n{pas} %1")
french_format.kif 250-250
(
format
ItalianLanguage
overlapsTemporally
"%2 %n{non} sovrappone%p{s} %1")
relations-it.txt 208-208
(
format
JapaneseLanguage
overlapsTemporally
"%2 は %1 と overlap%p{s} %n{dない}")
japanese_format.kif 2044-2044
(
format
PortugueseLanguage
overlapsTemporally
"%2 %n{nao} engloba %n %1")
portuguese_format.kif 202-202
(
format
cz
overlapsTemporally
"%2 %n{doesn't} overlap%p{s} %1")
relations-cz.txt 256-256
(
format
de
overlapsTemporally
"%2
de
ckt sich mit %1 %n{nicht}")
relations-de.txt 562-562
(
format
hi
overlapsTemporally
"%2 %1 se ativyaapta %n{nahiin} hai")
relations-hindi.txt 246-246
(
format
ro
overlapsTemporally
"%2 %n{nu} overlap%t{se suprapune} peste %1")
relations-ro.kif 271-271
(
format
sv
overlapsTemporally
"%2 överlappar %n{inte} %1")
relations-sv.txt 274-274
(
format
tg
overlapsTemporally
"%2 %n ay natataklob sa %1")
relations-tg.txt 398-398
(
termFormat
ChineseLanguage
overlapsTemporally
"在时间上重叠")
chinese_format.kif 432-432
(
termFormat
ChineseLanguage
overlapsTemporally
"暂时重叠")
domainEnglishFormat.kif 43788-43788
(
termFormat
ChineseTraditionalLanguage
overlapsTemporally
"暫時重疊")
domainEnglishFormat.kif 43787-43787
(
termFormat
EnglishLanguage
overlapsTemporally
"overlap temporally")
domainEnglishFormat.kif 43786-43786
(
termFormat
tg
overlapsTemporally
"natataklob ng panahon")
relations-tg.txt 399-399
antecedent
(=>
(
and
(
instance
?LOW
LowTide
)
(
instance
?HIGH
HighTide
)
(
eventLocated
?LOW ?PLACE)
(
eventLocated
?HIGH ?PLACE)
(
instance
?DAY
Day
)
(
overlapsTemporally
?LOW ?DAY)
(
overlapsTemporally
?HIGH ?DAY))
(
exists
(?AMOUNT1 ?AMOUNT2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
?LOW
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT1 ?U)))
(
holdsDuring
?HIGH
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT2 ?U)))
(
greaterThan
?AMOUNT2 ?AMOUNT1))))
Geography.kif 4958-4976
IntervalloTemporale
è un'
istanza
di
LowTide
IntervalloTemporale
è un'
istanza
di
HighTide
eventLocated
IntervalloTemporale
and
Oggetto
eventLocated
IntervalloTemporale
and
Oggetto
IntervalloTemporale
è un'
istanza
di
Giorno
IntervalloTemporale
sovrappone
s
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
NumeroReale
NumeroReale
and
Entit�
Entit�
è un'
istanza
di
UnitOfLength
waterDepth
Oggetto
and
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
waterDepth
Oggetto
and
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
lowTide
?PLACE ?TIME1
(
MeasureFn
?AMOUNT1 ?U))
(
highTide
?PLACE ?TIME2
(
MeasureFn
?AMOUNT2 ?U))
(
instance
?U
UnitOfLength
)
(
instance
?DAY
Day
)
(
overlapsTemporally
?TIME1 ?DAY)
(
overlapsTemporally
?TIME2 ?DAY))
(
greaterThan
?AMOUNT1 ?AMOUNT2))
Geography.kif 5027-5037
lowTide
Regione
,
IntervalloTemporale
and
NumeroReale
Unit�DiMisura
(s
highTide
Regione
,
IntervalloTemporale
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
IntervalloTemporale
è un'
istanza
di
Giorno
IntervalloTemporale
sovrappone
s
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8234-8240
IntervalloTemporale
sovrappone
s
IntervalloTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8290-8296
IntervalloTemporale
sovrappone
s
IntervalloTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
consequent
(<=>
(
yearOfFounding
?O ?Y)
(
exists
(?F ?YEAR)
(
and
(
overlapsTemporally
(
WhenFn
?F) ?YEAR)
(
instance
?YEAR
(
YearFn
?Y))
(
instance
?F
Founding
)
(
result
?F ?O))))
Mid-level-ontology.kif 968-975
yearOfFounding
Organizzazione
and
NumeroIntero
Processo
NumeroIntero
EAR
NumeroIntero
EAR
sovrappone
s il
tempo
di esistenza di
Processo
NumeroIntero
EAR è un'
istanza
di l'
anno
NumeroIntero
Processo
è un'
istanza
di
Founding
Organizzazione
è un
risultato
di
Processo
(=>
(
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
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2917-2933
attribute
Agreement
and
GTCOrder
agreementPeriod
Agreement
and
IntervalloTemporale
Processo
IntervalloTemporale
Processo
è un'
istanza
di
FillingAnOrder
Agreement
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
Processo
IntervalloTemporale
Processo
è un'
istanza
di
CancellingAnOrder
Agreement
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Acquistare
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
askPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
minore
o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Vendere
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
bidPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13841-13854
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Entit�
è un'
istanza
di
SostanzaPura
la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
attribute
Entit�
and
Gas
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Bollire
Entit�
è un
paziente
di
Processo
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18203-18209
attribute
AutonomousAgent
and
Embryonic
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Nascita
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
non
sovrappone
IntervalloTemporale
(=>
(
and
(
instance
?C
Convoy
)
(
member
?VEH ?C))
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
Driving
)
(
overlapsTemporally
(
WhenFn
?DRIVE)
(
WhenFn
?C))
(
patient
?DRIVE ?VEH))))
Mid-level-ontology.kif 22348-22356
InsiemeConcreto
è un'
istanza
di
Convoy
Entit�Concreta
è un
membro
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
Driving
il
tempo
di esistenza di
InsiemeConcreto
sovrappone
s il
tempo
di esistenza di
Processo
Entit�Concreta
è un
paziente
di
Processo
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
Processo
è un'
istanza
di
Dodging
Processo
è un
agente
di
AutonomousAgent
Processo
T is
uguale
a il
tempo
di esistenza di
Processo
Processo
ha
scopo
Entit�
Processo
T
incontra
s il
tempo
di esistenza di
Entit�
il
tempo
di esistenza di
Entit�
sovrappone
s
Processo
T
Entit�
è un'
istanza
di
Impatto
AutonomousAgent
è un
paziente
di
Entit�
(=>
(
and
(
instance
?DIGEST
Digesting
)
(
agent
?DIGEST ?ORGANISM))
(
exists
(?INGEST)
(
and
(
instance
?INGEST
Ingesting
)
(
agent
?INGEST ?ORGANISM)
(
overlapsTemporally
(
WhenFn
?INGEST)
(
WhenFn
?DIGEST)))))
Merge.kif 10289-10297
Processo
è un'
istanza
di
Digesting
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Ingestione
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
sovrappone
s il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2471-2482
IntervalloTemporale
è un'
istanza
di
Drought
eventLocated
IntervalloTemporale
and
Oggetto
IntervalloTemporale
Oggetto
IntervalloTemporale
è un'
istanza
di
Raining
Oggetto
è un'
istanza
di
Regione
eventLocated
IntervalloTemporale
and
Oggetto
Oggetto
si
sovrappones a
Oggetto
IntervalloTemporale
sovrappone
s
IntervalloTemporale
(=>
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8242-8247
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
(=>
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8298-8303
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
IntervalloTemporale
è un'
istanza
di
MusclesRelaxing
AutonomousAgent
esperisce
s
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
MusclesBecomingTense
AutonomousAgent
esperisce
s
IntervalloTemporale
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
IntervalloTemporale
è un'
istanza
di
MusclesBecomingTense
AutonomousAgent
esperisce
s
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
MusclesRelaxing
AutonomousAgent
esperisce
s
IntervalloTemporale
(=>
(
and
(
instance
?R
RelievingPain
)
(
patient
?R ?H))
(
and
(
exists
(?P1)
(
and
(
overlapsTemporally
(
WhenFn
?P1)
(
ImmediatePastFn
(
WhenFn
?R)))
(
instance
?P1
Pain
)
(
located
?P1 ?H)))
(
not
(
exists
(?P2)
(
and
(
overlapsTemporally
(
WhenFn
?P2)
(
ImmediateFutureFn
(
WhenFn
?R)))
(
instance
?P2
Pain
)
(
located
?P2 ?H))))))
Mid-level-ontology.kif 5779-5798
Processo
è un'
istanza
di
RelievingPain
Oggetto
è un
paziente
di
Processo
Entit�Concreta
immediatamente
prima
di il
tempo
di esistenza di
Processo
sovrappone
s il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pain
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
immediatamente
dopo
il
tempo
di esistenza di
Processo
sovrappone
s il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pain
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?REL
BinaryPredicate
)
(
instance
?REL
SpatialRelation
)
(
instance
?OBJ1
Physical
)
(
instance
?OBJ2
Physical
)
(?REL ?OBJ1 ?OBJ2))
(
overlapsTemporally
(
WhenFn
?OBJ1)
(
WhenFn
?OBJ2)))
Merge.kif 8249-8256
Entit�
è un'
istanza
di
PredicatoBinario
Entit�
è un'
istanza
di
RelazioneSpaziale
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�
Entit�Concreta
and
Entit�Concreta
il
tempo
di esistenza di
Entit�Concreta
sovrappone
s il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13863-13878
Entit�
è un'
istanza
di
SostanzaPura
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
meltingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
meno
di
NumeroReale
attribute
Entit�
and
Liquid
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Sciogliere
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13880-13893
Entit�
è un'
istanza
di
SostanzaPura
meltingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è
meno
di
NumeroReale
attribute
Entit�
and
Solid
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Congelare
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8269-8279
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
succede
%{s} prima di o con l'
inizio
di
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
(=>
(
and
(
instance
?W
WorkLeave
)
(
instance
?WORK
Working
)
(
agent
?W ?PERSON)
(
agent
?WORK ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
overlapsTemporally
(
WhenFn
?W)
(
WhenFn
?WORK))))
Mid-level-ontology.kif 20426-20436
Processo
è un'
istanza
di
WorkLeave
Processo
ORK è un'
istanza
di
Working
Processo
è un
agente
di
AutonomousAgent
Processo
ORK è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Umano
il
tempo
di esistenza di
Processo
ORK non
sovrappone
il
tempo
di esistenza di
Processo
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Process
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA)
(
overlapsTemporally
(
WhenFn
?ITEM)
(
WhenFn
?AREA)))))
Geography.kif 2280-2290
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
AreaGeografica
il
tempo
di esistenza di
AreaGeografica
sovrappone
s il
tempo
di esistenza di
Entit�Concreta
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21089-21101
attribute
Oggetto
and
ArtCritic
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
OperaD'Arte
il
tempo
di esistenza di
Oggetto
sovrappone
s il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
Articolo
Oggetto
è l'
autore
di
Entit�
Entit�
include un
riferimento
a
Entit�
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21066-21080
attribute
Oggetto
and
NewsReporter
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
il
tempo
di esistenza di
Oggetto
sovrappone
s il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
Newspaper
Entit�
è una
sottoclasse
di
NewsProgram
Oggetto
è l'
autore
di
Entit�
Entit�
include un
riferimento
a
Entit�
(=>
(
dateDissolved
?THING ?DATE)
(
exists
(?DAY)
(
and
(
instance
?DAY ?DATE)
(
overlapsTemporally
?DAY
(
EndFn
(
WhenFn
?THING))))))
Government.kif 2558-2563
dateDissolved
Entit�Concreta
and
PosizioneTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
PosizioneTemporale
la
fine
di il
tempo
di esistenza di
Entit�Concreta
sovrappone
s
IntervalloTemporale
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
not
(
overlapsTemporally
CommonEra
BeforeCommonEra
))
Mid-level-ontology.kif 7891-7891
BeforeCommonEra
non
sovrappone
CommonEra
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