Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 32537-32537 | |
| (subclass InvoiceNumber SymbolicString) | Mid-level-ontology.kif 32538-32538 | Invoice number is a subclass of symbolic string |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage InvoiceNumber "invoice number") | domainEnglishFormat.kif 65048-65048 |
| 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 32540-32547 | If X is an instance of invoice number, then there exist Y, Z, W such that Y is an instance of invoice, W is an instance of selling, Z is an agent of W, and X is a unique ID for Z with respect to Y |
|