component
(=>
(
instance
?OBJ
TextDocument
)
(
exists
(?TXT)
(
and
(
instance
?TXT
Text
)
(
component
?TXT ?OBJ))))
Media.kif 931-936
Objeto Corpuscular
e' uma
instancia
de
TextDocument
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Texto
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?ORE
Bauxite
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Alumina
)
(
component
?METAL ?ORE))))
Economy.kif 5603-5608
Objeto Corpuscular
e' uma
instancia
de
Bauxite
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Alumina
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?ORE
CopperOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Copper
)
(
component
?METAL ?ORE))))
Economy.kif 5647-5652
Objeto Corpuscular
e' uma
instancia
de
CopperOre
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Copper
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?ORE
IronOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Iron
)
(
component
?METAL ?ORE))))
Economy.kif 5637-5642
Objeto Corpuscular
e' uma
instancia
de
IronOre
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Iron
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?ORE
LeadOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Lead
)
(
component
?METAL ?ORE))))
Economy.kif 5667-5672
Objeto Corpuscular
e' uma
instancia
de
LeadOre
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Lead
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?ORE
NickelOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Nickel
)
(
component
?METAL ?ORE))))
Economy.kif 5657-5662
Objeto Corpuscular
e' uma
instancia
de
NickelOre
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Nickel
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?ORE
ZincOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Zinc
)
(
component
?METAL ?ORE))))
Economy.kif 5677-5682
Objeto Corpuscular
e' uma
instancia
de
ZincOre
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Zinc
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?PAGE
SearchResultsPage
)
(
exists
(?RESULTS)
(
and
(
instance
?RESULTS
SRPResults
)
(
component
?RESULTS ?PAGE))))
UXExperimentalTerms.kif 2530-2535
Objeto Corpuscular
e' uma
instancia
de
SearchResultsPage
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
SRPResults
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?PART
BodyPart
)
(
exists
(?ORGANISM ?TIME)
(
and
(
instance
?ORGANISM
Organism
)
(
temporalPart
?TIME
(
WhenFn
?ORGANISM))
(
holdsDuring
?TIME
(
component
?PART ?ORGANISM)))))
Merge.kif 14955-14961
Entidade
e' uma
instancia
de
Parte do Corpo
Fisico
Posicao Temporal
Fisico
e' uma
instancia
de
Organismo
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Fisico
Entidade
e' um
componente
de
Fisico
vale
durante
Posicao Temporal
(=>
(
instance
?PARTICLE
SubatomicParticle
)
(
exists
(?ATOM)
(
and
(
instance
?ATOM
Atom
)
(
component
?PARTICLE ?ATOM))))
Merge.kif 1138-1143
Objeto Corpuscular
e' uma
instancia
de
Particula Sub-atomica
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Atomo
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?SITE
WebSite
)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
component
?PAGE ?SITE))))
Media.kif 1495-1500
Objeto Corpuscular
e' uma
instancia
de
WebSite
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
WebPage
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?SOFTWARE
SoftwareSystem
)
(
exists
(?FILE)
(
and
(
instance
?FILE
SoftwareFile
)
(
component
?FILE ?SOFTWARE))))
Media.kif 1521-1526
Objeto Corpuscular
e' uma
instancia
de
SoftwareSystem
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
SoftwareFile
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?STORE
WebStore
)
(
exists
(?SITE)
(
and
(
instance
?SITE
WebSite
)
(
component
?STORE ?SITE))))
UXExperimentalTerms.kif 2126-2131
Objeto Corpuscular
e' uma
instancia
de
WebStore
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
WebSite
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?System
HardwareSystem
)
(
exists
(?Processor ?Memory ?Network)
(
and
(
instance
?Processor
CPU
)
(
component
?System ?Processor)
(
instance
?Memory
ComputerMemory
)
(
component
?System ?Memory)
(
instance
?Network
ComputerNetwork
)
(
component
?System ?Network))))
QoSontology.kif 312-321
Objeto Corpuscular
e' uma
instancia
de
HardwareSystem
Objeto Corpuscular
Objeto Corpuscular
and
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
CPU
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
ComputerMemory
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
ComputerNetwork
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?WAREHOUSE
DataWarehouse
)
(
hasPurpose
?WAREHOUSE
(
exists
(?AGENT)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
forall
(?DATA)
(
and
(
inScopeOfInterest
?DATA ?AGENT)
(
component
?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2215-2224
Fisico
e' uma
instancia
de
DataWarehouse
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
Entidade
esta'
interessado
em
Entidade
Entidade
e' um
componente
de
Fisico
(=>
(
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
Mattress
)
(
exists
(?BED)
(
and
(
instance
?BED
Bed
)
(
component
?X ?BED))))
Mid-level-ontology.kif 4034-4039
Objeto Corpuscular
e' uma
instancia
de
Mattress
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Bed
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
(=>
(
instance
?X
RemoteIgnitionControl
)
(
hasPurpose
?X
(
exists
(?VEHICLE ?ENGINE ?SIGNAL ?PROC)
(
and
(
instance
?VEHICLE
PoweredVehicle
)
(
instance
?SIGNAL
ElectronicSignalling
)
(
instrument
?SIGNAL ?X)
(
destination
?SIGNAL ?VEHICLE)
(
instance
?ENGINE
Engine
)
(
component
?ENGINE ?VEHICLE)
(
instance
?PROC
(
OperatingFn
Engine
))
(
experiencer
?PROC ?ENGINE)
(
causes
?SIGNAL ?PROC)))))
Cars.kif 3755-3769
Fisico
e' uma
instancia
de
RemoteIgnitionControl
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
PoweredVehicle
Entidade
e' uma
instancia
de
ElectronicSignalling
Fisico
e' um
instrumento
para
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
Engine
Entidade
e' um
componente
de
Entidade
Entidade
e' uma
instancia
de
OperatingFn
Engine
Entidade
experimenta
Entidade
Entidade
causa
Entidade
(=>
(
instance
?X
SteeringColumnLock
)
(
hasPurpose
?X
(
exists
(?SC ?P ?CAR ?T)
(
and
(
instance
?SC
SteeringColumn
)
(
instance
?CAR
Automobile
)
(
component
?SC ?CAR)
(
part
?X ?SC)
(
instance
?P
Protecting
)
(
instrument
?P ?X)
(
decreasesLikelihood
(
holdsDuring
?T
(
attribute
?X
Locked
))
(
holdsDuring
?T
(
exists
(?STEAL)
(
and
(
instance
?STEAL
Stealing
)
(
patient
?STEAL ?CAR)))))))))
Cars.kif 3994-4012
Fisico
e' uma
instancia
de
SteeringColumnLock
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
SteeringColumn
Entidade
e' uma
instancia
de
Automobile
Entidade
e' um
componente
de
Entidade
Fisico
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Protecting
Fisico
e' um
instrumento
para
Entidade
Locked
e' um
atributo
de
Fisico
vale
durante
Entidade
diminui
a probabilidade de
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' um
patient
de
Entidade
vale
durante
Entidade
(=>
(
userDatabase
?DATABASE ?WEBSITE)
(
exists
(?PART ?USERS)
(
and
(
instance
?USERS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?USERS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?USERS)
(
and
(
instance
?MEMBER
AutonomousAgent
)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING
Page
)
(
agent
?ACCESSING
AutonomousAgent
)
(
component
?PAGE ?WEBSITE)))))))))
UXExperimentalTerms.kif 2173-2191
userDatabase
Database
and
WebSite
Objeto
Colecao
Colecao
e' uma
instancia
de
Colecao
Objeto
e' uma &parte de
Database
Objeto
define
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
AutonomousAgent
Processo
Objeto Corpuscular
Processo
e' uma
instancia
de
AccessingWebPage
Objeto Corpuscular
e' uma
instancia
de
WebPage
Page
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto Corpuscular
e' um
componente
de
WebSite
(=>
(
viewedListing
?AGENT ?LISTING)
(
exists
(?PAGE ?ACCESSING)
(
and
(
instance
?PAGE
WebPage
)
(
instance
?ACCESSING
AccessingWebPage
)
(
component
?LISTING ?PAGE)
(
agent
?ACCESSING ?AGENT)
(
destination
?ACCESSING ?PAGE))))
UXExperimentalTerms.kif 1536-1544
viewedListing
AutonomousAgent
and
WebListing
Objeto Corpuscular
Processo
Objeto Corpuscular
e' uma
instancia
de
WebPage
Processo
e' uma
instancia
de
AccessingWebPage
WebListing
e' um
componente
de
Objeto Corpuscular
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto Corpuscular
(=>
(
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
(=>
(
webVisitor
?A ?WS)
(
exists
(?AWS ?WP)
(
and
(
instance
?AWS
AccessingWebPage
)
(
instance
?WP
WebPage
)
(
component
?WP ?WS)
(
agent
?AWS ?A)
(
patient
?AWS ?WP))))
ComputerInput.kif 2953-2961
webVisitor
AutonomousAgent
and
WebSite
AutonomousAgent
WS
Objeto Corpuscular
AutonomousAgent
WS e' uma
instancia
de
AccessingWebPage
Objeto Corpuscular
e' uma
instancia
de
WebPage
Objeto Corpuscular
e' um
componente
de
WebSite
AutonomousAgent
WS e' um
agente
de
AutonomousAgent
Objeto Corpuscular
e' um
patient
de
AutonomousAgent
WS
(=>
(
webVisitor
?VISITOR ?SITE)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING ?PAGE)
(
component
?PAGE ?SITE)
(
agent
?ACCESSING ?VISITOR))))
UXExperimentalTerms.kif 1218-1226
webVisitor
AutonomousAgent
and
WebSite
Processo
Objeto Corpuscular
Processo
e' uma
instancia
de
AccessingWebPage
Objeto Corpuscular
e' uma
instancia
de
WebPage
Objeto Corpuscular
e' um
patient
de
Processo
Objeto Corpuscular
e' um
componente
de
WebSite
Processo
e' um
agente
de
AutonomousAgent
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