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�
è un'
istanza
di
Soccer
InsiemeConcreto
InsiemeConcreto
,
AutonomousAgent
and
AutonomousAgent
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
memberCount
InsiemeConcreto
and 11
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
memberCount
InsiemeConcreto
and 11
InsiemeConcreto
is
uguale
a
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
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
Oggetto
è un'
istanza
di
HighRise
InsiemeConcreto
NumeroIntero
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Oggetto
Oggetto
è un'
istanza
di
BuildingLevel
Oggetto
è una
parte
di
Oggetto
Oggetto
è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroIntero
NumeroIntero
è
pi
ù grande di o uguale 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
Competizione
è un'
istanza
di
Tennis
AutonomousAgent
AutonomousAgent
contestParticipant
Competizione
and
AutonomousAgent
contestParticipant
Competizione
and
AutonomousAgent
AutonomousAgent
is
uguale
a
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
è un'
istanza
di
GroupOfPeople
memberCount
AutonomousAgent
and 2
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
è un'
istanza
di
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
InsiemeConcreto
,
Classe
and
NumeroInteroNonNegativo
InsiemeConcreto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroInteroNonNegativo
memberType
InsiemeConcreto
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
Costruzione
and
NumeroIntero
InsiemeConcreto
Oggetto
Oggetto
è un'
istanza
di
BuildingLevel
Oggetto
è una
parte
di
Costruzione
Oggetto
è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroIntero
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