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

Formal Language: 

KB Term:  Term intersection
English Word: 

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

appearance as argument number 2

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


    (releaseForSale ?OBJ ?AREA ?TIME)
        (ImmediateFutureFn ?TIME)
            (exists (?O ?B)
                    (instance ?O ?OBJ)
                    (instance ?B Buying)
                    (eventLocated ?B ?AREA)
                    (patient ?B ?O))) Possibility)))
Music.kif 1498-1508


    (albumRelease ?A ?T)
        (exists (?R1 ?DS1)
                (AlbumCopiesFn ?A ?DS1) ?R1 ?T))
            (exists (?B ?R2 ?DS2)
                    (before ?B ?T)
                        (AlbumCopiesFn ?A ?DS2) ?R2 ?B))))))
Music.kif 261-270
    (instance ?D Discography)
    (exists (?M ?AC)
            (instance ?M CognitiveAgent)
            (attribute ?M ?AC)
            (instance ?AC Musician)
            (forall (?X)
                    (member ?X ?D)
                    (exists (?I ?T ?R ?DS)
                            (musician ?X ?M ?I)
                                (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