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

appearance as argument number 2

(termFormat EnglishLanguage InvoiceNumber "invoice number")

domainEnglishFormat.kif 65039-65039

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 31835-31842