TreeView 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
(domain validityPeriod 2 TimeInterval)	Catalog.kif 240-240
(instance validityPeriod BinaryPredicate)	Catalog.kif 233-233

appearance as argument number 2

(format ChineseLanguage validityPeriod "%1 是 valid during %2 ")	domainEnglishFormat.kif 4910-4910
(format ChineseTraditionalLanguage validityPeriod "%1 是 valid during %2 ")	domainEnglishFormat.kif 4909-4909
(format EnglishLanguage validityPeriod "%1 is valid during %2")	domainEnglishFormat.kif 4908-4908
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: