TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation releaseForSale releaseForConsumption)	Music.kif 1496-1496	release for sale is a subrelation of release for consumption
(domainSubclass releaseForSale 1 Object)	Music.kif 1497-1497	The number 1 argument of release for sale is a subclass of object
(domain releaseForSale 2 GeographicArea)	Music.kif 1498-1498	The number 2 argument of release for sale is an instance of geographic area
(domain releaseForSale 3 TimePoint)	Music.kif 1499-1499	The number 3 argument of release for sale is an instance of time point
(instance releaseForSale TernaryRelation)	Music.kif 1501-1501	release for sale is an instance of ternary relation
(documentation releaseForSale EnglishLanguage "(releaseForSale ?OBJ ?AREA ?TIME) means that Object ?OBJ was released for sale in GeographicArea ?AREA at TimePoint ?TIME")	Music.kif 1502-1503	release for sale is an instance of ternary relation

appearance as argument number 2

(termFormat EnglishLanguage releaseForSale "release for sale")	Music.kif 1504-1504
(format EnglishLanguage releaseForSale "%1 was released for sale in %2 at %3")	domainEnglishFormat.kif 4376-4376
(format ChineseTraditionalLanguage releaseForSale "%1 是 released 對於 sale 在 %2 位於 %3 ")	domainEnglishFormat.kif 4377-4377
(format ChineseLanguage releaseForSale "%1 是 released 对于 sale 在 %2 位于 %3 ")	domainEnglishFormat.kif 4378-4378

antecedent

(=>
    (releaseForSale ?OBJ ?AREA ?TIME)
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (modalAttribute
            (exists (?O ?B)
                (and
                    (instance ?O ?OBJ)
                    (instance ?B Buying)
                    (eventLocated ?B ?AREA)
                    (patient ?B ?O))) Possibility)))

Music.kif 1507-1517

If X was released for sale in Y at Z, then the statement there exist W, V such that W is an instance of X, V is an instance of buying, V is located at Y, and W is a patient of V has the modal force of possibility holds during immediately after Z

consequent

(=> (instance ?D Discography) (exists (?M ?AC) (and (instance ?M CognitiveAgent) (attribute ?M ?AC) (instance ?AC Musician) (forall (?X) (=> (member ?X ?D) (exists (?I ?T ?R ?DS) (and (musician ?X ?M ?I) (releaseForSale (AlbumCopiesFn ?X ?DS) ?R ?T))))))))	Music.kif 67-80	If X is an instance of discography, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of cognitive agent (3) Z is an attribute of Y (4) Z is an instance of musician (5) W W is a member of Xthere exist V, U,, , T (6) S such that Y plays V in W (7) the set of copies on S of W was released for sale in T at U
(=> (albumRelease ?A ?T) (and (exists (?R1 ?DS1) (releaseForSale (AlbumCopiesFn ?A ?DS1) ?R1 ?T)) (not (exists (?B ?R2 ?DS2) (and (before ?B ?T) (releaseForSale (AlbumCopiesFn ?A ?DS2) ?R2 ?B))))))	Music.kif 261-270	If X was released on Y, then there exist Z and W such that the set of copies on W of X was released for sale in Z at Y and there don't exist V, U, T such that V happens before Y, and the set of copies on T of X was released for sale in U at V

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

KB Term:			Term intersection

English Word: