refers
(=>
(
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 29856-29876
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
?LABEL
Label
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
connected
?LABEL ?OBJ)
(
refers
?LABEL ?OBJ))))
Mid-level-ontology.kif 14476-14482
Objeto
e' uma
instancia
de
Label
Objeto
Objeto
e' uma
instancia
de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto
Objeto
inclui uma
referencia
a
Objeto
(=>
(
instance
?ORDER
OperationOrder
)
(
exists
(?PLAN ?PLANNING)
(
and
(
instance
?PLAN
OPLAN
)
(
instance
?PLANNING
OperationPlanning
)
(
result
?PLANNING ?PLAN)
(
causes
?PLANNING ?ORDER)
(
refers
?PLAN ?ORDER))))
MilitaryProcesses.kif 1686-1694
Processo
e' uma
instancia
de
OperationOrder
Entidade
Entidade
NING
Entidade
e' uma
instancia
de
OPLAN
Entidade
NING e' uma
instancia
de
OperationPlanning
Entidade
e' o
resultado
de
Entidade
NING
Entidade
NING
causa
Processo
Entidade
inclui uma
referencia
a
Processo
(=>
(
instance
?P
Pleading
)
(
exists
(?C)
(
and
(
instance
?C
CriminalAction
)
(
refers
?P ?C))))
Mid-level-ontology.kif 16134-16139
Entidade
e' uma
instancia
de
Pleading
Entidade
Entidade
e' uma
instancia
de
CriminalAction
Entidade
inclui uma
referencia
a
Entidade
(=>
(
instance
?P
Prescription
)
(
exists
(?M)
(
and
(
instance
?M
Medicine
)
(
refers
?P ?M))))
Mid-level-ontology.kif 9270-9275
Entidade
e' uma
instancia
de
Prescription
Entidade
Entidade
e' uma
instancia
de
Medicine
Entidade
inclui uma
referencia
a
Entidade
(=>
(
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 29883-29903
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
?PS
PayStub
)
(
exists
(?FT ?O ?E)
(
and
(
instance
?FT
FinancialTransaction
)
(
origin
?FT ?O)
(
destination
?FT ?E)
(
refers
?PS ?FT))))
Medicine.kif 3386-3393
Entidade
e' uma
instancia
de
PayStub
Processo
Objeto
and
Entidade
Processo
e' uma
instancia
de
Transacao Financeira
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Entidade
inclui uma
referencia
a
Processo
(=>
(
instance
?RESEARCH
ResearchingWeaponOfMassDestruction
)
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
WeaponOfMassDestruction
)
(
refers
?RESEARCH ?WEAPON))))
WMD.kif 724-729
Entidade
e' uma
instancia
de
ResearchingWeaponOfMassDestruction
Entidade
Entidade
e' uma
instancia
de
WeaponOfMassDestruction
Entidade
inclui uma
referencia
a
Entidade
(=>
(
instance
?S
MysteryStory
)
(
exists
(?C)
(
and
(
instance
?C
CriminalAction
)
(
refers
?S ?C))))
Mid-level-ontology.kif 14937-14942
Entidade
e' uma
instancia
de
MysteryStory
Entidade
Entidade
e' uma
instancia
de
CriminalAction
Entidade
inclui uma
referencia
a
Entidade
(=>
(
instance
?T
Testament
)
(
exists
(?B)
(
and
(
instance
?B
Bequeathing
)
(
refers
?T ?B))))
Mid-level-ontology.kif 16594-16599
Entidade
e' uma
instancia
de
Testament
Entidade
Entidade
e' uma
instancia
de
Bequeathing
Entidade
inclui uma
referencia
a
Entidade
(=>
(
instance
?URI
UniformResourceIdentifier
)
(
exists
(?Resource)
(
and
(
instance
?Resource
DigitalData
)
(
refers
?URI ?Resource))))
QoSontology.kif 1681-1686
Entidade
e' uma
instancia
de
UniformResourceIdentifier
Entidade
Entidade
e' uma
instancia
de
DigitalData
Entidade
inclui uma
referencia
a
Entidade
(=>
(
instance
?VC
VaccinationCard
)
(
exists
(?V)
(
and
(
instance
?V
Vaccination
)
(
refers
?VC ?V))))
Medicine.kif 3109-3114
Entidade
e' uma
instancia
de
VaccinationCard
Entidade
Entidade
e' uma
instancia
de
Vaccination
Entidade
inclui uma
referencia
a
Entidade
(=>
(
instance
?WAREHOUSE
DataWarehouse
)
(
hasPurpose
?WAREHOUSE
(
exists
(?SUBJECT)
(
and
(
instance
?SUBJECT
Proposition
)
(
forall
(?DATA)
(
and
(
refers
?DATA ?SUBJECT)
(
component
?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2204-2213
Fisico
e' uma
instancia
de
DataWarehouse
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Proposicao
Entidade
Entidade
inclui uma
referencia
a
Entidade
Entidade
e' um
componente
de
Fisico
(=>
(
instance
?X
DiningGuide
)
(
exists
(?LOC ?REST)
(
and
(
instance
?LOC
GeographicArea
)
(
refers
?X ?LOC)
(
instance
?REST
Restaurant
)
(
located
?REST ?LOC)
(
refers
?X ?REST))))
Mid-level-ontology.kif 26415-26423
Entidade
e' uma
instancia
de
DiningGuide
Objeto
Fisico
Objeto
e' uma
instancia
de
Area Geografica
Entidade
inclui uma
referencia
a
Objeto
Fisico
e' uma
instancia
de
Restaurant
Fisico
e'
situado
em
Objeto
Entidade
inclui uma
referencia
a
Fisico
(=>
(
instance
?X
GuideBook
)
(
exists
(?LOC)
(
and
(
instance
?LOC
GeographicArea
)
(
refers
?X ?LOC))))
Mid-level-ontology.kif 26403-26408
Entidade
e' uma
instancia
de
GuideBook
Entidade
Entidade
e' uma
instancia
de
Area Geografica
Entidade
inclui uma
referencia
a
Entidade
(=>
(
instance
?X
Theology
)
(
exists
(?Y)
(
and
(
instance
?Y
ReligiousProcess
)
(
refers
?X ?Y))))
Mid-level-ontology.kif 21316-21321
Entidade
e' uma
instancia
de
Theology
Entidade
Entidade
e' uma
instancia
de
Processo Religioso
Entidade
inclui uma
referencia
a
Entidade
(=>
(
musicGenre
?MR
ChristianMusic
)
(
exists
(?X)
(
and
(
attribute
?X
Christian
)
(
refers
?MR ?X))))
Music.kif 647-652
musicGenre
Objeto
and
ChristianMusic
Objeto
Christian
e' um
atributo
de
Objeto
Objeto
inclui uma
referencia
a
Objeto
(=>
(
musicGenre
?MR
ReligiousMusic
)
(
exists
(?ATTR ?X)
(
and
(
instance
?ATTR
ReligiousAttribute
)
(
attribute
?X ?ATTR)
(
refers
?MR ?X))))
Music.kif 633-639
musicGenre
Objeto
and
ReligiousMusic
Atributo
Objeto
Atributo
e' uma
instancia
de
ReligiousAttribute
Atributo
e' um
atributo
de
Objeto
Objeto
inclui uma
referencia
a
Objeto
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
refers
?FORMULA ?USER))
UXExperimentalTerms.kif 1175-1177
visitorParameter
AutonomousAgent
,
Formula
and
WebSite
Formula
inclui uma
referencia
a
Entidade
(=>
(
webStoreAdvertisement
?ADVERT ?STORE)
(
exists
(?ITEM ?PAGE)
(
and
(
refers
?ADVERT ?ITEM)
(
component
?ADVERT ?PAGE)
(
instance
?PAGE
WebPage
)
(
member
?PAGE ?STORE))))
UXExperimentalTerms.kif 434-441
webStoreAdvertisement
Promover
and
WebStore
Entidade
Objeto Corpuscular
Promover
inclui uma
referencia
a
Entidade
Promover
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
WebPage
Objeto Corpuscular
e'
membro
de
WebStore
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