member
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
If user
a human
at
a web site
has
sold
a collection
and
a financial transaction
is a
member
of
the collection
,
then
the financial transaction
is an
instance
of
selling
and
the human
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
instance
?OBJ
Object
)
(
member
?OBJ ?COLL))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 690-700
If user
a cognitive agent
at
a web site
has
cart
a collection
and
a physical
is an
instance
of
object
and
the physical
is a
member
of
the collection
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
buying
and
the physical
is a
patient
of
the entity
and
the cognitive agent
is an
agent
of
the entity
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
member
?OBJ ?COLL))
(
instance
?OBJ
Object
))
UXExperimentalTerms.kif 684-688
If user
an agent
at
a web site
has
cart
a collection
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
object
(=>
(
and
(
workLocation
?O ?S)
(
member
?P ?O)
(
instance
?W
Working
)
(
agent
?W ?P))
(
modalAttribute
(
located
?W ?S)
Likely
))
Mid-level-ontology.kif 20535-20543
If members of
an organization
work
at
a stationary artifact
and
an agent
is a
member
of
the organization
and
a process
is an
instance
of
working
and
the agent
is an
agent
of
the process
,
then the statement
the process
is
located
at
the stationary artifact
has the
modal
force
of
likely
(=>
(
holdsDuring
?T1
(
and
(
member
?AGENT1
Public
)
(
member
?AGENT2
Public
)
(
not
(
equal
?AGENT1 ?AGENT2))))
(
exists
(?INTEREST)
(
holdsDuring
?T1
(
and
(
desires
?AGENT1 ?INTEREST)
(
desires
?AGENT2 ?INTEREST)))))
Mid-level-ontology.kif 26080-26091
If
an entity
is a
member
of
public
and
another entity
is a
member
of
public
and
the entity
is not
equal
to
the other entity
holds
during
a time position
,
then there exists
a third entity
such that
the entity
desire
s
the third entity
and
the other entity
desire
s
the third entity
holds
during
the time position
(=>
(
member
?AGENT
InternationalCourtOfJustice
)
(
and
(
instance
?AGENT
Human
)
(
attribute
?AGENT
JudgeAtLaw
)))
Government.kif 3460-3464
If
an object
is a
member
of
international court of justice
,
then
the object
is an
instance
of
human
and
judge
is an
attribute
of
the object
(=>
(
member
?AGNOSTIC
Agnosticism
)
(
not
(
knows
?AGNOSTIC
(
not
(
exists
(?GOD)
(
equal
?GOD
God
))))))
People.kif 691-697
If
a cognitive agent
is a
member
of
agnosticism
,
then
the cognitive agent
doesn't
know
there doesn't exist
an entity
such that
the entity
is
equal
to
god
(=>
(
member
?AREA
UnitedStatesMinorOutlyingIslands
)
(
dependentGeopoliticalArea
?AREA
UnitedStates
))
Media.kif 2614-2616
If
a geopolitical area
is a
member
of
United states minor outlying islands
,
then
the geopolitical area
is a
dependent
of
united states
(=>
(
member
?ATHEIST
Atheism
)
(
believes
?ATHEIST
(
not
(
exists
(?GOD)
(
equal
?GOD
God
)))))
People.kif 710-715
If
a cognitive agent
is a
member
of
atheism
,
then
the cognitive agent
believe
s there doesn't exist
an entity
such that
the entity
is
equal
to
god
(=>
(
member
?ISLAND
VirginIslands
)
(
instance
?ISLAND
Island
))
CountriesAndRegions.kif 1169-1171
If
a physical
is a
member
of
virgin islands
,
then
the physical
is an
instance
of
island
(=>
(
member
?MEMBER
Antisemitism
)
(
dislikes
?MEMBER
Judaism
))
People.kif 1442-1444
If
a cognitive agent
is a
member
of
antisemitism
,
then
the cognitive agent
dislikes
judaism
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
If
a human
is a
member
of the
resident
of
a permanent residence
,
then the
home
of
the human
is
the permanent residence
(=>
(
member
?STATE
GroupOf7
)
(
attribute
?STATE
MajorIndustrialEconomy
))
Economy.kif 751-753
If
an object
is a
member
of
group of7
,
then
major industrial economy
is an
attribute
of
the object
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
If
a cognitive agent
is a
member
of
anti-vaxxer
,
then
the cognitive agent
believe
s
if
an entity
is an
instance
of
vaccination
and
another entity
experience
s
the entity
,
then
the other entity
suffers
from
the entity
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