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 29868-29888
If
an entity
is an
instance
of
invoice
,
then there exist
a symbolic string
,
a cognitive agent
,, ,
an agent
,, ,
another entity
and
a third entity
such that the
unique
identifier of
the symbolic string
is
the entity
and
the cognitive agent
buys
the other entity
from
the agent
and
the agent
allow
s
the cognitive agent
to perform task of the type there exists
a fourth entity
such that the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the fourth entity
and
the fourth entity
is an
instance
of
selling
and
the third entity
is an
instance
of
product
and the object transferred in
the fourth entity
is
the third entity
and
the entity
includes a
reference
to
the third entity
and
the agent
is an
agent
of
the fourth entity
and
the cognitive agent
is a
patient
of
the fourth entity
(=>
(
instance
?LABEL
Label
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
connected
?LABEL ?OBJ)
(
refers
?LABEL ?OBJ))))
Mid-level-ontology.kif 14477-14483
If
an object
is an
instance
of
label
,
then there exists
another object
such that
the other object
is an
instance
of
self connected object
and
the object
is
connected
to
the other object
and
the object
includes a
reference
to
the other object
(=>
(
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
If
a process
is an
instance
of
operation order
,
then there exist
an entity
and
the entity
NING such that
the entity
is an
instance
of
OPLAN
and
the entity
NING is an
instance
of
operation planning
and
the entity
is a
result
of
the entity
NING and
the entity
NING
cause
s
the process
and
the entity
includes a
reference
to
the process
(=>
(
instance
?P
Pleading
)
(
exists
(?C)
(
and
(
instance
?C
CriminalAction
)
(
refers
?P ?C))))
Mid-level-ontology.kif 16135-16140
If
an entity
is an
instance
of
pleading
,
then there exists
another entity
such that
the other entity
is an
instance
of
criminal action
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?P
Prescription
)
(
exists
(?M)
(
and
(
instance
?M
Medicine
)
(
refers
?P ?M))))
Mid-level-ontology.kif 9271-9276
If
an entity
is an
instance
of
prescription
,
then there exists
another entity
such that
the other entity
is an
instance
of
medicine
and
the entity
includes a
reference
to
the other entity
(=>
(
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 29895-29915
If
an entity
is an
instance
of
purchase order
,
then there exist
a symbolic string
,
a cognitive agent
,, ,
another cognitive agent
and
another entity
such that the
unique
identifier of
the symbolic string
is
the entity
and
the cognitive agent
buys
the other entity
from
the other cognitive agent
and
the cognitive agent
obligate
s
the other cognitive agent
to perform task of the type there exists
a third entity
such that the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the third entity
and
the third entity
is an
instance
of
buying
and
the other entity
is an
instance
of
product
and the object transferred in
the third entity
is
the other entity
and
the entity
includes a
reference
to
the other entity
and
the cognitive agent
is an
agent
of
the third entity
and
the other cognitive agent
is a
patient
of
the third entity
(=>
(
instance
?PS
PayStub
)
(
exists
(?FT ?O ?E)
(
and
(
instance
?FT
FinancialTransaction
)
(
origin
?FT ?O)
(
destination
?FT ?E)
(
refers
?PS ?FT))))
Medicine.kif 3386-3393
If
an entity
is an
instance
of
paystub
,
then there exist
a process
,
an object
and
another entity
such that
the process
is an
instance
of
financial transaction
and
the process
originate
s at
the object
and
the process
end
s up at
the other entity
and
the entity
includes a
reference
to
the process
(=>
(
instance
?RESEARCH
ResearchingWeaponOfMassDestruction
)
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
WeaponOfMassDestruction
)
(
refers
?RESEARCH ?WEAPON))))
WMD.kif 724-729
If
an entity
is an
instance
of
researching weapon of mass destruction
,
then there exists
another entity
such that
the other entity
is an
instance
of
weapon of mass destruction
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?S
MysteryStory
)
(
exists
(?C)
(
and
(
instance
?C
CriminalAction
)
(
refers
?S ?C))))
Mid-level-ontology.kif 14938-14943
If
an entity
is an
instance
of
mystery story
,
then there exists
another entity
such that
the other entity
is an
instance
of
criminal action
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?T
Testament
)
(
exists
(?B)
(
and
(
instance
?B
Bequeathing
)
(
refers
?T ?B))))
Mid-level-ontology.kif 16595-16600
If
an entity
is an
instance
of
testament
,
then there exists
another entity
such that
the other entity
is an
instance
of
bequeathing
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?URI
UniformResourceIdentifier
)
(
exists
(?Resource)
(
and
(
instance
?Resource
DigitalData
)
(
refers
?URI ?Resource))))
QoSontology.kif 1681-1686
If
an entity
is an
instance
of
uniform resource identifier
,
then there exists
another entity
such that
the other entity
is an
instance
of
digital data
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?VC
VaccinationCard
)
(
exists
(?V)
(
and
(
instance
?V
Vaccination
)
(
refers
?VC ?V))))
Medicine.kif 3109-3114
If
an entity
is an
instance
of
VaccinationCard
,
then there exists
another entity
such that
the other entity
is an
instance
of
vaccination
and
the entity
includes a
reference
to
the other entity
(=>
(
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
DiningGuide
)
(
exists
(?LOC ?REST)
(
and
(
instance
?LOC
GeographicArea
)
(
refers
?X ?LOC)
(
instance
?REST
Restaurant
)
(
located
?REST ?LOC)
(
refers
?X ?REST))))
Mid-level-ontology.kif 26427-26435
If
an entity
is an
instance
of
dining guide
,
then there exist
an object
and
a physical
such that
the object
is an
instance
of
geographic area
and
the entity
includes a
reference
to
the object
and
the physical
is an
instance
of
restaurant
and
the physical
is
located
at
the object
and
the entity
includes a
reference
to
the physical
(=>
(
instance
?X
GuideBook
)
(
exists
(?LOC)
(
and
(
instance
?LOC
GeographicArea
)
(
refers
?X ?LOC))))
Mid-level-ontology.kif 26415-26420
If
an entity
is an
instance
of
guide book
,
then there exists
another entity
such that
the other entity
is an
instance
of
geographic area
and
the entity
includes a
reference
to
the other entity
(=>
(
instance
?X
Theology
)
(
exists
(?Y)
(
and
(
instance
?Y
ReligiousProcess
)
(
refers
?X ?Y))))
Mid-level-ontology.kif 21317-21322
If
an entity
is an
instance
of
theology
,
then there exists
another entity
such that
the other entity
is an
instance
of
religious process
and
the entity
includes a
reference
to
the other entity
(=>
(
musicGenre
?MR
ChristianMusic
)
(
exists
(?X)
(
and
(
attribute
?X
Christian
)
(
refers
?MR ?X))))
Music.kif 647-652
If
christian music
is in the
genre
an object
,
then there exists
another object
such that
christian
is an
attribute
of
the other object
and
the object
includes a
reference
to
the other object
(=>
(
musicGenre
?MR
ReligiousMusic
)
(
exists
(?ATTR ?X)
(
and
(
instance
?ATTR
ReligiousAttribute
)
(
attribute
?X ?ATTR)
(
refers
?MR ?X))))
Music.kif 633-639
If
religious music
is in the
genre
an object
,
then there exist
an attribute
and
another object
such that
the attribute
is an
instance
of
religious attribute
and
the attribute
is an
attribute
of
the other object
and
the object
includes a
reference
to
the other object
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
refers
?FORMULA ?USER))
UXExperimentalTerms.kif 1175-1177
If
a formula
is
known
about
an agent
who visits
a web site
,
then
the formula
includes a
reference
to
an entity
(=>
(
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
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