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
例
Entity
and
英式足球比賽
Collection
Collection
,
AutonomousAgent
and
AutonomousAgent
例
Collection
and
一群人
11 是
Collection
的
member
計數
例
Collection
and
一群人
11 是
Collection
的
member
計數
等於
Collection
and
Collection
會員
AutonomousAgent
and
Collection
會員
AutonomousAgent
and
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
例
Object
and
HighRise
Collection
Integer
例
Collection
and
Collection
Object
例
Object
and
建設水平
部分
Object
and
Object
會員
Object
and
Collection
Integer
是
Collection
的
member
計數
大於或等於
Integer
and 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
and
Tennis
AutonomousAgent
AutonomousAgent
AutonomousAgent
participates
在
Contest
AutonomousAgent
participates
在
Contest
等於
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
Human
例
AutonomousAgent
and
一群人
2 是
AutonomousAgent
的
member
計數
例
AutonomousAgent
and
Human
例
AutonomousAgent
and
一群人
2 是
AutonomousAgent
的
member
計數
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22671-22677
Collection
對於
NonnegativeInteger
的
member
類別計數
Class
Collection
子集合
Collection
and
Collection
NonnegativeInteger
是
Collection
的
member
計數
Class
是
Collection
的
member
類別
(=>
(
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
Building
有
Integer
floors
Collection
Object
例
Object
and
建設水平
部分
Object
and
Building
會員
Object
and
Collection
Integer
是
Collection
的
member
計數
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