TreeView Knowledge Base Browser

appearance as argument number 1

(subclass BargainSale Offering)	Mid-level-ontology.kif 9165-9165	Bargain sale is a subclass of offering
(documentation BargainSale EnglishLanguage "Offering to sell something to someone at a reduced price.")	Mid-level-ontology.kif 9166-9167	Bargain sale is a subclass of offering

appearance as argument number 2

(termFormat EnglishLanguage BargainSale "bargain sale")	domainEnglishFormat.kif 9910-9910
(termFormat ChineseTraditionalLanguage BargainSale "廉價出售")	domainEnglishFormat.kif 9911-9911
(termFormat ChineseLanguage BargainSale "廉价出售")	domainEnglishFormat.kif 9912-9912

antecedent

(=>
    (and
        (instance ?SALE BargainSale)
        (patient ?SALE ?OBJ)
        (instance ?OBJ Object))
    (exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
        (and
            (instance ?U UnitOfCurrency)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?SALE))
                (price ?OBJ
                    (MeasureFn ?PRICE1 ?U) ?AGENT1))
            (holdsDuring
                (WhenFn ?SALE)
                (price ?OBJ
                    (MeasureFn ?PRICE2 ?U) ?AGENT2))
            (lessThan ?PRICE2 ?PRICE1))))

Mid-level-ontology.kif 9169-9183

If X is an instance of bargain sale, Y is a patient of X, and Y is an instance of object, then there exist Z, W,, , V,, , U and T such that T is an instance of unit of currency and Y is price Z T(s) for V holds during immediately before the time of existence of X and Y is price W T(s) for U holds during the time of existence of X and W is less than Z

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: