Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| validityPeriod |
| appearance as argument number 1 |
|
| (instance validityPeriod BinaryPredicate) | Catalog.kif 233-233 | validity period is an instance of binary predicate |
| (documentation validityPeriod EnglishLanguage "(validityPeriod ?SCHEME ?TIMEINT) means that the CurrencyMeasure that PricingScheme refers to is valid for the given TimeInterval") | Catalog.kif 234-236 | validity period is an instance of binary predicate |
| (domain validityPeriod 1 PricingScheme) | Catalog.kif 239-239 | The number 1 argument of validity period is an instance of pricing scheme |
| (domain validityPeriod 2 TimeInterval) | Catalog.kif 240-240 | The number 2 argument of validity period is an instance of timeframe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage validityPeriod "validity period") | Catalog.kif 237-237 | |
| (format EnglishLanguage validityPeriod "%1 is valid during %2") | domainEnglishFormat.kif 4914-4914 | |
| (format ChineseTraditionalLanguage validityPeriod "%1 是 valid during %2 ") | domainEnglishFormat.kif 4915-4915 | |
| (format ChineseLanguage validityPeriod "%1 是 valid during %2 ") | domainEnglishFormat.kif 4916-4916 |
| 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 | If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, and Z is valid during T, then the statement S is an instance of selling, Y is an agent of S, and U is a patient of SW is a transaction amount of S has the modal force of likely holds during T |
|