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 1486-1487
(instance releaseForSale TernaryRelation) Music.kif 1485-1485 releaseForSale三元关系instance
(subrelation releaseForSale releaseForConsumption) Music.kif 1484-1484 releaseForSalereleaseForConsumptionsubrelation

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


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

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 1491-1501

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 258-267
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners