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

Formal Language: 



KB Term:  Term intersection
English Word: 

  releaseForSale

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

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
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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