|
|
   InvoiceNumber
|
|
|
| appearance as argument number 1 |
|
|
| (documentation InvoiceNumber EnglishLanguage "A SymbolicString for an Invoice which is unique to Seller.") | Mid-level-ontology.kif 29926-29926 | |
| (subclass InvoiceNumber SymbolicString) | Mid-level-ontology.kif 29927-29927 | InvoiceNumber 是 符号串 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage InvoiceNumber "invoice number") | domainEnglishFormat.kif 65045-65045 |
| 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 29929-29936 |
|
|
|