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
Entidade
e' uma
instancia
de
Soccer
Colecao
Colecao
,
AutonomousAgent
and
AutonomousAgent
Colecao
e' uma
instancia
de
GroupOfPeople
memberCount
Colecao
and 11
Colecao
e' uma
instancia
de
GroupOfPeople
memberCount
Colecao
and 11
Colecao
e'
igual
a
Colecao
AutonomousAgent
e'
membro
de
Colecao
AutonomousAgent
e'
membro
de
Colecao
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
Objeto
e' uma
instancia
de
HighRise
Colecao
Numero Inteiro
Colecao
e' uma
instancia
de
Colecao
Objeto
Objeto
e' uma
instancia
de
BuildingLevel
Objeto
e' uma &parte de
Objeto
Objeto
e'
membro
de
Colecao
memberCount
Colecao
and
Numero Inteiro
Numero Inteiro
e'
maior
ou igual a 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
Contest
e' uma
instancia
de
Tennis
AutonomousAgent
AutonomousAgent
contestParticipant
Contest
and
AutonomousAgent
contestParticipant
Contest
and
AutonomousAgent
AutonomousAgent
e'
igual
a
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
de
GroupOfPeople
memberCount
AutonomousAgent
and 2
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
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
Colecao
,
Classe
and
Numero Inteiro nao-negativo
Colecao
Colecao
e' uma
sub
-colecao de
Colecao
memberCount
Colecao
and
Numero Inteiro nao-negativo
memberType
Colecao
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
Predio
and
Numero Inteiro
Colecao
Objeto
Objeto
e' uma
instancia
de
BuildingLevel
Objeto
e' uma &parte de
Predio
Objeto
e'
membro
de
Colecao
memberCount
Colecao
and
Numero Inteiro
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