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 31589-31589
(subclass InvoiceNumber SymbolicString)	Mid-level-ontology.kif 31590-31590

appearance as argument number 2

(termFormat EnglishLanguage InvoiceNumber "invoice number")

domainEnglishFormat.kif 65068-65068

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 31592-31599