before
(=>
(
during
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))))
Merge.kif 8315-8319
IntervalloTemporale
has luogo
durante
IntervalloTemporale
la
fine
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
(=>
(
earlier
?INTERVAL1 ?INTERVAL2)
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8378-8380
IntervalloTemporale
accades
prima
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 7998-8005
L'
inizio
di
IntervalloTemporale
is
uguale
a
PuntoTemporale
PuntoTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
PuntoTemporale
is
uguale
a
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8016-8023
La
fine
di
IntervalloTemporale
is
uguale
a
PuntoTemporale
PuntoTemporale
PuntoTemporale
è una
parte
di
IntervalloTemporale
PuntoTemporale
is
uguale
a
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
finishes
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1))))
Merge.kif 8076-8084
IntervalloTemporale
finisce
es
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
attribute
AgenteCognitivo
and
Fear
vales
durante
PosizioneTemporale
AgenteCognitivo
crede
s l'affermazione
Entit�
AgenteCognitivo
non
vuole
Entit�
PosizioneTemporale
succede%{s}
prima
di il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
instance
?A
Ambulance
)
(
hasPurpose
?A
(
exists
(?P ?T)
(
and
(
instance
?P
Human
)
(
or
(
attribute
?P
DiseaseOrSyndrome
)
(
exists
(?I ?H)
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?H)
(
before
?I ?T))))
(
instance
?T
Transportation
)
(
instrument
?T ?A)
(
patient
?T ?H)))))
Transportation.kif 1906-1921
Entit�Concreta
è un'
istanza
di
Ambulance
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
MalattiaOSindrome
Entit�
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
esperisce
s
Entit�
Entit�
succede%{s}
prima
di
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?CHECK
CheckOutService
)
(
exists
(?CHECKIN)
(
and
(
instance
?CHECKIN
CheckInService
)
(
before
(
BeginFn
(
WhenFn
?CHECKIN))
(
BeginFn
(
WhenFn
?CHECK))))))
Hotel.kif 2187-2194
Entit�Concreta
è un'
istanza
di
CheckOutService
Entit�Concreta
IN
Entit�Concreta
IN è un'
istanza
di
CheckInService
l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
IN succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?CM
CoffeeMaking
)
(
holdsDuring
?CM
(
exists
(?LM ?S ?R)
(
and
(
instance
?LM
LiquidMotion
)
(
instance
?S
Soaking
)
(
instance
?R
Removing
)
(
before
(
BeginFn
(
WhenFn
?LM))
(
BeginFn
(
WhenFn
?S)))
(
before
(
BeginFn
(
WhenFn
?S))
(
BeginFn
(
WhenFn
?R)))))))
Food.kif 703-716
PosizioneTemporale
è un'
istanza
di
CoffeeMaking
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
LiquidMotion
Entit�
è un'
istanza
di
Soaking
Entit�
è un'
istanza
di
Spostamento
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
vales
durante
PosizioneTemporale
(=>
(
instance
?E
EidAlFitr
)
(
exists
(?R ?Y)
(
and
(
instance
?R
Ramadan
)
(
instance
?Y
Year
)
(
during
?R ?Y)
(
during
?E ?Y)
(
before
?R ?E))))
ArabicCulture.kif 229-237
IntervalloTemporale
è un'
istanza
di
EidAlFitr
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Ramadan
IntervalloTemporale
è un'
istanza
di
Anno
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
succede%{s}
prima
di
IntervalloTemporale
(=>
(
instance
?INTERVAL
TimeInterval
)
(
before
(
BeginFn
?INTERVAL)
(
EndFn
?INTERVAL)))
Merge.kif 8132-8134
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di
IntervalloTemporale
(=>
(
instance
?INVOICE
Invoice
)
(
exists
(?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?INVOICE)
(
buys
?BUYER ?SELLER ?ENT)
(
confersRight
(
exists
(?SELLING)
(
and
(
before
(
BeginFn
(
WhenFn
?INVOICE))
(
BeginFn
(
WhenFn
?SELLING)))
(
instance
?SELLING
Selling
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?SELLING ?PRODUCT)
(
refers
?INVOICE ?PRODUCT)
(
agent
?SELLING ?SELLER)
(
patient
?SELLING ?BUYER))) ?SELLER ?BUYER))))
Mid-level-ontology.kif 29868-29888
Entit�
è un'
istanza
di
Invoice
Stringa
AgenteCognitivo
,
AutonomousAgent
,
Entit�
and
Entit�
l'
identificatore
unico di
Stringa
è
Entit�
buys
AgenteCognitivo
,
AutonomousAgent
and
Entit�
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Prodotto
objectTransferred
Entit�
and
Entit�
Entit�
include un
riferimento
a
Entit�
Entit�
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
paziente
di
Entit�
(=>
(
instance
?LOCK
ElectronicLock
)
(
hasPurpose
?LOCK
(
exists
(?ES ?PROC)
(
and
(
instance
?ES
ElectronicSignalling
)
(
destination
?ES ?LOCK)
(
instance
?PROC
Opening
)
(
instrument
?PROC ?LOCK)
(
before
(
BeginFn
(
WhenFn
?ES))
(
BeginFn
(
WhenFn
?PROC)))))))
Mid-level-ontology.kif 25787-25798
Entit�Concreta
è un'
istanza
di
ElectronicLock
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
ElectronicSignalling
Entit�
fine
s in
Entit�Concreta
Entit�
è un'
istanza
di
Opening
Entit�Concreta
è uno
strumento
per
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
(=>
(
instance
?MS
MuakharSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
holdsDuring
?T1
(
wife
?W ?H))
(
not
(
holdsDuring
?T2
(
wife
?W ?H)))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 285-299
IntervalloTemporale
è un'
istanza
di
MuakharSadaq
AutonomousAgent
Entit�
,
IntervalloTemporale
and
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
si
originas in
AutonomousAgent
IntervalloTemporale
fine
s in
Entit�
wife
Entit�
and
AutonomousAgent
vales
durante
IntervalloTemporale
wife
Entit�
and
AutonomousAgent
non vale
durante
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
IntervalloTemporale
succede%{s}
prima
di
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
(=>
(
instance
?MS
MuqaddamSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
not
(
holdsDuring
?T1
(
wife
?W ?H)))
(
holdsDuring
?T2
(
wife
?W ?H))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 305-319
IntervalloTemporale
è un'
istanza
di
MuqaddamSadaq
AutonomousAgent
Entit�
,
IntervalloTemporale
and
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
IntervalloTemporale
si
originas in
AutonomousAgent
IntervalloTemporale
fine
s in
Entit�
wife
Entit�
and
AutonomousAgent
non vale
durante
IntervalloTemporale
wife
Entit�
and
AutonomousAgent
vales
durante
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
IntervalloTemporale
succede%{s}
prima
di
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
(=>
(
instance
?N
AntiInflammatory
)
(
hasPurpose
?N
(
exists
(?I ?H ?IN)
(
and
(
instance
?I
Inflammation
)
(
experiencer
?H ?I)
(
instance
?IN
Ingesting
)
(
before
(
BeginFn
(
WhenFn
?I))
(
BeginFn
(
WhenFn
?IN)))
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
Inflammation
)
(
experiencer
?I2 ?H)))))))))
Mid-level-ontology.kif 12421-12441
Entit�Concreta
è un'
istanza
di
AntiInflammatory
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
N
Entit�
è un'
istanza
di
Inflammation
Entit�
esperisce
s
Entit�
Entit�
N è un'
istanza
di
Ingestione
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
N
Entit�
2
Entit�
2 è un'
istanza
di
Inflammation
Entit�
esperisce
s
Entit�
2 vales
durante
dopo
il
tempo
di esistenza di
Entit�
(=>
(
instance
?OBJ
Object
)
(
exists
(?TIME1 ?TIME2)
(
and
(
instance
?TIME1
TimePoint
)
(
instance
?TIME2
TimePoint
)
(
before
?TIME1 ?TIME2)
(
forall
(?TIME)
(=>
(
and
(
beforeOrEqual
?TIME1 ?TIME)
(
beforeOrEqual
?TIME ?TIME2))
(
time
?OBJ ?TIME))))))
Merge.kif 8110-8122
Entit�Concreta
è un'
istanza
di
Oggetto
PuntoTemporale
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
PuntoTemporale
PuntoTemporale
succede
%{s} prima di o con
PuntoTemporale
PuntoTemporale
succede
%{s} prima di o con
PuntoTemporale
Entit�Concreta
esistes
durante
PuntoTemporale
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?PO)
(
buys
?BUYER ?SELLER ?PRODUCT)
(
confersObligation
(
exists
(?BUYING)
(
and
(
before
(
BeginFn
(
WhenFn
?PO))
(
BeginFn
(
WhenFn
?BUYING)))
(
instance
?BUYING
Buying
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?BUYING ?PRODUCT)
(
refers
?PO ?PRODUCT)
(
agent
?BUYING ?BUYER)
(
patient
?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 29895-29915
Entit�
è un'
istanza
di
PurchaseOrder
Stringa
AgenteCognitivo
,
AgenteCognitivo
and
Entit�
l'
identificatore
unico di
Stringa
è
Entit�
buys
AgenteCognitivo
,
AgenteCognitivo
and
Entit�
AgenteCognitivo
obbliga
AgenteCognitivo
a compiere il compito di tipo
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un'
istanza
di
Prodotto
objectTransferred
Entit�
and
Entit�
Entit�
include un
riferimento
a
Entit�
Entit�
è un
agente
di
AgenteCognitivo
AgenteCognitivo
è un
paziente
di
Entit�
(=>
(
instance
?SVC
LaundryService
)
(
exists
(?CLOTHES ?WASH ?DRY ?IRON)
(
and
(
instance
?CLOTHES
Clothing
)
(
patient
?SVC ?CLOTHES)
(
subProcess
?WASH ?SVC)
(
instance
?WASH
Washing
)
(
patient
?WASH ?CLOTHES)
(
result
?WASH
(
attribute
?CLOTHES
Clean
))
(
subProcess
?DRY ?SVC)
(
instance
?DRY
Drying
)
(
patient
?DRY ?CLOTHES)
(
instance
?IRON
Ironing
)
(
subProcess
?IRON ?SVC)
(
patient
?IRON ?CLOTHES)
(
before
(
BeginFn
(
WhenFn
?WASH))
(
BeginFn
(
WhenFn
?DRY)))
(
before
(
BeginFn
(
WhenFn
?DRY))
(
BeginFn
(
WhenFn
?IRON))))))
Hotel.kif 1785-1802
Processo
è un'
istanza
di
LaundryService
Entit�
Processo
,
Processo
and
Processo
Entit�
è un'
istanza
di
Vestito
Entit�
è un
paziente
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Washing
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Clean
è un
risultato
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Asciugare
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
Ironing
Processo
è un
sottoprocesso
di
Processo
Entit�
è un
paziente
di
Processo
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
(=>
(
instance
?SVC
RoomService
)
(
exists
(?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
(
and
(
customer
?CUSTOMER ?AGENT)
(
agent
?SVC ?AGENT)
(
instance
?RQST
Requesting
)
(
agent
?RQST ?CUSTOMER)
(
patient
?RQST ?ORDER)
(
represents
?ORDER ?FOOD)
(
instance
?FOOD
PreparedFood
)
(
located
?CUSTOMER ?LOC)
(
instance
?LOC
HotelUnit
)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?FOOD)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?RQST))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1969-1987
Processo
è un'
istanza
di
RoomService
AutonomousAgent
Entit�
,
AgenteCognitivo
,
Processo
,
Entit�
,
Processo
and
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Richiedere
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Entit�
esprime
Entit�
Entit�
è un'
istanza
di
PreparedFood
AgenteCognitivo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
HotelUnit
Processo
è un'
istanza
di
DeliveryService
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Oggetto
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
(=>
(
instance
?SVC
ValetLaundryService
)
(
exists
(?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY)
(
and
(
customer
?CUST ?AGENT)
(
stays
?CUST ?LOC)
(
agent
?SVC ?AGENT)
(
instance
?CLOTHES
Clothing
)
(
instance
?PICKUP
Getting
)
(
located
?PICKUP ?LOC)
(
patient
?PICKUP ?CLOTHES)
(
agent
?PICKUP ?AGENT)
(
or
(
instance
?LAUNDRY
LaundryService
)
(
instance
?LAUNDRY
DryCleaningService
))
(
agent
?LAUNDRY ?AGENT)
(
patient
?LAUNDRY ?CLOTHES)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?CLOTHES)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?PICKUP))
(
BeginFn
(
WhenFn
?LAUNDRY)))
(
before
(
BeginFn
(
WhenFn
?LAUNDRY))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1827-1848
Processo
è un'
istanza
di
ValetLaundryService
Umano
AutonomousAgent
,
TemporaryResidence
,
Entit�
,
Processo
,
Processo
and
Processo
customer
Umano
and
AutonomousAgent
stays
Umano
and
TemporaryResidence
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
Vestito
Processo
è un'
istanza
di
Ottenere
Processo
è
localizzato
in
TemporaryResidence
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
LaundryService
Processo
è un'
istanza
di
DryCleaningService
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
DeliveryService
Entit�
è un
paziente
di
Processo
Processo
fine
s in
TemporaryResidence
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
(=>
(
instance
?X
Bidet
)
(
hasPurpose
?X
(
exists
(?PROC ?WASH ?PART)
(
and
(
or
(
instance
?PROC
Defecation
)
(
instance
?PROC
Urination
))
(
instrument
?PROC ?PART)
(
instance
?WASH
Washing
)
(
objectTransferred
?WASH ?PART)
(
instrument
?WASH ?X)
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
?WASH)))))))
Mid-level-ontology.kif 2182-2196
Entit�Concreta
è un'
istanza
di
Bidet
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Defecation
Entit�
è un'
istanza
di
Urination
Entit�
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Washing
objectTransferred
Entit�
and
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
(=>
(
instance
?X
Earphone
)
(
hasPurpose
?X
(
exists
(?ES ?RS ?SIGNAL ?EAR ?PROC)
(
and
(
instance
?ES
ElectricalSignalling
)
(
patient
?ES ?SIGNAL)
(
destination
?ES ?X)
(
instance
?PROC
Process
)
(
instrument
?PROC ?X)
(
patient
?PROC ?SIGNAL)
(
result
?PROC ?RS)
(
instance
?RS
RadiatingSound
)
(
origin
?RS ?X)
(
before
(
BeginFn
(
WhenFn
?ES))
(
BeginFn
(
WhenFn
?PROC)))
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
?RS)))
(
instance
?EAR
Ear
)
(
orientation
?X ?EAR
Adjacent
)))))
Mid-level-ontology.kif 26053-26074
Entit�Concreta
è un'
istanza
di
Earphone
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
ElectricalSignalling
Entit�
è un
paziente
di
Entit�
Entit�
fine
s in
Entit�Concreta
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
si
originas in
Entit�Concreta
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Ear
Entit�Concreta
è
Adjacent
a
Entit�
(=>
(
instance
?X
Iftar
)
(
exists
(?R ?S ?D)
(
and
(
instance
?S
Sunset
)
(
instance
?R
Ramadan
)
(
instance
?D
Day
)
(
during
?D ?R)
(
during
(
WhenFn
?X) ?D)
(
during
?S ?D)
(
before
?S
(
WhenFn
?X)))))
ArabicCulture.kif 91-101
Entit�Concreta
è un'
istanza
di
Iftar
IntervalloTemporale
IntervalloTemporale
and
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Sunset
IntervalloTemporale
è un'
istanza
di
Ramadan
IntervalloTemporale
è un'
istanza
di
Giorno
IntervalloTemporale
has luogo
durante
IntervalloTemporale
il
tempo
di esistenza di
Entit�Concreta
has luogo
durante
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
succede%{s}
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?X
Suhur
)
(
exists
(?R ?S ?D)
(
and
(
instance
?S
Sunrise
)
(
instance
?R
Ramadan
)
(
instance
?D
Day
)
(
during
?D ?R)
(
during
(
WhenFn
?X) ?D)
(
during
?S ?D)
(
before
(
WhenFn
?X) ?S))))
ArabicCulture.kif 36-46
Entit�Concreta
è un'
istanza
di
Suhur
IntervalloTemporale
IntervalloTemporale
and
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Sunrise
IntervalloTemporale
è un'
istanza
di
Ramadan
IntervalloTemporale
è un'
istanza
di
Giorno
IntervalloTemporale
has luogo
durante
IntervalloTemporale
il
tempo
di esistenza di
Entit�Concreta
has luogo
durante
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
il
tempo
di esistenza di
Entit�Concreta
succede%{s}
prima
di
IntervalloTemporale
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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