memberCount
(=>
(
instance
?S
Soccer
)
(
exists
(?A ?B ?M1 ?M2)
(
and
(
instance
?A
GroupOfPeople
)
(
memberCount
?A 11)
(
instance
?B
GroupOfPeople
)
(
memberCount
?B 11)
(
not
(
equal
?A ?B))
(
member
?M1 ?A)
(
member
?M1 ?B)
(
enemy
?M1 ?M2))))
Sports.kif 163-175
If
an entity
is an
instance
of
soccer
,
then there exist
a collection
,
another collection
,, ,
an agent
and
another agent
such that
the collection
is an
instance
of
group of people
and 11 is a
member
count of
the collection
and
the other collection
is an
instance
of
group of people
and 11 is a
member
count of
the other collection
and
the collection
is not
equal
to
the other collection
and
the agent
is a
member
of
the collection
and
the agent
is a
member
of
the other collection
and
the agent
and
the other agent
are enemies of each other
(=>
(
instance
?X
HighRise
)
(
exists
(?LEVELS ?NUM)
(
and
(
instance
?LEVELS
Collection
)
(
forall
(?FLR)
(=>
(
and
(
instance
?FLR
BuildingLevel
)
(
part
?FLR ?X))
(
member
?FLR ?LEVELS)))
(
memberCount
?LEVELS ?NUM)
(
greaterThanOrEqualTo
?NUM 10))))
Mid-level-ontology.kif 26508-26520
If
an object
is an
instance
of
high rise
,
then there exist
a collection
and
an integer
such that
the collection
is an
instance
of
collection
and for all
another object
if
the other object
is an
instance
of
building level
and
the other object
is a
part
of
the object
,
then
the other object
is a
member
of
the collection
and
the integer
is a
member
count of
the collection
and
the integer
is
greater
than or equal to 10
(=>
(
instance
?X
Tennis
)
(
exists
(?T1 ?T2)
(
and
(
contestParticipant
?X ?T1)
(
contestParticipant
?X ?T2)
(
not
(
equal
?T1 ?T2))
(
or
(
instance
?T1
Human
)
(
and
(
instance
?T1
GroupOfPeople
)
(
memberCount
?T1 2)))
(
or
(
instance
?T2
Human
)
(
and
(
instance
?T2
GroupOfPeople
)
(
memberCount
?T2 2))))))
Sports.kif 857-873
If
a contest
is an
instance
of
tennis
,
then there exist
an agent
and
another agent
such that
the agent
participates
in
the contest
and
the other agent
participates
in
the contest
and
the agent
is not
equal
to
the other agent
and
the agent
is an
instance
of
human
or
the agent
is an
instance
of
group of people
and 2 is a
member
count of
the agent
and
the other agent
is an
instance
of
human
or
the other agent
is an
instance
of
group of people
and 2 is a
member
count of
the other agent
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22671-22677
If
a collection
is
member
type count
a class
for
a nonnegative integer
,
then there exists
another collection
such that
the other collection
is a proper
sub
-collection of
the collection
and
the nonnegative integer
is a
member
count of
the other collection
and
the class
is a
member
type of
the other collection
(=>
(
numberOfFloors
?BLDG ?NUM)
(
exists
(?FLOORS)
(
and
(
forall
(?X)
(=>
(
and
(
instance
?X
BuildingLevel
)
(
part
?X ?BLDG))
(
member
?X ?FLOORS)))
(
memberCount
?FLOORS ?NUM))))
Hotel.kif 705-715
If
a building
has
an integer
floors
,
then there exists
a collection
such that for all
an object
if
the object
is an
instance
of
building level
and
the object
is a
part
of
the building
,
then
the object
is a
member
of
the collection
and
the integer
is a
member
count of
the collection
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