TreeView Knowledge Base Browser

appearance as argument number 1

(documentation releaseForSale EnglishLanguage "(releaseForSale ?OBJ ?AREA ?TIME) means that Object ?OBJ was released for sale in GeographicArea ?AREA at TimePoint ?TIME")	Music.kif 1487-1488
(instance releaseForSale TernaryRelation)	Music.kif 1486-1486	release for sale is an instance of ternary relation
(subrelation releaseForSale releaseForConsumption)	Music.kif 1485-1485	release for sale is a subrelation of release for consumption

appearance as argument number 2

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

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 1492-1502

If a kind of object was released for sale in a geographic area at a time position,
then the statement there exist an entity and another entity such that the entity is an instance of a kind of object and the other entity is an instance of buying and the other entity is located at 2 and the entity is a patient of the other entity has the modal force of possibility holds during immediately after the time position

consequent

(=> (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 259-268	If an album was released on a time point, then there exist a geographic area and a kind of DataStorageDevice such that the set of copies on a kind of DataStorageDevice of the album was released for sale in the geographic area at the time point and there don't exist another time point, another geographic area and another kind of DataStorageDevice such that the other time point happens before the time point and the set of copies on another kind of DataStorageDevice of the album was released for sale in the other geographic area at the other time point
(=> (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 a collection is an instance of discography, then there exist a human and an attribute such that the human is an instance of cognitive agent and the attribute is an attribute of the human and the attribute is an instance of musician and for all an album if the album is a member of the collection, then there exist a kind of making music, an entity,, , a geographic area and the collectionS such that the human performed the album and the set of copies on the collectionS of the album was released for sale in the geographic area at the entity

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

KB Term:			Term intersection

English Word: