validityPeriod - Sigma Knowledge base Browser

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	The number 1 argument of validityPeriod is an instance of PricingScheme
(domain validityPeriod 2 TimeInterval)	Catalog.kif 240-240	The number 2 argument of validityPeriod is an instance of time interval
(instance validityPeriod BinaryPredicate)	Catalog.kif 233-233	validityPeriod is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage validityPeriod "%1 是 valid during %2 ")	domainEnglishFormat.kif 4916-4916
(format ChineseTraditionalLanguage validityPeriod "%1 是 valid during %2 ")	domainEnglishFormat.kif 4915-4915
(format EnglishLanguage validityPeriod "%1 is valid during %2")	domainEnglishFormat.kif 4914-4914
(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

If publishedPrice a kind of entity, a currency measure, a cognitive agent and a PricingScheme or unitPrice a kind of entity, a function quantity, the cognitive agent and the PricingScheme and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and validityPeriod the PricingScheme and a time interval,
then the statement
- if a third entity is an instance of selling and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity,
- then transactionAmount the third entity and the currency measure
has the modal force of Likely holds during the time interval

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

KB Term:			Term intersection

English Word: