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
Wenn
Entity
ist ein
fall
von
Soccer
%n{nicht},
dann es gibt
Collection
,
** Collection
,, ,
AutonomousAgent
, and und
** AutonomousAgent
um
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberCount
** Collection
and 11 und
** ** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberCount
** ** Collection
and 11 und
** Collection
ist gleich
** ** Collection
nicht und
** AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
** ** Collection
%n{nicht} und
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
Wenn
Object
ist ein
fall
von
HighRise
%n{nicht},
dann es gibt
Collection
und
Integer
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
** Object
wenn
** ** Object
ist ein
fall
von
BuildingLevel
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** ** Object
ist ein
Mitglied
von
** Collection
%n{nicht}
und
memberCount
** Collection
and
** Integer
und
** Integer
ist
groesserAlsOderGleich
10 %n{nicht}
(=>
(
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
Wenn
Contest
ist ein
fall
von
Tennis
%n{nicht},
dann es gibt
AutonomousAgent
und
** AutonomousAgent
um
contestParticipant
** Contest
and
** AutonomousAgent
und
contestParticipant
** Contest
and
** ** AutonomousAgent
und
** AutonomousAgent
ist gleich
** ** AutonomousAgent
nicht und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} oder
** AutonomousAgent
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberCount
** AutonomousAgent
and 2 und
** ** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} oder
** ** AutonomousAgent
ist ein
fall
von
GroupOfPeople
%n{nicht} und
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
Wenn
memberTypeCount
Collection
,
Class
and
NonnegativeInteger
,
dann es gibt
** Collection
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
memberCount
** ** Collection
and
** NonnegativeInteger
und
memberType
** ** Collection
and
** Class
(=>
(
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
Wenn
numberOfFloors
Building
and
Integer
,
dann es gibt
Collection
um fuer alle
Object
wenn
** Object
ist ein
fall
von
BuildingLevel
%n{nicht} und
** Object
ist ein
teil
von
** Building
%n{nicht},
dann
** Object
ist ein
Mitglied
von
** Collection
%n{nicht}
und
memberCount
** Collection
and
** Integer
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