before
(=>
(
during
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))))
Merge.kif 8315-8319
Intervalo Temporal
acontece
durante
Intervalo Temporal
o
fim
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
o
comeco
de
Intervalo Temporal
comeca
antes
de o
comeco
de
Intervalo Temporal
(=>
(
earlier
?INTERVAL1 ?INTERVAL2)
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2)))
Merge.kif 8378-8380
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
comeca
antes
de o
comeco
de
Intervalo Temporal
(=>
(
equal
(
BeginFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?POINT ?OTHERPOINT))))
Merge.kif 7998-8005
O
comeco
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
e'
igual
a
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8016-8023
O
fim
de
Intervalo Temporal
e'
igual
a
Ponto no tempo
Ponto no tempo
Ponto no tempo
e' uma &parte de
Intervalo Temporal
Ponto no tempo
e'
igual
a
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
(=>
(
finishes
?INTERVAL1 ?INTERVAL2)
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1))))
Merge.kif 8076-8084
Intervalo Temporal
termina
em
Intervalo Temporal
o
comeco
de
Intervalo Temporal
comeca
antes
de o
comeco
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
Fear
e' um
atributo
de
Agente Cognitivo
vale
durante
Posicao Temporal
Agente Cognitivo
acredita
que o argumento
Entidade
Agente Cognitivo
nao
quer
%n
Entidade
Posicao Temporal
comeca
antes
de
tempo
de existencia de
Entidade
tem a
forca
modal
de
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
Fisico
e' uma
instancia
de
Ambulance
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Entidade
Entidade
Entidade
Entidade
e' uma
instancia
de
Ferir
Entidade
experimenta
Entidade
Entidade
comeca
antes
de
Entidade
Entidade
e' uma
instancia
de
Transporte
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?CHECK
CheckOutService
)
(
exists
(?CHECKIN)
(
and
(
instance
?CHECKIN
CheckInService
)
(
before
(
BeginFn
(
WhenFn
?CHECKIN))
(
BeginFn
(
WhenFn
?CHECK))))))
Hotel.kif 2187-2194
Fisico
e' uma
instancia
de
CheckOutService
Fisico
IN
Fisico
IN e' uma
instancia
de
CheckInService
o
comeco
de
tempo
de existencia de
Fisico
IN comeca
antes
de o
comeco
de
tempo
de existencia de
Fisico
(=>
(
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
Posicao Temporal
e' uma
instancia
de
CoffeeMaking
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
LiquidMotion
Entidade
e' uma
instancia
de
Soaking
Entidade
e' uma
instancia
de
Remover
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
vale
durante
Posicao Temporal
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
EidAlFitr
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Ramadan
Intervalo Temporal
e' uma
instancia
de
Ano
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
comeca
antes
de
Intervalo Temporal
(=>
(
instance
?INTERVAL
TimeInterval
)
(
before
(
BeginFn
?INTERVAL)
(
EndFn
?INTERVAL)))
Merge.kif 8132-8134
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
o
comeco
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
(=>
(
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
Entidade
e' uma
instancia
de
Invoice
Sequencia Simbolica
Agente Cognitivo
,
AutonomousAgent
,
Entidade
and
Entidade
o
identificador
unico de
Sequencia Simbolica
e'
Entidade
buys
Agente Cognitivo
,
AutonomousAgent
and
Entidade
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Produto
objectTransferred
Entidade
and
Entidade
Entidade
inclui uma
referencia
a
Entidade
Entidade
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
ElectronicLock
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
ElectronicSignalling
Entidade
termina
em
Fisico
Entidade
e' uma
instancia
de
Opening
Fisico
e' um
instrumento
para
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
MuakharSadaq
AutonomousAgent
Entidade
,
Intervalo Temporal
and
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
tem como
origem
AutonomousAgent
Intervalo Temporal
termina
em
Entidade
wife
Entidade
and
AutonomousAgent
vale
durante
Intervalo Temporal
wife
Entidade
and
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
Intervalo Temporal
comeca
antes
de
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
MuqaddamSadaq
AutonomousAgent
Entidade
,
Intervalo Temporal
and
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
tem como
origem
AutonomousAgent
Intervalo Temporal
termina
em
Entidade
wife
Entidade
and
AutonomousAgent
vale
durante
Intervalo Temporal
wife
Entidade
and
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
Intervalo Temporal
comeca
antes
de
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
(=>
(
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
Fisico
e' uma
instancia
de
AntiInflammatory
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
N
Entidade
e' uma
instancia
de
Inflammation
Entidade
experimenta
Entidade
Entidade
N e' uma
instancia
de
Ingerir
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
N
Entidade
2
Entidade
2 e' uma
instancia
de
Inflammation
Entidade
experimenta
Entidade
2
vale
durante
apos
tempo
de existencia de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Objeto
Ponto no tempo
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
Ponto no tempo
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
Ponto no tempo
ocorre
antes ou durante
Ponto no tempo
Fisico
existe
durante
Ponto no tempo
(=>
(
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
Entidade
e' uma
instancia
de
PurchaseOrder
Sequencia Simbolica
Agente Cognitivo
,
Agente Cognitivo
and
Entidade
o
identificador
unico de
Sequencia Simbolica
e'
Entidade
buys
Agente Cognitivo
,
Agente Cognitivo
and
Entidade
Agente Cognitivo
obriga
Agente Cognitivo
a executar tarefas de tipo
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' uma
instancia
de
Produto
objectTransferred
Entidade
and
Entidade
Entidade
inclui uma
referencia
a
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
e' um
patient
de
Entidade
(=>
(
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
e' uma
instancia
de
LaundryService
Entidade
Processo
,
Processo
and
Processo
Entidade
e' uma
instancia
de
Roupa
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Washing
Entidade
e' um
patient
de
Processo
Clean
e' um
atributo
de
Entidade
e' o
resultado
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Secar
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Ironing
Processo
e' um
sub
-processo de
Processo
Entidade
e' um
patient
de
Processo
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
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
e' uma
instancia
de
RoomService
AutonomousAgent
Entidade
,
Agente Cognitivo
,
Processo
,
Entidade
,
Processo
and
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Pedir
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Entidade
define
Entidade
Entidade
e' uma
instancia
de
PreparedFood
Agente Cognitivo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
HotelUnit
Processo
e' uma
instancia
de
DeliveryService
Entidade
e' um
patient
de
Processo
Processo
termina
em
Objeto
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
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
e' uma
instancia
de
ValetLaundryService
Humano
AutonomousAgent
,
TemporaryResidence
,
Entidade
,
Processo
,
Processo
and
Processo
customer
Humano
and
AutonomousAgent
stays
Humano
and
TemporaryResidence
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Roupa
Processo
e' uma
instancia
de
Obter
Processo
e'
situado
em
TemporaryResidence
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
LaundryService
Processo
e' uma
instancia
de
DryCleaningService
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
DeliveryService
Entidade
e' um
patient
de
Processo
Processo
termina
em
TemporaryResidence
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
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
Fisico
e' uma
instancia
de
Bidet
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Defecation
Entidade
e' uma
instancia
de
Urination
Entidade
e' um
instrumento
para
Entidade
Entidade
e' uma
instancia
de
Washing
objectTransferred
Entidade
and
Entidade
Fisico
e' um
instrumento
para
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Earphone
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
ElectricalSignalling
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Fisico
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
tem como
origem
Fisico
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Ear
Fisico
e'
Adjacent
em relacao a
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Iftar
Intervalo Temporal
Intervalo Temporal
and
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Sunset
Intervalo Temporal
e' uma
instancia
de
Ramadan
Intervalo Temporal
e' uma
instancia
de
Dia
Intervalo Temporal
acontece
durante
Intervalo Temporal
tempo
de existencia de
Fisico
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
Intervalo Temporal
comeca
antes
de
tempo
de existencia de
Fisico
(=>
(
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
Fisico
e' uma
instancia
de
Suhur
Intervalo Temporal
Intervalo Temporal
and
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Sunrise
Intervalo Temporal
e' uma
instancia
de
Ramadan
Intervalo Temporal
e' uma
instancia
de
Dia
Intervalo Temporal
acontece
durante
Intervalo Temporal
tempo
de existencia de
Fisico
acontece
durante
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
tempo
de existencia de
Fisico
comeca
antes
de
Intervalo Temporal
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