origin
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
Local
))
(
exists
(?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
telephoneNumber
?TEL1 ?ORIGIN)
(
telephoneNumber
?TEL2 ?DEST)
(
telecomAreaCode
?CODE ?TEL1)
(
telecomAreaCode
?CODE ?TEL2))))
Mid-level-ontology.kif 27107-27118
Objeto
e' uma
instancia
de
TelephoneCommunication
Local
e' um
atributo
de
Objeto
TelecomNumber
TelecomNumber
,
AutonomousAgent
,
AutonomousAgent
and
Sequencia Simbolica
Objeto
tem como
origem
AutonomousAgent
Objeto
termina
em
AutonomousAgent
telephoneNumber
TelecomNumber
and
AutonomousAgent
telephoneNumber
TelecomNumber
and
AutonomousAgent
telecomAreaCode
Sequencia Simbolica
and
TelecomNumber
telecomAreaCode
Sequencia Simbolica
and
TelecomNumber
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal ?WithdrawalTime)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 104-118
O
valor
de
Check
e'
Medida de Divisa
checkAccount
Check
and
FinancialAccount
Processo
e' uma
instancia
de
ProcessingACheck
Check
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
Transacao Financeira
Transacao Financeira
Time
Transacao Financeira
e' uma
instancia
de
Withdrawal
Check
e' um
instrumento
para
Transacao Financeira
tempo
de existencia de
Transacao Financeira
e'
igual
a
Transacao Financeira
Time
Processo
Time
encontra
Transacao Financeira
Time
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
tem como
origem
FinancialAccount
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
agreementClause
(
exists
(?B ?ITEM)
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?B ?BUYER)
(
origin
?B ?SELLER)
(
transactionAmount
?B ?PRICE)))
Obligation
?AGREE ?SELLER))
Catalog.kif 311-324
negotiatedPrice
Fisico
,
Medida de Divisa
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
agreementClause
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
imediata de
Fisico
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
tem como
origem
Agente Cognitivo
transactionAmount
Entidade
and
Medida de Divisa
,
Obligation
,
Agreement
and
Agente Cognitivo
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validFor
PricingScheme
and
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
agente
de
Entidade
Entidade
tem como
origem
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Likely
(=>
(
and
(
sheddingLeaves
?T ?L)
(
instance
?T
DeciduousTree
)
(
instance
?L
PlantLeaf
))
(
exists
(?SHED ?S)
(
and
(
subclass
?SHED
Removing
)
(
frequency
?SHED
YearDuration
)
(
instance
?S ?SHED)
(
origin
?S ?T)
(
patient
?S ?L))))
Geography.kif 6393-6404
sheddingLeaves
Planta
and
PlantLeaf
Planta
e' uma
instancia
de
DeciduousTree
PlantLeaf
e' uma
instancia
de
PlantLeaf
Processo
Processo
Processo
e' uma
sub
-classe de
Remover
Processo
ocorre
todos os
YearDuration
Processo
e' uma
instancia
de
Processo
Processo
tem como
origem
Planta
PlantLeaf
e' um
patient
de
Processo
(=>
(
attribute
?M
CoinOperated
)
(
hasPurpose
?M
(
exists
(?C ?FT ?A ?ACT)
(
and
(
instance
?C
CurrencyCoin
)
(
instance
?FT
FinancialTransaction
)
(
destination
?FT ?M)
(
patient
?FT ?C)
(
origin
?FT ?A)
(
causes
?FT ?ACT)
(
wants
?A ?ACT)))))
Mid-level-ontology.kif 29474-29485
CoinOperated
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
CT
Entidade
e' uma
instancia
de
CurrencyCoin
Entidade
e' uma
instancia
de
Transacao Financeira
Entidade
termina
em
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
tem como
origem
Entidade
Entidade
causa
Entidade
CT
Entidade
quer
Entidade
CT
(=>
(
exportPartner
?AGENT1 ?AGENT2)
(
exists
(?EXPORT)
(
and
(
instance
?EXPORT
Exporting
)
(
origin
?EXPORT ?AGENT1)
(
destination
?EXPORT ?AGENT2))))
Economy.kif 2379-2385
exportPartner
AutonomousAgent
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Exporting
Processo
tem como
origem
AutonomousAgent
Processo
termina
em
AutonomousAgent
(=>
(
exportPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT1)
(
destination
?EXPORT ?AGENT2))))
Economy.kif 2359-2367
exportPartnerInPeriod
AutonomousAgent
,
AutonomousAgent
and
Intervalo Temporal
Intervalo Temporal
Processo
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
e' uma
instancia
de
Exporting
tempo
de existencia de
Processo
engloba
Intervalo Temporal
Processo
tem como
origem
AutonomousAgent
Processo
termina
em
AutonomousAgent
(=>
(
holdsDuring
?T
(
and
(
instance
?C
Computer
)
(
attribute
?C
AirplaneMode
)))
(
not
(
holdsDuring
?T
(
capability
(
NetworkCommunicationFn
WirelessNetwork
)
origin
?C))))
ComputingBrands.kif 1820-1827
Entidade
e' uma
instancia
de
Computer
AirplaneMode
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e'
capaz
de fazer
NetworkCommunicationFn
WirelessNetwork
no role
origin
vale
durante
Posicao Temporal
(=>
(
importPartner
?AGENT1 ?AGENT2)
(
exists
(?EXPORT)
(
and
(
instance
?EXPORT
Exporting
)
(
origin
?EXPORT ?AGENT2)
(
destination
?EXPORT ?AGENT1))))
Economy.kif 2666-2672
importPartner
AutonomousAgent
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Exporting
Processo
tem como
origem
AutonomousAgent
Processo
termina
em
AutonomousAgent
(=>
(
importPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME ?EXPORT)
(
and
(
instance
?TIME ?PERIOD)
(
instance
?EXPORT
Exporting
)
(
overlapsTemporally
?TIME
(
WhenFn
?EXPORT))
(
origin
?EXPORT ?AGENT2)
(
destination
?EXPORT ?AGENT1))))
Economy.kif 2647-2655
importPartnerInPeriod
AutonomousAgent
,
AutonomousAgent
and
Intervalo Temporal
Intervalo Temporal
Processo
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
e' uma
instancia
de
Exporting
tempo
de existencia de
Processo
engloba
Intervalo Temporal
Processo
tem como
origem
AutonomousAgent
Processo
termina
em
AutonomousAgent
(=>
(
instance
?ACT
UploadingOverNetwork
)
(
exists
(?DATA ?COM)
(
and
(
patient
?ACT ?DATA)
(
instance
?COM
Computer
)
(
origin
?ACT ?COM)
(
instance
?DATA
DigitalData
))))
ComputerInput.kif 2779-2786
Processo
e' uma
instancia
de
UploadingOverNetwork
Entidade
Objeto
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Computer
Processo
tem como
origem
Objeto
Entidade
e' uma
instancia
de
DigitalData
(=>
(
instance
?AI
AirIntake
)
(
hasPurpose
?AI
(
exists
(?A ?E ?T)
(
and
(
instance
?A
Air
)
(
instance
?E
Engine
)
(
instance
?T
Transfer
)
(
origin
?T ?AI)
(
destination
?T ?E)
(
patient
?T ?A)))))
Cars.kif 973-983
Fisico
e' uma
instancia
de
AirIntake
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Air
Entidade
e' uma
instancia
de
Engine
Entidade
e' uma
instancia
de
Transferencia
Entidade
tem como
origem
Fisico
Entidade
termina
em
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?B
Birth
)
(
exists
(?M ?BABY)
(
and
(
attribute
?M
Female
)
(
origin
?B ?M)
(
objectTransferred
?B ?BABY)
(
attribute
?BABY
NonFullyFormed
))))
Mid-level-ontology.kif 24010-24017
Transferencia
e' uma
instancia
de
Nascimento
Objeto
Transferencia
ABY
Female
e' um
atributo
de
Objeto
Transferencia
tem como
origem
Objeto
objectTransferred
Transferencia
and
Transferencia
ABY
NonFullyFormed
e' um
atributo
de
Transferencia
ABY
(=>
(
instance
?BEVERAGE
DistilledAlcoholicBeverage
)
(
exists
(?REMOVE ?WATER)
(
and
(
instance
?REMOVE
Removing
)
(
patient
?REMOVE ?WATER)
(
instance
?WATER
FreshWater
)
(
origin
?REMOVE ?BEVERAGE))))
Mid-level-ontology.kif 10925-10932
Objeto
e' uma
instancia
de
DistilledAlcoholicBeverage
Processo
Entidade
Processo
e' uma
instancia
de
Remover
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FreshWater
Processo
tem como
origem
Objeto
(=>
(
instance
?C
Catheter
)
(
hasPurpose
?C
(
exists
(?M ?O ?OBJ ?L)
(
and
(
instance
?O
Organism
)
(
instance
?M
Motion
)
(
moves
?M ?OBJ)
(
orientation
?L ?O
Outside
)
(
path
?M ?C)
(
or
(
and
(
origin
?M ?L)
(
destination
?M ?O))
(
and
(
origin
?M ?O)
(
destination
?M ?L)))))))
Medicine.kif 548-564
Fisico
e' uma
instancia
de
Catheter
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
BJ and
Entidade
Entidade
e' uma
instancia
de
Organismo
Entidade
e' uma
instancia
de
Movimento
moves
Entidade
and
Entidade
BJ
Entidade
e'
Outside
em relacao a
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
(=>
(
instance
?C
CommunitySpread
)
(
not
(
exists
(?H)
(
knows
?H
(
exists
(?N)
(
and
(
origin
?C ?H)
(
names
?N ?H)))))))
Medicine.kif 3218-3226
Entidade
e' uma
instancia
de
CommunitySpread
Agente Cognitivo
Agente Cognitivo
sabe
Entidade
Entidade
tem como
origem
Agente Cognitivo
Agente Cognitivo
se chama
nome
Entidade
(=>
(
instance
?CM
CentrifugalMotion
)
(
exists
(?R ?A ?O1 ?O2)
(
and
(
instance
?R
Rotating
)
(
axis
?A ?O1)
(
origin
?CM ?A)
(
experiencer
?R ?O1)
(
experiencer
?CM ?O2)
(
causes
?R ?CM))))
Mid-level-ontology.kif 17487-17496
Processo
e' uma
instancia
de
CentrifugalMotion
Processo
Objeto
,
AutonomousAgent
and
AutonomousAgent
Processo
e' uma
instancia
de
Rotating
axis
Objeto
and
AutonomousAgent
Processo
tem como
origem
Objeto
AutonomousAgent
experimenta
Processo
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
instance
?CM
CoffeeMaking
)
(
exists
(?R ?LM ?CG ?W ?F ?C)
(
and
(
subProcess
?R ?CM)
(
instance
?R
Removing
)
(
origin
?R ?LM)
(
instance
?LM
LiquidMixture
)
(
part
?W ?LM)
(
instance
?W
DrinkingWater
)
(
part
?CG ?LM)
(
instance
?CG
CoffeeGrind
)
(
instrument
?R ?F)
(
instance
?F
Filter
)
(
result
?R ?C)
(
instance
?C
Coffee
))))
Food.kif 686-701
Processo
e' uma
instancia
de
CoffeeMaking
Processo
Objeto
,
Objeto
,
Objeto
,
Objeto
and
Entidade
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Remover
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
LiquidMixture
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
DrinkingWater
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
CoffeeGrind
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
Filter
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Coffee
(=>
(
instance
?CP
ComputerProtocol
)
(
hasPurpose
?CP
(
exists
(?P1 ?P2 ?C)
(
and
(
instance
?P1
ComputerProgram
)
(
instance
?P2
ComputerProgram
)
(
instance
?C
DataTransfer
)
(
origin
?C ?P1)
(
destination
?C ?P2)
(
represents
?CP ?C)))))
ComputingBrands.kif 1736-1746
Fisico
e' uma
instancia
de
ComputerProtocol
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Programa de Computador
Entidade
e' uma
instancia
de
Programa de Computador
Entidade
e' uma
instancia
de
DataTransfer
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Fisico
define
Entidade
(=>
(
instance
?D
Defrauding
)
(
exists
(?A ?P ?O)
(
and
(
agent
?D ?A)
(
suffers
?D ?P)
(
benefits
?D ?A)
(
objectTransferred
?D ?O)
(
origin
?O ?P)
(
destination
?O ?A))))
Mid-level-ontology.kif 18311-18320
Transferencia
e' uma
instancia
de
Defrauding
AutonomousAgent
AutonomousAgent
and
Objeto
Transferencia
e' um
agente
de
AutonomousAgent
suffers
Transferencia
and
AutonomousAgent
benefits
Transferencia
and
AutonomousAgent
objectTransferred
Transferencia
and
Objeto
Objeto
tem como
origem
AutonomousAgent
Objeto
termina
em
AutonomousAgent
(=>
(
instance
?D
Discharging
)
(
exists
(?B)
(
and
(
instance
?B
Battery
)
(
origin
?D ?B))))
Cars.kif 2424-2429
Processo
e' uma
instancia
de
Discharging
Objeto
Objeto
e' uma
instancia
de
Battery
Processo
tem como
origem
Objeto
(=>
(
instance
?D
Diuretic
)
(
hasPurpose
?D
(
exists
(?R ?L ?H ?LOC)
(
and
(
instance
?H
Human
)
(
instance
?R
Removing
)
(
instance
?L
Liquid
)
(
experiencer
?R ?H)
(
moves
?R ?L)
(
origin
?L ?H)
(
not
(
contains
?H ?LOC))
(
destination
?R ?LOC)))))
Mid-level-ontology.kif 10010-10023
Fisico
e' uma
instancia
de
Diuretic
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
OC
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Remover
Entidade
e' uma
instancia
de
Liquid
Entidade
experimenta
Entidade
moves
Entidade
and
Entidade
Entidade
tem como
origem
Entidade
Entidade
nao
contem
%n
Entidade
OC
Entidade
termina
em
Entidade
OC
(=>
(
instance
?DETERGENT
Detergent
)
(
hasPurpose
?DETERGENT
(
exists
(?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)
(
and
(
instance
?REMOVE
Removing
)
(
instance
?SUBSTANCE
Substance
)
(
patient
?REMOVE ?SUBSTANCE)
(
origin
?REMOVE ?SURFACE)
(
surface
?SURFACE ?OBJECT)))))
Mid-level-ontology.kif 8848-8857
Fisico
e' uma
instancia
de
Detergent
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Remover
Entidade
e' uma
instancia
de
Substancia
Entidade
e' um
patient
de
Entidade
Entidade
tem como
origem
Entidade
Entidade
e' uma
superficie
de
Entidade
(=>
(
instance
?E
Elevator
)
(
hasPurpose
?E
(
exists
(?T ?L1 ?L2 ?B)
(
and
(
instance
?T
Transportation
)
(
origin
?T ?L1)
(
instance
?L1
BuildingLevel
)
(
destination
?T ?L2)
(
instance
?L2
BuildingLevel
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?B)
(
part
?L2 ?B)
(
instance
?B
Building
)))))
Mid-level-ontology.kif 15427-15440
Fisico
e' uma
instancia
de
Elevator
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
tem como
origem
Entidade
Entidade
e' uma
instancia
de
BuildingLevel
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
BuildingLevel
Entidade
e'
igual
a
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Predio
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