(=>
(instance ?NUMBER AccountNumber)
(exists (?CORPORATION ?AGENT ?HUMAN)
(and
(instance ?CORPORATION Corporation)
(instance ?AGENT AutonomousAgent)
(uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER)))) |
Mid-level-ontology.kif 32529-32535 |
If X is an instance of account number, then there exist Y, Z, W such that Y is an instance of corporation, Z is an instance of agent, and X is a unique ID for W with respect to Y |
(=>
(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 |
(=>
(instance ?AN PurchaseOrderNumber)
(exists (?PO ?BUYER ?SELLER ?ENT)
(and
(instance ?PO PurchaseOrder)
(buys ?BUYER ?SELLER ?ENT)
(uniqueIdWithRespectTo ?PO ?BUYER ?AN)))) |
Mid-level-ontology.kif 32613-32619 |
If X is an instance of purchase order number, then there exist Y, Z,, , W, V such that Y is an instance of purchase order, Z buys V from W, and X is a unique ID for Z with respect to Y |
