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
エンティティー
は
Soccer
の
instance
では %n
コレクション
コレクション
,
AutonomousAgent
and
AutonomousAgent
コレクション
は
GroupOfPeople
の
instance
では %n
memberCount
コレクション
and 11
コレクション
は
GroupOfPeople
の
instance
では %n
memberCount
コレクション
and 11
コレクション
は
コレクション
と
equal
では
AutonomousAgent
は
コレクション
の
member
では %n
AutonomousAgent
は
コレクション
の
member
では %n
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 26496-26508
オブジェクト
は
HighRise
の
instance
では %n
コレクション
整数
コレクション
は
コレクション
の
instance
では %n
オブジェクト
オブジェクト
は
BuildingLevel
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
コレクション
の
member
では %n
memberCount
コレクション
and
整数
整数
は 10
greater
では %n
(=>
(
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
コンテスト
は
Tennis
の
instance
では %n
AutonomousAgent
AutonomousAgent
contestParticipant
コンテスト
and
AutonomousAgent
contestParticipant
コンテスト
and
AutonomousAgent
AutonomousAgent
は
AutonomousAgent
と
equal
では
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
GroupOfPeople
の
instance
では %n
memberCount
AutonomousAgent
and 2
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
GroupOfPeople
の
instance
では %n
memberCount
AutonomousAgent
and 2
(=>
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
exists
(?SUBGROUP)
(
and
(
subCollection
?SUBGROUP ?GROUP)
(
memberCount
?SUBGROUP ?NUMBER)
(
memberType
?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22670-22676
memberTypeCount
コレクション
,
クラス
and
非負整数
コレクション
コレクション
は
コレクション
の 適切な
sub
-collection では %n
memberCount
コレクション
and
非負整数
memberType
コレクション
and
クラス
(=>
(
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
建物
and
整数
コレクション
オブジェクト
オブジェクト
は
BuildingLevel
の
instance
では %n
オブジェクト
は
建物
の
part
では %n
オブジェクト
は
コレクション
の
member
では %n
memberCount
コレクション
and
整数
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