component
(=>
(
instance
?OBJ
TextDocument
)
(
exists
(?TXT)
(
and
(
instance
?TXT
Text
)
(
component
?TXT ?OBJ))))
Media.kif 931-936
If
a corpuscular object
is an
instance
of
text document
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
text
and
the other corpuscular object
is a
component
of
the corpuscular object
(=>
(
instance
?ORE
Bauxite
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Alumina
)
(
component
?METAL ?ORE))))
Economy.kif 5603-5608
If
a corpuscular object
is an
instance
of
bauxite
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
alumina
and
the other corpuscular object
is a
component
of
the corpuscular object
(=>
(
instance
?ORE
CopperOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Copper
)
(
component
?METAL ?ORE))))
Economy.kif 5647-5652
If
a corpuscular object
is an
instance
of
copper ore
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
copper
and
the other corpuscular object
is a
component
of
the corpuscular object
(=>
(
instance
?ORE
IronOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Iron
)
(
component
?METAL ?ORE))))
Economy.kif 5637-5642
If
a corpuscular object
is an
instance
of
iron ore
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
iron
and
the other corpuscular object
is a
component
of
the corpuscular object
(=>
(
instance
?ORE
LeadOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Lead
)
(
component
?METAL ?ORE))))
Economy.kif 5667-5672
If
a corpuscular object
is an
instance
of
lead ore
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
lead
and
the other corpuscular object
is a
component
of
the corpuscular object
(=>
(
instance
?ORE
NickelOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Nickel
)
(
component
?METAL ?ORE))))
Economy.kif 5657-5662
If
a corpuscular object
is an
instance
of
nickel ore
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
nickel
and
the other corpuscular object
is a
component
of
the corpuscular object
(=>
(
instance
?ORE
ZincOre
)
(
exists
(?METAL)
(
and
(
instance
?METAL
Zinc
)
(
component
?METAL ?ORE))))
Economy.kif 5677-5682
If
a corpuscular object
is an
instance
of
zinc ore
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
zinc
and
the other corpuscular object
is a
component
of
the corpuscular object
(=>
(
instance
?PAGE
SearchResultsPage
)
(
exists
(?RESULTS)
(
and
(
instance
?RESULTS
SRPResults
)
(
component
?RESULTS ?PAGE))))
UXExperimentalTerms.kif 2530-2535
If
a corpuscular object
is an
instance
of
search results page
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
search results
and
the other corpuscular object
is a
component
of
the corpuscular object
(=>
(
instance
?PART
BodyPart
)
(
exists
(?ORGANISM ?TIME)
(
and
(
instance
?ORGANISM
Organism
)
(
temporalPart
?TIME
(
WhenFn
?ORGANISM))
(
holdsDuring
?TIME
(
component
?PART ?ORGANISM)))))
Merge.kif 14955-14961
If
an entity
is an
instance
of
body part
,
then there exist
a physical
and
a time position
such that
the physical
is an
instance
of
organism
and
the time position
is a
part
of the
time
of existence of
the physical
and
the entity
is a
component
of
the physical
holds
during
the time position
(=>
(
instance
?PARTICLE
SubatomicParticle
)
(
exists
(?ATOM)
(
and
(
instance
?ATOM
Atom
)
(
component
?PARTICLE ?ATOM))))
Merge.kif 1138-1143
If
a corpuscular object
is an
instance
of
subatomic particle
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
atom
and
the corpuscular object
is a
component
of
the other corpuscular object
(=>
(
instance
?SITE
WebSite
)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
component
?PAGE ?SITE))))
Media.kif 1495-1500
If
a corpuscular object
is an
instance
of
web site
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
web page
and
the other corpuscular object
is a
component
of
the corpuscular object
(=>
(
instance
?SOFTWARE
SoftwareSystem
)
(
exists
(?FILE)
(
and
(
instance
?FILE
SoftwareFile
)
(
component
?FILE ?SOFTWARE))))
Media.kif 1521-1526
If
a corpuscular object
is an
instance
of
software system
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
software file
and
the other corpuscular object
is a
component
of
the corpuscular object
(=>
(
instance
?STORE
WebStore
)
(
exists
(?SITE)
(
and
(
instance
?SITE
WebSite
)
(
component
?STORE ?SITE))))
UXExperimentalTerms.kif 2126-2131
If
a corpuscular object
is an
instance
of
web store
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
web site
and
the corpuscular object
is a
component
of
the other corpuscular object
(=>
(
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
If
a corpuscular object
is an
instance
of
hardware system
,
then there exist
another corpuscular object
,
a third corpuscular object
and
a fourth corpuscular object
such that
the other corpuscular object
is an
instance
of
CPU
and
the corpuscular object
is a
component
of
the other corpuscular object
and
the third corpuscular object
is an
instance
of
computer memory
and
the corpuscular object
is a
component
of
the third corpuscular object
and
the fourth corpuscular object
is an
instance
of
computer network
and
the corpuscular object
is a
component
of
the fourth corpuscular object
(=>
(
instance
?WAREHOUSE
DataWarehouse
)
(
hasPurpose
?WAREHOUSE
(
exists
(?AGENT)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
forall
(?DATA)
(
and
(
inScopeOfInterest
?DATA ?AGENT)
(
component
?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2215-2224
If
a physical
is an
instance
of
data warehouse
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
agent
and for all
another entity
the other entity
is
interested
in
the entity
and
the other entity
is a
component
of
the physical
(=>
(
instance
?WAREHOUSE
DataWarehouse
)
(
hasPurpose
?WAREHOUSE
(
exists
(?SUBJECT)
(
and
(
instance
?SUBJECT
Proposition
)
(
forall
(?DATA)
(
and
(
refers
?DATA ?SUBJECT)
(
component
?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2204-2213
If
a physical
is an
instance
of
data warehouse
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
proposition
and for all
another entity
the other entity
includes a
reference
to
the entity
and
the other entity
is a
component
of
the physical
(=>
(
instance
?X
Mattress
)
(
exists
(?BED)
(
and
(
instance
?BED
Bed
)
(
component
?X ?BED))))
Mid-level-ontology.kif 4034-4039
If
a corpuscular object
is an
instance
of
mattress
,
then there exists
another corpuscular object
such that
the other corpuscular object
is an
instance
of
bed
and
the corpuscular object
is a
component
of
the other corpuscular object
(=>
(
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
If
a physical
is an
instance
of
remote ignition control
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
powered vehicle
and
the third entity
is an
instance
of
electronic signalling
and
the physical
is an
instrument
for
the third entity
and
the third entity
end
s up at
the entity
and
the other entity
is an
instance
of
engine
and
the other entity
is a
component
of
the entity
and
the fourth entity
is an
instance
of the
operating
of
engine
and
the other entity
experience
s
the fourth entity
and
the third entity
cause
s
the fourth entity
(=>
(
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
If
a physical
is an
instance
of
steering column lock
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
steering column
and
the third entity
is an
instance
of
automobile
and
the entity
is a
component
of
the third entity
and
the physical
is a
part
of
the entity
and
the other entity
is an
instance
of
protecting
and
the physical
is an
instrument
for
the other entity
and
locked
is an
attribute
of
the physical
holds
during
the fourth entity
decrease
s likelihood of there exists
a fifth entity
such that
the fifth entity
is an
instance
of
stealing
and
the third entity
is a
patient
of
the fifth entity
holds
during
the fourth entity
(=>
(
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
If
a database
is the
user
database
for
a web site
,
then there exist
an object
and
a collection
such that
the collection
is an
instance
of
collection
and
the object
is a
part
of
the database
and
the object
express
es
the collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
agent
and there exist
a process
and
a corpuscular object
such that
the process
is an
instance
of
accessing web page
and
the corpuscular object
is an
instance
of
web page
and
page
is a
patient
of
the process
and
agent
is an
agent
of
the process
and
the corpuscular object
is a
component
of
the web site
(=>
(
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
If
an agent
viewed
a web listing
,
then there exist
a corpuscular object
and
a process
such that
the corpuscular object
is an
instance
of
web page
and
the process
is an
instance
of
accessing web page
and
the web listing
is a
component
of
the corpuscular object
and
the agent
is an
agent
of
the process
and
the process
end
s up at
the corpuscular object
(=>
(
webStoreAdvertisement
?ADVERT ?STORE)
(
exists
(?ITEM ?PAGE)
(
and
(
refers
?ADVERT ?ITEM)
(
component
?ADVERT ?PAGE)
(
instance
?PAGE
WebPage
)
(
member
?PAGE ?STORE))))
UXExperimentalTerms.kif 434-441
If
a web store
has
advertisement
an advertising
,
then there exist
an entity
and
a corpuscular object
such that
the advertising
includes a
reference
to
the entity
and
the advertising
is a
component
of
the corpuscular object
and
the corpuscular object
is an
instance
of
web page
and
the corpuscular object
is a
member
of
the web store
(=>
(
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
If
an agent
is a
visitor
to
a web site
,
then there exist
the agent
WS and
a corpuscular object
such that
the agent
WS is an
instance
of
accessing web page
and
the corpuscular object
is an
instance
of
web page
and
the corpuscular object
is a
component
of
the web site
and
the agent
is an
agent
of
the agent
WS and
the corpuscular object
is a
patient
of
the agent
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
If
an agent
is a
visitor
to
a web site
,
then there exist
a process
and
a corpuscular object
such that
the process
is an
instance
of
accessing web page
and
the corpuscular object
is an
instance
of
web page
and
the corpuscular object
is a
patient
of
the process
and
the corpuscular object
is a
component
of
the web site
and
the agent
is an
agent
of
the process
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