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
例
Collection
and
Club
會員
CognitiveAgent
and
Collection
會員
CognitiveAgent
and
Collection
Formula
慾望
CognitiveAgent
and
Formula
慾望
CognitiveAgent
and
Formula
(=>
(
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
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
FinancialTransaction
SymbolicString
entity
等於
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Physical
例
entity
and
Buying
會員
entity
and
Collection
患者
entity
and
SymbolicString
and 在
Collection
裡購買的樣品數量
(=>
(
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
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
WebListing
等於
部
基數
entity
entity
and
entity
卡帕
entity
and
例
entity
and
WebListing
例
entity
and
WebSite
例
entity
and
Physical
會員
entity
and
Collection
患者
entity
and
entity
entity
是在
entity
hosted
entity
例
entity
and
Buying
患者
entity
and
entity
entity
facilitates
entity
and
基數
Collection
and 在
Collection
的
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
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
WebListing
SymbolicString
entity
,
entity
and
SymbolicString
等於
基數
卡帕
SymbolicString
and
例
entity
and
Physical
例
entity
and
WebListing
例
SymbolicString
and
Bidding
會員
entity
and
Collection
SymbolicString
是個
bid
對於
entity
患者
entity
and
entity
and 在
Collection
的
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
例
Collection
and
Collection
例
WebSite
and
WebSite
例
AutonomousAgent
and
AutonomousAgent
例
WebListing
and
WebListing
例
TimePoint
and
TimePoint
AutonomousAgent
sells
WebListing
會員
WebListing
and
Collection
Physical
Physical
例
Physical
and
WebListing
會員
Physical
and 樣品對於
sale
由
AutonomousAgent
在
WebSite
時間部分
TimePoint
and
何時
Physical
等於
Physical
and
WebListing
會員
Physical
and
Collection
會員
Physical
and
Collection
時間部分
TimePoint
and
何時
Physical
例
Physical
and
WebListing
等於
東西對於
sale
由
AutonomousAgent
非列在
WebListing
在
WebSite
期間
TimePoint
and
Collection
(=>
(
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
CommonWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
EmmerWheatGrass
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
DurumWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
TriticumUrartu
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
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
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
EmmerWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
EinkornWheatGrass
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
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 718-730
例
Collection
and
MonoploidChromosomeSet
Chromosome
是
Collection
的
member
類別
位於
Collection
and
Object
例
Object
and
細胞核
部分
Object
and
真核細胞
會員
Chromosome
and
Collection
會員
Chromosome
and
Collection
等於
Chromosome
and
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 1778-1792
例
Object
and
CompoundSubstance
子類
CompoundSubstance
and
CompoundSubstance
Object
例
Object
and
CompoundSubstance
部分
Object
and
Object
molecularRatio
ElementalSubstance
,
Integer
and
CompoundSubstance
例
Collection
and
Group
會員
Object
and
Collection
部分
Object
and
Object
例
Object
and
ElementalSubstance
Integer
是
Collection
的
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
例
Process
and
示範
agent
Process
and
AutonomousAgent
會員
CognitiveAgent
and
AutonomousAgent
會員
CognitiveAgent
and
AutonomousAgent
Formula
相信
CognitiveAgent
and
Formula
相信
CognitiveAgent
and
Formula
(=>
(
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
例
Collection
and
Eyebrow
attribute
Object
and
Healthy
部分
Collection
and
Object
會員
Physical
and
Collection
Object
AIR
例
Object
AIR and
頭髮
部分
Object
AIR and
Collection
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
memberCount
?E 2))
Anatomy.kif 1450-1456
例
Collection
and
Eyebrow
attribute
Object
and
Healthy
部分
Collection
and
Object
會員
Physical
and
Collection
2 是
Collection
的
member
計數
(=>
(
and
(
instance
?F
ComputerDirectory
)
(
member
?M ?F))
(
instance
?M
ComputerFile
))
engineering.kif 1351-1355
例
Collection
and
電腦目錄
會員
Physical
and
Collection
例
Physical
and
電腦文件
(=>
(
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
例
Collection
and
軍事力量
例
AutonomousAgent
and
Human
例
Process
and
監禁
會員
AutonomousAgent
and
Collection
agent
Process
and
AutonomousAgent
患者
Process
and
AutonomousAgent
enemy
AutonomousAgent
and
AutonomousAgent
Process
是
located
在
Object
attribute
Object
and
戰爭狀態
attribute
AutonomousAgent
and
戰俘
(=>
(
and
(
instance
?FS
FileSystem
)
(
member
?M ?FS))
(
instance
?M
ComputerFile
))
engineering.kif 1344-1348
例
Collection
and
文件系統
會員
Physical
and
Collection
例
Physical
and
電腦文件
(=>
(
and
(
instance
?GOLGI
GolgiApparatus
)
(
member
?PART ?GOLGI))
(
instance
?PART
CellPart
))
VirusProteinAndCellPart.kif 1060-1064
例
Collection
and
高爾基體
會員
Physical
and
Collection
例
Physical
and
細胞部分
(=>
(
and
(
instance
?GROUP
CellInternalMembraneGroup
)
(
member
?MEMBRANE ?GROUP))
(
instance
?MEMBRANE
CellMembraneInternal
))
VirusProteinAndCellPart.kif 1083-1087
例
Collection
and
細胞內膜組
會員
Physical
and
Collection
例
Physical
and
細胞膜內部
(=>
(
and
(
instance
?GROUP
DramaticCast
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
holdsDuring
?T1
(
attribute
?MEM
Actor
)))
Mid-level-ontology.kif 18813-18819
例
Entity
and
戲劇性的演員
持有期間
TimePosition
and
會員
entity
and
Entity
持有期間
TimePosition
and
attribute
entity
and
Actor
(=>
(
and
(
instance
?GROUP
Group
)
(
member
?MEMB ?GROUP))
(
instance
?MEMB
AutonomousAgent
))
Merge.kif 16250-16254
例
Collection
and
Group
會員
Physical
and
Collection
例
Physical
and
AutonomousAgent
(=>
(
and
(
instance
?GROUP
GroupOfPeople
)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER
Human
))
Merge.kif 16260-16264
例
Collection
and
一群人
會員
Physical
and
Collection
例
Physical
and
Human
(=>
(
and
(
instance
?GROUP
MusicalGroup
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
exists
(?M)
(
and
(
instance
?M
Musician
)
(
holdsDuring
?T1
(
attribute
?MEM ?M)))))
Media.kif 1771-1780
例
Entity
and
音樂團體
持有期間
TimePosition
and
會員
entity
and
Entity
Entity
例
Entity
and
音樂家
持有期間
TimePosition
and
attribute
entity
and
Entity
(=>
(
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
例
Collection
and
一群人
會員
CognitiveAgent
and
Collection
會員
Physical
and
Collection
例
Physical
and
人類寶貝
例
CognitiveAgent
and
人類成人
例
Entity
and
Crib
在感興趣的範圍內
CognitiveAgent
and
Entity
(=>
(
and
(
instance
?L
SportsLeague
)
(
member
?M ?L))
(
instance
?M
SportsTeam
))
Mid-level-ontology.kif 7022-7026
例
Collection
and
體育聯盟
會員
Physical
and
Collection
例
Physical
and
運動隊
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 7939-7946
例
Process
and
LargeGroupProcess
例
Collection
and
Collection
會員
Physical
and
Collection
Physical
是事件
Process
的
involved
Integer
是
Collection
的
member
計數
比較多
Integer
and 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