InvoiceNumber - Sigma Knowledge base Browser

appearance as argument number 1

(documentation InvoiceNumber EnglishLanguage "A SymbolicString for an Invoice which is unique to Seller.")	Mid-level-ontology.kif 30195-30195
(subclass InvoiceNumber SymbolicString)	Mid-level-ontology.kif 30196-30196

appearance as argument number 2

(termFormat EnglishLanguage InvoiceNumber "invoice number")

domainEnglishFormat.kif 65070-65070

antecedent

(=>
    (instance ?AN InvoiceNumber)
    (exists (?INVOICE ?SELLER ?SELLING)
        (and
            (instance ?INVOICE Invoice)
            (instance ?SELLING Selling)
            (agent ?SELLING ?SELLER)
            (uniqueIdWithRespectTo ?INVOICE ?SELLER ?AN))))

Mid-level-ontology.kif 30198-30205