| 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 | releaseForSale 是 releaseForConsumption 的 subrelation |
| 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 |
| 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 1498-1508 |
| 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