TreeView Knowledge Base Browser - albumCoverImage

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

albumCoverImage

Sigma KEE - albumCoverImage

albumCoverImage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 302-304
No TPTP formula. May not be expressible in strict first order.	Music.kif 307-307	The number 1 argument of album cover is an instance of album
No TPTP formula. May not be expressible in strict first order.	Music.kif 308-308	The number 2 argument of album cover is an instance of Image
No TPTP formula. May not be expressible in strict first order.	Music.kif 301-301	album cover is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2755-2755
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2754-2754
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2753-2753
No TPTP formula. May not be expressible in strict first order.	Music.kif 305-305

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 310-312	If an Image is the image on an album, then the Image expresses the album
No TPTP formula. May not be expressible in strict first order.	Music.kif 314-320	If an Image is the image on an album and an object is an instance of the set of copies on a kind of DataStorageDevice of the album and a self connected object contains the object, then the statement the Image is a part of the front of the self connected object has the modal force of likely

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