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
Entit�
est une
instance
de
Soccer
collection
collection
,
AutonomousAgent
and
AutonomousAgent
collection
est une
instance
de
GroupOfPeople
memberCount
collection
and 11
collection
est une
instance
de
GroupOfPeople
memberCount
collection
and 11
collection
est
collection
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
est un
membre
de
collection
enemy
AutonomousAgent
and
AutonomousAgent
(=>
(
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
Objet
est une
instance
de
HighRise
collection
nombre entier
collection
est une
instance
de
collection
objet
objet
est une
instance
de
BuildingLevel
objet
est une
partie
de
objet
objet
est un
membre
de
collection
memberCount
collection
and
nombre entier
nombre entier
est
plus
grand
ou �gal � 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
Affrontement
est une
instance
de
Tennis
AutonomousAgent
AutonomousAgent
contestParticipant
affrontement
and
AutonomousAgent
contestParticipant
affrontement
and
AutonomousAgent
AutonomousAgent
est
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est une
instance
de
GroupOfPeople
memberCount
AutonomousAgent
and 2
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est une
instance
de
GroupOfPeople
memberCount
AutonomousAgent
and 2
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22671-22677
memberTypeCount
collection
,
classe
and
nombre entier non n�gatif
collection
collection
est une
sous
-collection appartenant �
collection
memberCount
collection
and
nombre entier non n�gatif
memberType
collection
and
classe
(=>
(
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
numberOfFloors
immeuble
and
nombre entier
collection
objet
objet
est une
instance
de
BuildingLevel
objet
est une
partie
de
immeuble
objet
est un
membre
de
collection
memberCount
collection
and
nombre entier
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