buys
|
|
Sigma KEE - buys
appearance as argument number 1
|
|
appearance as argument number 2
|
|
antecedent
|
|
consequent
|
|
(=>
(instance ?AN PurchaseOrderNumber)
(exists (?PO ?BUYER ?SELLER ?ENT)
(and
(instance ?PO PurchaseOrder)
(buys ?BUYER ?SELLER ?ENT)
(uniqueIdWithRespectTo ?PO ?BUYER ?AN)))) |
Mid-level-ontology.kif 30038-30044 |
|
(=>
(instance ?INVOICE Invoice)
(exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
(and
(uniqueIdentifier ?NUMBER ?INVOICE)
(buys ?BUYER ?SELLER ?ENT)
(confersRight
(exists (?SELLING)
(and
(before
(BeginFn
(WhenFn ?INVOICE))
(BeginFn
(WhenFn ?SELLING)))
(instance ?SELLING Selling)
(instance ?PRODUCT Product)
(objectTransferred ?SELLING ?PRODUCT)
(refers ?INVOICE ?PRODUCT)
(agent ?SELLING ?SELLER)
(patient ?SELLING ?BUYER))) ?SELLER ?BUYER)))) |
Mid-level-ontology.kif 29892-29912 |
- Wenn Entity ist ein fall von Invoice %n{nicht},
- dann es gibt SymbolicString, CognitiveAgent,, , AutonomousAgent,, , ** Entity, and und ** entity um der einzigartige bezeichner von ** SymbolicString ist ** Entity und buys ** CognitiveAgent, ** AutonomousAgent and ** ** Entity und ** AutonomousAgent erlaubt ** CognitiveAgent, die Aufgabe der Art von es gibt ** entity um der anfang von die zeit des Bestehens von ** Entity geschieht vor der anfang von die zeit des Bestehens von ** ** entity %n{nicht} und ** ** entity ist ein fall von Selling %n{nicht} und ** ** entity ist ein fall von Product %n{nicht} und objectTransferred ** ** entity and ** ** entity und ** Entity umfasst einen hinweis auf ** ** entity und ** ** entity ist der agent von ** AutonomousAgent %n{nicht} und ** CognitiveAgent ist ein patient von ** ** entity %n{nicht} durchzuf�hren %n{nicht}
|
(=>
(instance ?PO PurchaseOrder)
(exists (?NUMBER ?BUYER ?SELLER ?PRODUCT)
(and
(uniqueIdentifier ?NUMBER ?PO)
(buys ?BUYER ?SELLER ?PRODUCT)
(confersObligation
(exists (?BUYING)
(and
(before
(BeginFn
(WhenFn ?PO))
(BeginFn
(WhenFn ?BUYING)))
(instance ?BUYING Buying)
(instance ?PRODUCT Product)
(objectTransferred ?BUYING ?PRODUCT)
(refers ?PO ?PRODUCT)
(agent ?BUYING ?BUYER)
(patient ?BUYING ?SELLER))) ?BUYER ?SELLER)))) |
Mid-level-ontology.kif 29919-29939 |
|
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|