InvoiceNumber(invoice number) |
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 | Invoice number is a subclass of symbolic string |
appearance as argument number 2 |
(termFormat EnglishLanguage InvoiceNumber "invoice number") | domainEnglishFormat.kif 65093-65093 |
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 |
|