| 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 229-231 | |
| (domain validityPeriod 1 PricingScheme) | Catalog.kif 234-234 | validityPeriod 的 1 数量 是 PricingScheme 的 instance |
| (domain validityPeriod 2 TimeInterval) | Catalog.kif 235-235 | validityPeriod 的 2 数量 是 时距 的 instance |
| (instance validityPeriod BinaryPredicate) | Catalog.kif 228-228 | validityPeriod 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage validityPeriod "%1 是 valid during %2 ") | domainEnglishFormat.kif 4919-4919 | |
| (format ChineseTraditionalLanguage validityPeriod "%1 是 valid during %2 ") | domainEnglishFormat.kif 4918-4918 | |
| (format EnglishLanguage validityPeriod "%1 is valid during %2") | domainEnglishFormat.kif 4917-4917 | |
| (termFormat EnglishLanguage validityPeriod "validity period") | Catalog.kif 232-232 |
| 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 367-382 |
|
|
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