possesses
(=>
(
instance
?SVC
TransportationService
)
(
exists
(?VEHICLE ?AGENT ?TRANS ?CUST)
(
and
(
agent
?SVC ?AGENT)
(
possesses
?AGENT ?VEHICLE)
(
customer
?CUST ?AGENT)
(
instance
?VEHICLE
Vehicle
)
(
instance
?TRANS
Transportation
)
(
agent
?TRANS ?AGENT)
(
patient
?TRANS ?CUST)
(
instrument
?TRANS ?VEHICLE)
(
subProcess
?TRANS ?SVC))))
Transportation.kif 3340-3352
Processo
e' uma
instancia
de
TransportationService
Objeto
AutonomousAgent
,
Processo
and
Agente Cognitivo
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Vehicle
Processo
e' uma
instancia
de
Transporte
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
instance
?Title
Title
)
(
exists
(?Property ?Agent)
(
containsInformation
?Title
(
possesses
?Agent ?Property))))
FinancialOntology.kif 3932-3935
ContentBearingPhysical
e' uma
instancia
de
Title
Entidade
Entidade
ContentBearingPhysical
contem
informacao
Entidade
possui
Entidade
(=>
(
instance
?X
CurrencyExchangeService
)
(
exists
(?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST ?M1 ?M2 ?NUM1 ?NUM2)
(
and
(
agent
?X ?CUST)
(
not
(
equal
?CURR1 ?CURR2))
(
instance
?AMT1
CurrencyMeasure
)
(
instance
?AMT2
CurrencyMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?X))
(
and
(
monetaryValue
?M1 ?AMT1)
(
possesses
?CUST ?M1)
(
equal
?AMT1
(
MeasureFn
?NUM1 ?CURR1))))
(
holdsDuring
(
EndFn
(
WhenFn
?X))
(
and
(
monetaryValue
?M2 ?AMT2)
(
possesses
?CUST ?M2)
(
not
(
possesses
?CUST ?M1))
(
equal
?AMT2
(
MeasureFn
?NUM2 ?CURR2)))))))
Hotel.kif 2104-2124
Processo
e' uma
instancia
de
CurrencyExchangeService
Entidade
Entidade
,
Entidade
,
Entidade
,
AutonomousAgent
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Processo
e' um
agente
de
AutonomousAgent
Entidade
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Medida de Divisa
Entidade
e' uma
instancia
de
Medida de Divisa
o
valor
de
Entidade
e'
Entidade
AutonomousAgent
possui
Entidade
Entidade
e'
igual
a
Entidade
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
valor
de
Entidade
e'
Entidade
AutonomousAgent
possui
Entidade
AutonomousAgent
nao
possui
%n
Entidade
Entidade
e'
igual
a
Entidade
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
instance
?X
EducationalFacility
)
(
exists
(?ORG)
(
and
(
instance
?ORG
EducationalOrganization
)
(
possesses
?ORG ?X))))
Mid-level-ontology.kif 22580-22585
Objeto
e' uma
instancia
de
EducationalFacility
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao Educacional
AutonomousAgent
possui
Objeto
(=>
(
instance
?X
EmbassyBuilding
)
(
exists
(?EGOV ?OTHERGOV)
(
and
(
instance
?EGOV
Nation
)
(
instance
?OTHERGOV
Nation
)
(
not
(
equal
?EGOV ?OTHERGOV))
(
possesses
?EGOV ?X)
(
located
?X ?OTHERGOV))))
Mid-level-ontology.kif 22378-22387
Objeto
e' uma
instancia
de
EmbassyBuilding
AutonomousAgent
Objeto
AutonomousAgent
e' uma
instancia
de
Nacao
Objeto
e' uma
instancia
de
Nacao
AutonomousAgent
e'
igual
a
Objeto
AutonomousAgent
possui
Objeto
Objeto
e'
situado
em
Objeto
(=>
(
instance
?X
GovernmentBuilding
)
(
exists
(?G)
(
and
(
instance
?G
Government
)
(
possesses
?G ?X))))
Mid-level-ontology.kif 22404-22409
Objeto
e' uma
instancia
de
GovernmentBuilding
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Governo
AutonomousAgent
possui
Objeto
(=>
(
instance
?X
Hijacking
)
(
exists
(?V ?A)
(
and
(
agent
?X ?A)
(
instance
?V
TransportationDevice
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?X))
(
not
(
possesses
?A ?V)))
(
holdsDuring
(
WhenFn
?X)
(
possesses
?A ?V)))))
Mid-level-ontology.kif 21903-21916
Processo
e' uma
instancia
de
Hijacking
Entidade
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Veiculo de Transporte
AutonomousAgent
nao
possui
%n
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
AutonomousAgent
possui
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
instance
?X
RestaurantBuilding
)
(
hasPurpose
?X
(
exists
(?OWN ?EMP ?EV ?P ?PAY)
(
and
(
employs
?OWN ?EMP)
(
possesses
?OWN ?X)
(
instance
?P
Human
)
(
instance
?PAY
FinancialTransaction
)
(
agent
?PAY ?P)
(
patient
?PAY ?EMP)
(
confersRight
?EMP ?EV ?P)
(
instance
?EV
Eating
)
(
agent
?EV ?P)
(
eventLocated
?EV ?X)))))
Mid-level-ontology.kif 22559-22573
Fisico
e' uma
instancia
de
RestaurantBuilding
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
AY
Entidade
emprega
Entidade
Entidade
possui
Fisico
Entidade
e' uma
instancia
de
Humano
Entidade
AY e' uma
instancia
de
Transacao Financeira
Entidade
AY e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
AY
Entidade
autoriza
Entidade
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
eventLocated
Entidade
and
Fisico
(=>
(
landlord
?L ?U)
(
exists
(?R ?P)
(
and
(
possesses
?L ?U)
(
tenant
?P ?U)
(
agent
?R ?P)
(
instance
?R
Renting
)
(
patient
?R ?U))))
Mid-level-ontology.kif 6890-6898
landlord
AutonomousAgent
and
PermanentResidence
Processo
AutonomousAgent
AutonomousAgent
possui
PermanentResidence
tenant
AutonomousAgent
and
PermanentResidence
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
PermanentResidence
e' um
patient
de
Processo
(=>
(
managedBy
?OBJ ?AGENT)
(
exists
(?AGENT2 ?MAN)
(
and
(
possesses
?AGENT2 ?OBJ)
(
instance
?MAN
Managing
)
(
patient
?MAN ?OBJ)
(
agent
?MAN ?AGENT))))
Hotel.kif 648-655
managedBy
Objeto
and
AutonomousAgent
AutonomousAgent
2
Processo
AutonomousAgent
2
possui
Objeto
Processo
e' uma
instancia
de
Administrar
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
rents
?CUST ?AGENT ?OBJ ?TI)
(
holdsDuring
?TI
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?OBJ)
(
agent
?RENT ?CUST)
(
possesses
?AGENT ?OBJ)))))
Mid-level-ontology.kif 29989-29997
rents
AutonomousAgent
,
AutonomousAgent
,
Objeto
and
Intervalo Temporal
Entidade
Entidade
e' uma
instancia
de
Renting
Objeto
e' um
patient
de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
AutonomousAgent
possui
Objeto
vale
durante
Intervalo Temporal
(=>
(
shortage
?A ?O ?C ?T ?Q)
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?O)
(
possesses
?A ?I)))))
Mid-level-ontology.kif 30878-30884
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
possui
Entidade
(=>
(
tenant
?P ?U)
(
exists
(?L ?R)
(
and
(
instance
?R
Renting
)
(
landlord
?L ?U)
(
agent
?R ?P)
(
possesses
?L ?U)
(
patient
?R ?U))))
Mid-level-ontology.kif 6906-6914
tenant
AutonomousAgent
and
PermanentResidence
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Renting
landlord
AutonomousAgent
and
PermanentResidence
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
possui
PermanentResidence
PermanentResidence
e' um
patient
de
Processo
(=>
(
thirdPartyProduct
?ART ?ORG ?AG)
(
possesses
?AG ?ART))
ComputingBrands.kif 3941-3943
thirdPartyProduct
Artefato
,
Organizacao
and
AutonomousAgent
AutonomousAgent
possui
Artefato
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
exists
(?AGENT)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
possesses
?AGENT ?SITE)
(
knows
?AGENT ?FORMULA))))
UXExperimentalTerms.kif 1179-1185
visitorParameter
AutonomousAgent
,
Formula
and
WebSite
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Agente Cognitivo
Agente Cognitivo
possui
WebSite
Agente Cognitivo
sabe
Formula
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