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
和
有认知的主事
是
那个 群体
的
member
和
另一个 有认知的主事
是
那个 群体
的
member
,
然后 有存在
公式
这样
那个 有认知的主事
desires
那个 公式
和
那个 另外 有认知的主事
desires
那个 公式
(=>
(
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
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
金融交易
的
instance
,
然后 有存在
符号串
和
实体
这样
那个 符号串
所描述的类别
instance
的数量
equal
在
那个 群体
裡購買的樣品數量
(=>
(
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
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
WebListing
的
instance
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
所描述的类别
instance
的数量 和
那个 群体
instance
的数量
equal
在
那个 群体
的
bids
數字
(=>
(
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
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
WebListing
的
instance
,
然后 有存在
符号串
,
实体
,, ,
另一个 实体
, and 和
那个 符号串
这样
那个 符号串
所描述的类别
instance
的数量
equal
在
那个 群体
的
bids
數字
(=>
(
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
和
WebSite
是
WebSite
的
instance
和
施事体
是
施事体
的
instance
和
WebListing
是
WebListing
的
instance
和
时点
是
时点
的
instance
和
那个 施事体
sells
那个 WebListing
和
那个 WebListing
不 是
那个 群体
的
member
和 对所有
物理
和
另一个 物理
如果
那个 物理
是
WebListing
的
instance
和
那个 物理
是 样品对于
sale
由
那个 施事体
在
那个 WebSite
的
member
和
那个 时点
时段 是
那个 物理
出现 的
time
时段 的一
part
和
那个 物理
不
equal
那个 WebListing
,
然后
那个 物理
是
那个 群体
的
member
和
如果
那个 另外 物理
是
那个 群体
的
member
,
然后
那个 时点
时段 是
那个 物理
出现 的
time
时段 的一
part
和
那个 另外 物理
是
WebListing
的
instance
,
然后 东西对于
sale
由
那个 施事体
非列在
那个 WebListing
在
那个 WebSite
期间
那个 时点
equal
那个 群体
(=>
(
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
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
CommonWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
EmmerWheatGrass
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
AegilopsTauschii
的
initially
part
(=>
(
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
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
DurumWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
TriticumUrartu
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
AegilopsSpeltoides
的
initially
part
(=>
(
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
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
EmmerWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
EinkornWheatGrass
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
AegilopsGrass
的
initially
part
(=>
(
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
和
Chromosome
是
那个 群体
的
member
类别 和
那个 群体
是
located
在
客体
和
那个 客体
是
细胞核
的
instance
和
那个 客体
是
真核细胞
的
part
和
Chromosome
是
那个 群体
的
member
和
另一个 Chromosome
是
那个 群体
的
member
和
那个 Chromosome
不
equal
那个 另外 Chromosome
,
然后
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
和
有点 复合物质
是
复合物质
的
subclass
和 不存在
另一个 客体
这样
那个 另外 客体
是
那个 有点 复合物质
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
molecularRatio
有点 元素物质
,
整数
and
那个 有点 复合物质
和
群体
是
群组
的
instance
和
第三 客体
是
那个 群体
的
member
和
那个 第三 客体
是
那个 客体
的
part
和
那个 第三 客体
是
有点 元素物质
的
instance
,
然后
那个 整数
是
那个 群体
的
member
计数
(=>
(
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
如果
过程
是
示范
的
instance
和
施事体
是
那个 过程
的
agent
和
有认知的主事
是
那个 施事体
的
member
和
另一个 有认知的主事
是
那个 施事体
的
member
,
然后 有存在
公式
这样
那个 有认知的主事
believes
那个 公式
和
那个 另外 有认知的主事
believes
那个 公式
(=>
(
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
和
Healthy
是
客体
的
attribute
和
那个 群体
是
那个 客体
的
part
和
物理
是
那个 群体
的
member
,
然后 有存在
那个 客体
AIR 这样
那个 客体
AIR 是
头发
的
instance
和
那个 客体
AIR 是
那个 群体
的
part
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
memberCount
?E 2))
Anatomy.kif 1450-1456
如果
群体
是
Eyebrow
的
instance
和
Healthy
是
客体
的
attribute
和
那个 群体
是
那个 客体
的
part
和
物理
是
那个 群体
的
member
,
然后 2 是
那个 群体
的
member
计数
(=>
(
and
(
instance
?F
ComputerDirectory
)
(
member
?M ?F))
(
instance
?M
ComputerFile
))
engineering.kif 1351-1355
如果
群体
是
电脑目录
的
instance
和
物理
是
那个 群体
的
member
,
然后
那个 物理
是
电脑文件
的
instance
(=>
(
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
如果
群体
是
军事力量
的
instance
和
施事体
是
人类
的
instance
和
过程
是
监禁
的
instance
和
那个 施事体
是
那个 群体
的
member
和
另一个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 过程
的
patient
和
enemy
那个 另外 施事体
and
那个 施事体
和
那个 过程
是
located
在
客体
和
战争状态
是
那个 客体
的
attribute
,
然后
战俘
是
那个 施事体
的
attribute
(=>
(
and
(
instance
?FS
FileSystem
)
(
member
?M ?FS))
(
instance
?M
ComputerFile
))
engineering.kif 1344-1348
如果
群体
是
文件系统
的
instance
和
物理
是
那个 群体
的
member
,
然后
那个 物理
是
电脑文件
的
instance
(=>
(
and
(
instance
?GOLGI
GolgiApparatus
)
(
member
?PART ?GOLGI))
(
instance
?PART
CellPart
))
VirusProteinAndCellPart.kif 1061-1065
如果
群体
是
高尔基体
的
instance
和
物理
是
那个 群体
的
member
,
然后
那个 物理
是
细胞部分
的
instance
(=>
(
and
(
instance
?GROUP
CellInternalMembraneGroup
)
(
member
?MEMBRANE ?GROUP))
(
instance
?MEMBRANE
CellMembraneInternal
))
VirusProteinAndCellPart.kif 1084-1088
如果
群体
是
细胞内膜组
的
instance
和
物理
是
那个 群体
的
member
,
然后
那个 物理
是
细胞膜内部
的
instance
(=>
(
and
(
instance
?GROUP
DramaticCast
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
holdsDuring
?T1
(
attribute
?MEM
Actor
)))
Mid-level-ontology.kif 18814-18820
如果
实体
是
戏剧性的演员
的
instance
和
另一个 实体
是
那个 实体
的
member
在
时间位置
holdsDuring
,
然后
Actor
是
那个 另外 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?GROUP
Group
)
(
member
?MEMB ?GROUP))
(
instance
?MEMB
AutonomousAgent
))
Merge.kif 16228-16232
如果
群体
是
群组
的
instance
和
物理
是
那个 群体
的
member
,
然后
那个 物理
是
施事体
的
instance
(=>
(
and
(
instance
?GROUP
GroupOfPeople
)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER
Human
))
Merge.kif 16238-16242
如果
群体
是
一群人
的
instance
和
物理
是
那个 群体
的
member
,
然后
那个 物理
是
人类
的
instance
(=>
(
and
(
instance
?GROUP
MusicalGroup
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
exists
(?M)
(
and
(
instance
?M
Musician
)
(
holdsDuring
?T1
(
attribute
?MEM ?M)))))
Media.kif 1771-1780
如果
实体
是
音乐团体
的
instance
和
另一个 实体
是
那个 实体
的
member
在
时间位置
holdsDuring
,
然后 有存在
第三 实体
这样
那个 第三 实体
是
音乐家
的
instance
和
那个 第三 实体
是
那个 另外 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
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
如果
群体
是
一群人
的
instance
和
有认知的主事
是
那个 群体
的
member
和
物理
是
那个 群体
的
member
和
那个 物理
是
人类宝贝
的
instance
和
那个 有认知的主事
是
人类成人
的
instance
和
实体
是
Crib
的
instance
,
然后
那个 有认知的主事
对
那个 实体
感兴趣
(=>
(
and
(
instance
?L
SportsLeague
)
(
member
?M ?L))
(
instance
?M
SportsTeam
))
Mid-level-ontology.kif 7023-7027
如果
群体
是
体育联盟
的
instance
和
物理
是
那个 群体
的
member
,
然后
那个 物理
是
运动队
的
instance
(=>
(
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
和
群体
是
群体
的
instance
和
物理
是
那个 群体
的
member
和
那个 物理
是事件
那个 过程
的
involved
和
整数
是
那个 群体
的
member
计数,
然后
那个 整数
是
greaterThan
10
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