TreeView Knowledge Base Browser - releaseForConsumption

appearance as argument number 1

(instance releaseForConsumption TernaryPredicate)	Music.kif 1476-1476	release for consumption is an instance of ternary predicate
(documentation releaseForConsumption EnglishLanguage "(releaseForConsumption ?OBJ ?AREA ?TIME) means that Object ?OBJ was release for some type of consumption - like watching, eating, listening, reading, etc - in GeographicArea ?AREA at TimePoint ?TIME")	Music.kif 1477-1479	release for consumption is an instance of ternary predicate
(domainSubclass releaseForConsumption 1 Object)	Music.kif 1482-1482	The number 1 argument of release for consumption is a subclass of object
(domain releaseForConsumption 2 GeographicArea)	Music.kif 1483-1483	The number 2 argument of release for consumption is an instance of geographic area
(domain releaseForConsumption 3 TimePoint)	Music.kif 1484-1484	The number 3 argument of release for consumption is an instance of time point

appearance as argument number 2

(termFormat EnglishLanguage releaseForConsumption "release for consumption")	Music.kif 1480-1480
(subrelation releaseForSale releaseForConsumption)	Music.kif 1496-1496	release for sale is a subrelation of release for consumption
(format EnglishLanguage releaseForConsumption "%1 was released for consumption in %2 at %3")	domainEnglishFormat.kif 4372-4372	release for sale is a subrelation of release for consumption
(format ChineseTraditionalLanguage releaseForConsumption "%1 是 released 對於 consumption 在 %2 位於 %3 ")	domainEnglishFormat.kif 4373-4373	release for sale is a subrelation of release for consumption
(format ChineseLanguage releaseForConsumption "%1 是 released 对于 consumption 在 %2 位于 %3 ")	domainEnglishFormat.kif 4374-4374	release for sale is a subrelation of release for consumption

antecedent

(=>
    (releaseForConsumption ?OBJ ?AREA ?TIME)
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (exists (?P ?O)
            (and
                (instance ?O ?OBJ)
                (patient ?P ?O)
                (eventLocated ?P ?AREA)))))

Music.kif 1486-1494

If X was released for consumption in Y at Z, then there exist W, V such that V is an instance of X, V is a patient of W, and W is located at Y holds during immediately after Z

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

KB Term:			Term intersection

English Word: