Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - releaseForSale
releaseForSale

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 1494-1495
(instance releaseForSale TernaryRelation) Music.kif 1493-1493 releaseForSale三元关系instance
(subrelation releaseForSale releaseForConsumption) Music.kif 1492-1492 releaseForSalereleaseForConsumptionsubrelation

appearance as argument number 2
-------------------------


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

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 1499-1509

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 261-270
(=>
    (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


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



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