component
(=>
(
instance
?OBJ
TextDocument
)
(
exists
(?TXT)
(
and
(
instance
?TXT
Text
)
(
component
?TXT ?OBJ))))
Media.kif 931-936
Objet corpusculaire
est une
instance
de
TextDocument
objet corpusculaire
objet corpusculaire
est une
instance
de
texte
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?ORE
Bauxite
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Alumina
)
(
component
?METAL ?ORE))))
Economy.kif 5603-5608
Objet corpusculaire
est une
instance
de
Bauxite
objet corpusculaire
objet corpusculaire
est une
instance
de
Alumina
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?ORE
CopperOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Copper
)
(
component
?METAL ?ORE))))
Economy.kif 5647-5652
Objet corpusculaire
est une
instance
de
CopperOre
objet corpusculaire
objet corpusculaire
est une
instance
de
Copper
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?ORE
IronOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Iron
)
(
component
?METAL ?ORE))))
Economy.kif 5637-5642
Objet corpusculaire
est une
instance
de
IronOre
objet corpusculaire
objet corpusculaire
est une
instance
de
Iron
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?ORE
LeadOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Lead
)
(
component
?METAL ?ORE))))
Economy.kif 5667-5672
Objet corpusculaire
est une
instance
de
LeadOre
objet corpusculaire
objet corpusculaire
est une
instance
de
Lead
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?ORE
NickelOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Nickel
)
(
component
?METAL ?ORE))))
Economy.kif 5657-5662
Objet corpusculaire
est une
instance
de
NickelOre
objet corpusculaire
objet corpusculaire
est une
instance
de
Nickel
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?ORE
ZincOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Zinc
)
(
component
?METAL ?ORE))))
Economy.kif 5677-5682
Objet corpusculaire
est une
instance
de
ZincOre
objet corpusculaire
objet corpusculaire
est une
instance
de
Zinc
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?PAGE
SearchResultsPage
)
(
exists
(?RESULTS)
(
and
(
instance
?RESULTS
SRPResults
)
(
component
?RESULTS ?PAGE))))
UXExperimentalTerms.kif 2530-2535
Objet corpusculaire
est une
instance
de
SearchResultsPage
objet corpusculaire
objet corpusculaire
est une
instance
de
SRPResults
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?PART
BodyPart
)
(
exists
(?ORGANISM ?TIME)
(
and
(
instance
?ORGANISM
Organism
)
(
temporalPart
?TIME
(
WhenFn
?ORGANISM))
(
holdsDuring
?TIME
(
component
?PART ?ORGANISM)))))
Merge.kif 15001-15007
Entit�
est une
instance
de
partie du corps
physique
position temporel
physique
est une
instance
de
organisme
position temporel
est une
partie
de
temps
d'existence de
physique
entit�
est un
composant
de
physique
pendant
position temporel
(=>
(
instance
?PARTICLE
SubatomicParticle
)
(
exists
(?ATOM)
(
and
(
instance
?ATOM
Atom
)
(
component
?PARTICLE ?ATOM))))
Merge.kif 1138-1143
Objet corpusculaire
est une
instance
de
Particule subatomique
objet corpusculaire
objet corpusculaire
est une
instance
de
atome
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?SITE
WebSite
)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
component
?PAGE ?SITE))))
Media.kif 1495-1500
Objet corpusculaire
est une
instance
de
WebSite
objet corpusculaire
objet corpusculaire
est une
instance
de
WebPage
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?SOFTWARE
SoftwareSystem
)
(
exists
(?FILE)
(
and
(
instance
?FILE
SoftwareFile
)
(
component
?FILE ?SOFTWARE))))
Media.kif 1521-1526
Objet corpusculaire
est une
instance
de
SoftwareSystem
objet corpusculaire
objet corpusculaire
est une
instance
de
SoftwareFile
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?STORE
WebStore
)
(
exists
(?SITE)
(
and
(
instance
?SITE
WebSite
)
(
component
?STORE ?SITE))))
UXExperimentalTerms.kif 2126-2131
Objet corpusculaire
est une
instance
de
WebStore
objet corpusculaire
objet corpusculaire
est une
instance
de
WebSite
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
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
Objet corpusculaire
est une
instance
de
HardwareSystem
objet corpusculaire
objet corpusculaire
and
objet corpusculaire
objet corpusculaire
est une
instance
de
CPU
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est une
instance
de
ComputerMemory
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est une
instance
de
ComputerNetwork
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
instance
?WAREHOUSE
DataWarehouse
)
(
hasPurpose
?WAREHOUSE
(
exists
(?AGENT)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
forall
(?DATA)
(
and
(
inScopeOfInterest
?DATA ?AGENT)
(
component
?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2215-2224
Physique
est une
instance
de
DataWarehouse
physique
a pour
but
entit�
entit�
est une
instance
de
AutonomousAgent
entit�
entit�
est
interess
� par
entit�
entit�
est un
composant
de
physique
(=>
(
instance
?WAREHOUSE
DataWarehouse
)
(
hasPurpose
?WAREHOUSE
(
exists
(?SUBJECT)
(
and
(
instance
?SUBJECT
Proposition
)
(
forall
(?DATA)
(
and
(
refers
?DATA ?SUBJECT)
(
component
?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2204-2213
Physique
est une
instance
de
DataWarehouse
physique
a pour
but
entit�
entit�
est une
instance
de
proposition
entit�
entit�
inclut une
r
�f�rence �
entit�
entit�
est un
composant
de
physique
(=>
(
instance
?X
Mattress
)
(
exists
(?BED)
(
and
(
instance
?BED
Bed
)
(
component
?X ?BED))))
Mid-level-ontology.kif 4027-4032
Objet corpusculaire
est une
instance
de
Mattress
objet corpusculaire
objet corpusculaire
est une
instance
de
Bed
objet corpusculaire
est un
composant
de
objet corpusculaire
(=>
(
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 3740-3754
Physique
est une
instance
de
RemoteIgnitionControl
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
PoweredVehicle
entit�
est une
instance
de
ElectronicSignalling
physique
est un
instrument
pour
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
Engine
entit�
est un
composant
de
entit�
entit�
est une
instance
de
OperatingFn
Engine
entit�
exp
�rimente
entit�
entit�
cause
entit�
(=>
(
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 3979-3997
Physique
est une
instance
de
SteeringColumnLock
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
SteeringColumn
entit�
est une
instance
de
Automobile
entit�
est un
composant
de
entit�
physique
est une
partie
de
entit�
entit�
est une
instance
de
Protecting
physique
est un
instrument
pour
entit�
Locked
est un
attribut
de
physique
pendant
entit�
diminue
la probabilit� de
entit�
entit�
est une
instance
de
Stealing
entit�
est un
patient
de
entit�
pendant
entit�
(=>
(
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
objet
collection
collection
est une
instance
de
collection
objet
est une
partie
de
Database
objet
d
�finie
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AutonomousAgent
processus
objet corpusculaire
processus
est une
instance
de
AccessingWebPage
objet corpusculaire
est une
instance
de
WebPage
Page
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
objet corpusculaire
est un
composant
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
objet corpusculaire
processus
objet corpusculaire
est une
instance
de
WebPage
processus
est une
instance
de
AccessingWebPage
WebListing
est un
composant
de
objet corpusculaire
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet corpusculaire
(=>
(
webStoreAdvertisement
?ADVERT ?STORE)
(
exists
(?ITEM ?PAGE)
(
and
(
refers
?ADVERT ?ITEM)
(
component
?ADVERT ?PAGE)
(
instance
?PAGE
WebPage
)
(
member
?PAGE ?STORE))))
UXExperimentalTerms.kif 434-441
webStoreAdvertisement
promouvoir
and
WebStore
entit�
objet corpusculaire
promouvoir
inclut une
r
�f�rence �
entit�
promouvoir
est un
composant
de
objet corpusculaire
objet corpusculaire
est une
instance
de
WebPage
objet corpusculaire
est un
membre
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
objet corpusculaire
AutonomousAgent
WS est une
instance
de
AccessingWebPage
objet corpusculaire
est une
instance
de
WebPage
objet corpusculaire
est un
composant
de
WebSite
AutonomousAgent
WS est un
agent
de
AutonomousAgent
objet corpusculaire
est un
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
processus
objet corpusculaire
processus
est une
instance
de
AccessingWebPage
objet corpusculaire
est une
instance
de
WebPage
objet corpusculaire
est un
patient
de
processus
objet corpusculaire
est un
composant
de
WebSite
processus
est un
agent
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