TreeView Knowledge Base Browser - AlbumCopiesFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AlbumCopiesFn

AlbumCopiesFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 925-927
No TPTP formula. May not be expressible in strict first order.	Music.kif 930-930	域 AlbumCopiesFn, 1 and Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 931-931	域子類 AlbumCopiesFn, 2 and DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Music.kif 924-924	例 AlbumCopiesFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Music.kif 932-932	範圍子類 AlbumCopiesFn and DataStorageDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2750-2750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2749-2749
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2748-2748
No TPTP formula. May not be expressible in strict first order.	Music.kif 928-928

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	Image 是在 Album 的 image 例 Object and Album 在 DataStorageDevice 的 set 複製包含 SelfConnectedObject and Object 模態屬性部分 Image and 面前 SelfConnectedObject and 容易
No TPTP formula. May not be expressible in strict first order.	Music.kif 936-946	等於 DataStorageDevice and Album 在 DataStorageDeviceS 的 set 複製例 DataStorageDevice and DataStorageDevice Object 在列表中 Object and Album ContentBearingObject 複製 ContentBearingObject and Object ContentBearingObject 是 stored 在 DataStorageDevice

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 261-270	Album 之前是在 TimePoint 被 released GeographicArea DataStorageDevice Album 在 DataStorageDevice 的 set 複製是 released 對於 sale 在 GeographicArea 位於 TimePoint TimePoint GeographicArea and DataStorageDevice 之前 TimePoint and TimePoint Album 在 DataStorageDevice 的 set 複製是 released 對於 sale 在 GeographicArea 位於 TimePoint
No TPTP formula. May not be expressible in strict first order.	Music.kif 67-80	例 Collection and Discography Human Attribute 例 Human and CognitiveAgent attribute Human and Attribute 例 Attribute and 音樂家 Album 會員 Album and Collection MakingMusic TimePoint, GeographicArea and CollectionS Human 表演了 Album Album 在 CollectionS 的 set 複製是 released 對於 sale 在 GeographicArea 位於 TimePoint

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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