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	O argumento numero 1 de AlbumCopiesFn e' uma instancia de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 931-931	O argumento numero 2 de AlbumCopiesFn e' uma sub-classe de DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Music.kif 924-924	AlbumCopiesFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Music.kif 932-932	Os valores retornados por AlbumCopiesFn sao as sub-classes de 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	albumCoverImage Album and Image Objeto e' uma instancia de AlbumCopiesFn Album and DataStorageDevice Objeto auto-conectado contem Objeto o argumento Image e' uma &parte de afrente de Objeto auto-conectado tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Music.kif 936-946	DataStorageDevice e' igual a AlbumCopiesFn Album and DataStorageDeviceS DataStorageDevice e' uma instancia de DataStorageDevice Objeto Objeto e' um membro de Album Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma copia exata de Objeto stored Objeto Representendo Conteudo Abstrato and DataStorageDevice

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 261-270	albumRelease Album and Ponto no tempo Area Geografica DataStorageDevice releaseForSale AlbumCopiesFn Album and DataStorageDevice, Area Geografica and Ponto no tempo Ponto no tempo Area Geografica and DataStorageDevice Ponto no tempo comeca antes de Ponto no tempo releaseForSale AlbumCopiesFn Album and DataStorageDevice, Area Geografica and Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Music.kif 67-80	Colecao e' uma instancia de Discography Humano Atributo Humano e' uma instancia de Agente Cognitivo Atributo e' um atributo de Humano Atributo e' uma instancia de Musician Album Album e' membro de Colecao MakingMusic Ponto no tempo, Area Geografica and ColecaoS musician Album, Humano and MakingMusic releaseForSale AlbumCopiesFn Album and ColecaoS, Area Geografica and Ponto no tempo

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