| appearance as argument number 1 |
|
| (documentation validityPeriod EnglishLanguage "(validityPeriod ?SCHEME ?TIMEINT) means that the CurrencyMeasure that PricingScheme refers to is valid for the given TimeInterval") | Catalog.kif 234-236 | |
| (domain validityPeriod 1 PricingScheme) | Catalog.kif 239-239 | Le nombre 1 argument de validityPeriod est une instance de PricingScheme |
| (domain validityPeriod 2 TimeInterval) | Catalog.kif 240-240 | Le nombre 2 argument de validityPeriod est une instance de interval temporel |
| (instance validityPeriod BinaryPredicate) | Catalog.kif 233-233 | validityPeriod est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage validityPeriod "%1 是 valid during %2 ") | domainEnglishFormat.kif 4912-4912 | |
| (format ChineseTraditionalLanguage validityPeriod "%1 是 valid during %2 ") | domainEnglishFormat.kif 4911-4911 | |
| (format EnglishLanguage validityPeriod "%1 is valid during %2") | domainEnglishFormat.kif 4910-4910 | |
| (termFormat EnglishLanguage validityPeriod "validity period") | Catalog.kif 237-237 |
| antecedent |
|
|
| (=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validityPeriod ?PS ?TIMEINT)) (holdsDuring ?TIMEINT (modalAttribute (=> (and (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?ITEM)) (transactionAmount ?S ?PRICE)) Likely))) |
Catalog.kif 372-387 |
|
|
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