possesses
(=>
(
and
(
instance
?T
Trespassing
)
(
agent
?T ?H)
(
patient
?T ?P))
(
and
(
not
(
possesses
?H ?P))
(
modalAttribute
(
located
?H ?P)
Illegal
)))
Mid-level-ontology.kif 18291-18301
Processo
e' uma
instancia
de
Trespassing
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
nao
possui
%n
Objeto
o argumento
AutonomousAgent
e'
situado
em
Objeto
tem a
forca
modal
de
Illegal
(=>
(
and
(
instance
?UNIT
ApartmentUnit
)
(
home
?PERSON ?UNIT))
(
not
(
possesses
?PERSON ?UNIT)))
Mid-level-ontology.kif 6871-6875
PermanentResidence
e' uma
instancia
de
ApartmentUnit
a
casa
de
Humano
e'
PermanentResidence
Humano
nao
possui
%n
PermanentResidence
(=>
(
and
(
instance
?X
PhotocopyingService
)
(
serviceProvider
?X ?AGENT))
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
Photocopier
)
(
possesses
?AGENT ?DEVICE)
(
instrument
?X ?DEVICE))))
Hotel.kif 2138-2146
ServiceProcess
e' uma
instancia
de
PhotocopyingService
serviceProvider
ServiceProcess
and
Agente Cognitivo
Objeto
Objeto
e' uma
instancia
de
Photocopier
Agente Cognitivo
possui
Objeto
Objeto
e' um
instrumento
para
ServiceProcess
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30956-30971
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Numero Inteiro
Agente Cognitivo
deseja
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
tempo
de existencia de
Entidade
acontece
durante
Intervalo Temporal
objectTransferred
Entidade
and
Entidade
transactionAmount
Entidade
and
Medida de Divisa
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
Objeto
memberCount
Entidade
and
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30898-30908
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Numero Inteiro
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
Objeto
memberCount
Entidade
and
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30923-30938
shortage
AutonomousAgent
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Numero Inteiro
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Transferencia
Colecao
Transferencia
e' uma
instancia
de
Comprar
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
objectTransferred
Transferencia
and
Colecao
transactionAmount
Transferencia
and
Medida de Divisa
Transferencia
e' um
agente
de
AutonomousAgent
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Objeto
memberCount
Colecao
and
Numero Inteiro
AutonomousAgent
possui
Colecao
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30973-30987
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Quantidade Fisica
Agente Cognitivo
deseja
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
tempo
de existencia de
Entidade
acontece
durante
Intervalo Temporal
objectTransferred
Entidade
and
Entidade
transactionAmount
Entidade
and
Medida de Divisa
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30912-30921
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Quantidade Fisica
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30940-30954
shortage
AutonomousAgent
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade Fisica
Quantidade Fisica
e' uma
instancia
de
Quantidade Fisica
Transferencia
Objeto
Transferencia
e' uma
instancia
de
Comprar
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
objectTransferred
Transferencia
and
Objeto
transactionAmount
Transferencia
and
Medida de Divisa
Transferencia
e' um
agente
de
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
a
medida
de
Objeto
e'
Quantidade Fisica
AutonomousAgent
possui
Objeto
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2777-2782
Agente Cognitivo
quer
Fisico
Fisico
e' uma
instancia
de
Objeto
Agente Cognitivo
deseja
Agente Cognitivo
possui
Fisico
(=>
(
attribute
?Agent
Investor
)
(
exists
(?Investment)
(
and
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1786-1791
Investor
e' um
atributo
de
AutonomousAgent
Objeto
Objeto
e' uma
instancia
de
Investment
AutonomousAgent
possui
Objeto
(=>
(
attribute
?X
PassengerCarRental
)
(
hasPurpose
?X
(
exists
(?RENT ?CAR ?CUST)
(
and
(
customer
?CUST ?X)
(
instance
?CAR
Automobile
)
(
instance
?RENT
Renting
)
(
possesses
?X ?CAR)
(
agent
?RENT ?CUST)))))
naics.kif 9711-9720
PassengerCarRental
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
customer
Entidade
and
Objeto
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma
instancia
de
Renting
Objeto
possui
Entidade
Entidade
e' um
agente
de
Entidade
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
dayPhone
Sequencia Simbolica
and
AutonomousAgent
Telephone
Entidade
and
Numero Real
phoneNumber
Sequencia Simbolica
and
Telephone
Numero Real
e'
maior
que 6
Numero Real
e'
menos
que 18
Entidade
Entidade
e' uma
instancia
de
Telephoning
Entidade
termina
em
AutonomousAgent
Telephone
e' um
patient
de
Entidade
AutonomousAgent
possui
Telephone
o argumento
Entidade
Entidade
e' uma
instancia
de
Answering
Entidade
e' um
sub
-processo de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Likely
vale
durante
Entidade
e' uma
instancia
de a
hora
Numero Real
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
possesses
?COUNTRY ?AREA))
Government.kif 469-471
dependentGeopoliticalArea
Area Geopolitica
and
Area Geopolitica
Area Geopolitica
possui
Area Geopolitica
(=>
(
dislikes
?AGENT ?OBJECT)
(
desires
?AGENT
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7432-7434
dislikes
Agente Cognitivo
and
Objeto
Agente Cognitivo
deseja
Agente Cognitivo
nao
possui
%n
Objeto
(=>
(
element
?OBJ
(
PropertyFn
?PERSON))
(
possesses
?PERSON ?OBJ))
Merge.kif 4280-4283
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
AutonomousAgent
possui
Objeto
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
eveningPhone
Sequencia Simbolica
and
AutonomousAgent
Telephone
Entidade
and
Numero Real
phoneNumber
Sequencia Simbolica
and
Telephone
Numero Real
e'
maior
que 18
Numero Real
e'
menos
que 6
Entidade
Entidade
e' uma
instancia
de
Telephoning
Entidade
termina
em
AutonomousAgent
Telephone
e' um
patient
de
Entidade
AutonomousAgent
possui
Telephone
o argumento
Entidade
Entidade
e' uma
instancia
de
Answering
Entidade
e' um
sub
-processo de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Likely
vale
durante
Entidade
e' uma
instancia
de a
hora
Numero Real
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
instance
?DEVICE
MobileCellPhone
)
(
mobilePhoneNumber
?NUMBER ?AGENT)))
(
holdsDuring
?TIME
(
possesses
?AGENT ?DEVICE)))
Mid-level-ontology.kif 25142-25148
deviceTelecomNumber
Entidade
and
Entidade
Entidade
e' uma
instancia
de
MobileCellPhone
mobilePhoneNumber
Entidade
and
Entidade
vale
durante
Posicao Temporal
Entidade
possui
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?TIME
(
attribute
?SLAVE
HumanSlave
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
not
(
equal
?PERSON ?SLAVE))
(
holdsDuring
?TIME
(
possesses
?PERSON ?SLAVE)))))
Mid-level-ontology.kif 176-183
HumanSlave
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
igual
a
Entidade
Entidade
possui
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?TIME
(
lacks
?AGENT ?OBJECT))
(
holdsDuring
?TIME
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7453-7458
lacks
Entidade
and
Entidade
vale
durante
Posicao Temporal
Entidade
nao
possui
%n
Entidade
vale
durante
Posicao Temporal
(=>
(
instance
?AAU
AssaultAmphibianUnit
)
(
exists
(?AAV)
(
and
(
instance
?AAV
AAV
)
(
possesses
?AAU ?AAV))))
MilitaryPersons.kif 642-647
AutonomousAgent
e' uma
instancia
de
AssaultAmphibianUnit
Objeto
Objeto
e' uma
instancia
de
AAV
AutonomousAgent
possui
Objeto
(=>
(
instance
?AB
ArtilleryBattery
)
(
exists
(?AC)
(
and
(
instance
?AC
ArtilleryCannon
)
(
possesses
?AB ?AC))))
MilitaryPersons.kif 494-499
AutonomousAgent
e' uma
instancia
de
ArtilleryBattery
Objeto
Objeto
e' uma
instancia
de
ArtilleryCannon
AutonomousAgent
possui
Objeto
(=>
(
instance
?AB
InfantryUnit
)
(
exists
(?AC)
(
and
(
or
(
instance
?AC
AutomaticGun
)
(
instance
?AC
Firearm
)
(
instance
?AC
MortarGun
)
(
instance
?AC
ExplosiveMine
))
(
possesses
?AB ?AC))))
Military.kif 676-685
AutonomousAgent
e' uma
instancia
de
InfantryUnit
Objeto
Objeto
e' uma
instancia
de
AutomaticGun
Objeto
e' uma
instancia
de
Firearm
Objeto
e' uma
instancia
de
MortarGun
Objeto
e' uma
instancia
de
ExplosiveMine
AutonomousAgent
possui
Objeto
(=>
(
instance
?AIRLINE
Airline
)
(
exists
(?FLEET ?AIRCRAFT)
(
and
(
instance
?FLEET
Fleet
)
(
possesses
?AIRLINE ?FLEET)
(
instance
?AIRCRAFT
Aircraft
)
(
member
?AIRCRAFT ?FLEET))))
Transportation.kif 3323-3330
AutonomousAgent
e' uma
instancia
de
Airline
Colecao
Fisico
Colecao
e' uma
instancia
de
Fleet
AutonomousAgent
possui
Colecao
Fisico
e' uma
instancia
de
Aircraft
Fisico
e'
membro
de
Colecao
(=>
(
instance
?C
CruiseShip
)
(
hasPurpose
?C
(
exists
(?E ?A ?O)
(
and
(
instance
?E
RecreationOrExercise
)
(
possesses
?O ?C)
(
agent
?E ?A)
(
customer
?O ?A)
(
eventLocated
?E ?C)))))
Transportation.kif 2471-2480
Fisico
e' uma
instancia
de
CruiseShip
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
Entidade
possui
Fisico
Entidade
e' um
agente
de
Entidade
customer
Entidade
and
Entidade
eventLocated
Entidade
and
Fisico
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