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 1492-1493
(instance releaseForSale TernaryRelation) Music.kif 1491-1491
(subrelation releaseForSale releaseForConsumption) Music.kif 1490-1490

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


(format EnglishLanguage releaseForSale "%1 was released for sale in %2 at %3") domainEnglishFormat.kif 1104-1104
(termFormat EnglishLanguage releaseForSale "release for sale") Music.kif 1494-1494

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

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