member
(=>
(
and
(
instance
?CLUB
Club
)
(
member
?MEM1 ?CLUB)
(
member
?MEM2 ?CLUB))
(
exists
(?DESIRE)
(
and
(
desires
?MEM1 ?DESIRE)
(
desires
?MEM2 ?DESIRE))))
Mid-level-ontology.kif 944-952
コレクション
は
Club
の
instance
では %n
認識エージェント
は
コレクション
の
member
では %n
認識エージェント
は
コレクション
の
member
では %n
公式
認識エージェント
が
公式
を
desire
s %n{ない}
認識エージェント
が
公式
を
desire
s %n{ない}
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
FinancialTransaction
))))
(
exists
(?ITEM ?BUYING)
(
equal
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Physical
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?COLL)
(
patient
?BUYING ?ITEM))))
(
BoughtItemsFn
?COLL))))
UXExperimentalTerms.kif 2887-2903
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
金融取引
の
instance
では %n
記号文字列
エンティティー
記号文字列
で記述される
class
の
instances
の数 は
BoughtItemsFn
コレクション
と
equal
では %n
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
WebListing
の
instance
では %n
エンティティー
エンティティー
and
エンティティー
エンティティー
で記述される
class
の
instances
の数 +
コレクション
の
instances
の数 は
BidCountFn
コレクション
と
equal
では %n
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
exists
(?BIDDING ?ITEM ?LISTING ?BIDDING)
(
equal
(
CardinalityFn
(
KappaFn
?BIDDING
(
and
(
instance
?ITEM
Physical
)
(
instance
?LISTING
WebListing
)
(
instance
?BIDDING
Bidding
)
(
member
?LISTING ?COLL)
(
objectOfBid
?BIDDING ?ITEM)
(
patient
?LISTING ?ITEM))))
(
BidCountFn
?COLL))))
UXExperimentalTerms.kif 2922-2940
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
WebListing
の
instance
では %n
記号文字列
エンティティー
,
エンティティー
and
記号文字列
記号文字列
で記述される
class
の
instances
の数 は
BidCountFn
コレクション
と
equal
では %n
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
コレクション
は
コレクション
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebListing
は
WebListing
の
instance
では %n
時点
は
時点
の
instance
では %n
listingSeller
WebListing
and
AutonomousAgent
WebListing
は
コレクション
の
member
では
物理
物理
物理
は
WebListing
の
instance
では %n
物理
は
SellersItemsFn
AutonomousAgent
and
WebSite
の
member
では %n
時点
は
物理
の
time
の existence の
part
では %n
物理
は
WebListing
と
equal
では
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
時点
は
物理
の
time
の existence の
part
では %n
物理
は
WebListing
の
instance
では %n
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
時点
は
コレクション
と
equal
では %n
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
CommonWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EmmerWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsTauschii
))))
Economy.kif 3970-3985
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
CommonWheatGrass
の
part
では %n
コレクション
コレクション
,
オブジェクト
and
オブジェクト
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
EmmerWheatGrass
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
AegilopsTauschii
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
DurumWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
TriticumUrartu
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsSpeltoides
))))
Economy.kif 3911-3926
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
DurumWheatGrass
の
part
では %n
コレクション
コレクション
,
オブジェクト
and
オブジェクト
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
TriticumUrartu
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
AegilopsSpeltoides
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
EmmerWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EinkornWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsGrass
))))
Economy.kif 3879-3894
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
Chromosome
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
EmmerWheatGrass
の
part
では %n
コレクション
コレクション
,
オブジェクト
and
オブジェクト
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
EinkornWheatGrass
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
AegilopsGrass
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 719-731
コレクション
は
MonoploidChromosomeSet
の
instance
では %n
memberType
コレクション
and
Chromosome
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
CellNucleus
の
instance
では %n
オブジェクト
は
EukaryoticCell
の
part
では %n
Chromosome
は
コレクション
の
member
では %n
Chromosome
は
コレクション
の
member
では %n
Chromosome
は
Chromosome
と
equal
では
homologousChromosome
Chromosome
and
Chromosome
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
オブジェクト
は
合成物質
の
instance
では %n
合成物質
は
合成物質
の
subclass
では %n
オブジェクト
オブジェクト
は
合成物質
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
molecularRatio
単体
,
整数
and
合成物質
コレクション
は
グループ
の
instance
では %n
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
単体
の
instance
では %n
memberCount
コレクション
and
整数
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?G)
(
member
?A1 ?G)
(
member
?A2 ?G))
(
exists
(?P)
(
and
(
believes
?A1 ?P)
(
believes
?A2 ?P))))
MilitaryProcesses.kif 2673-2682
工程
は
Demonstration
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
は
AutonomousAgent
の
member
では %n
認識エージェント
は
AutonomousAgent
の
member
では %n
公式
認識エージェント
は
公式
を
believe
s %n{ない}
認識エージェント
は
公式
を
believe
s %n{ない}
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
exists
(?HAIR)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?E))))
Anatomy.kif 1458-1467
コレクション
は
Eyebrow
の
instance
では %n
Healthy
は
オブジェクト
の
attribute
では %n
コレクション
は
オブジェクト
の
part
では %n
物理
は
コレクション
の
member
では %n
オブジェクト
AIR
オブジェクト
AIR は
Hair
の
instance
では %n
オブジェクト
AIR は
コレクション
の
part
では %n
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
memberCount
?E 2))
Anatomy.kif 1450-1456
コレクション
は
Eyebrow
の
instance
では %n
Healthy
は
オブジェクト
の
attribute
では %n
コレクション
は
オブジェクト
の
part
では %n
物理
は
コレクション
の
member
では %n
memberCount
コレクション
and 2
(=>
(
and
(
instance
?F
ComputerDirectory
)
(
member
?M ?F))
(
instance
?M
ComputerFile
))
engineering.kif 1351-1355
コレクション
は
ComputerDirectory
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
ComputerFile
の
instance
では %n
(=>
(
and
(
instance
?F
MilitaryForce
)
(
instance
?P
Human
)
(
instance
?I
Imprisoning
)
(
member
?P ?F)
(
agent
?I ?E)
(
patient
?I ?P)
(
enemy
?E ?P)
(
eventLocated
?I ?LOC)
(
attribute
?LOC
WarState
))
(
attribute
?P
PrisonerOfWar
))
MilitaryPersons.kif 285-296
コレクション
は
MilitaryForce
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
工程
は
Imprisoning
の
instance
では %n
AutonomousAgent
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
patient
では %n
enemy
AutonomousAgent
and
AutonomousAgent
eventLocated
工程
and
オブジェクト
WarState
は
オブジェクト
の
attribute
では %n
PrisonerOfWar
は
AutonomousAgent
の
attribute
では %n
(=>
(
and
(
instance
?FS
FileSystem
)
(
member
?M ?FS))
(
instance
?M
ComputerFile
))
engineering.kif 1344-1348
コレクション
は
FileSystem
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
ComputerFile
の
instance
では %n
(=>
(
and
(
instance
?GOLGI
GolgiApparatus
)
(
member
?PART ?GOLGI))
(
instance
?PART
CellPart
))
VirusProteinAndCellPart.kif 1061-1065
コレクション
は
GolgiApparatus
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
CellPart
の
instance
では %n
(=>
(
and
(
instance
?GROUP
CellInternalMembraneGroup
)
(
member
?MEMBRANE ?GROUP))
(
instance
?MEMBRANE
CellMembraneInternal
))
VirusProteinAndCellPart.kif 1084-1088
コレクション
は
CellInternalMembraneGroup
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
CellMembraneInternal
の
instance
では %n
(=>
(
and
(
instance
?GROUP
DramaticCast
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
holdsDuring
?T1
(
attribute
?MEM
Actor
)))
Mid-level-ontology.kif 18814-18820
エンティティー
は
DramaticCast
の
instance
では %n
エンティティー
は
エンティティー
の
member
では %n は
時間位置
の
during
holds %n{ない}
Actor
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?GROUP
Group
)
(
member
?MEMB ?GROUP))
(
instance
?MEMB
AutonomousAgent
))
Merge.kif 16228-16232
コレクション
は
グループ
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
AutonomousAgent
の
instance
では %n
(=>
(
and
(
instance
?GROUP
GroupOfPeople
)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER
Human
))
Merge.kif 16238-16242
コレクション
は
GroupOfPeople
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
人[人間]
の
instance
では %n
(=>
(
and
(
instance
?GROUP
MusicalGroup
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
exists
(?M)
(
and
(
instance
?M
Musician
)
(
holdsDuring
?T1
(
attribute
?MEM ?M)))))
Media.kif 1771-1780
エンティティー
は
MusicalGroup
の
instance
では %n
エンティティー
は
エンティティー
の
member
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
Musician
の
instance
では %n
エンティティー
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?GRP
GroupOfPeople
)
(
member
?ADULT ?GRP)
(
member
?BABY ?GRP)
(
instance
?BABY
HumanBaby
)
(
instance
?ADULT
HumanAdult
)
(
instance
?CRIB
Crib
))
(
inScopeOfInterest
?ADULT ?CRIB))
Hotel.kif 1270-1278
コレクション
は
GroupOfPeople
の
instance
では %n
認識エージェント
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
物理
は
HumanBaby
の
instance
では %n
認識エージェント
は
HumanAdult
の
instance
では %n
エンティティー
は
Crib
の
instance
では %n
認識エージェント
は
エンティティー
に
interested
が %n
(=>
(
and
(
instance
?L
SportsLeague
)
(
member
?M ?L))
(
instance
?M
SportsTeam
))
Mid-level-ontology.kif 7023-7027
コレクション
は
SportsLeague
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
SportsTeam
の
instance
では %n
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 7940-7947
工程
は
LargeGroupProcess
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
物理
は
コレクション
の
member
では %n
involvedInEvent
工程
and
物理
memberCount
コレクション
and
整数
整数
は 10 より
greater
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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