Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
DrawingACheck(drawing a check)
|
| appearance as argument number 1 |
|
| (subclass DrawingACheck UsingAnAccount) | FinancialOntology.kif 320-320 | Drawing a check is a subclass of using an account |
| (documentation DrawingACheck EnglishLanguage "An activity of paying by a check.") | FinancialOntology.kif 321-321 | Drawing a check is a subclass of using an account |
| (externalImage DrawingACheck "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") | pictureList.kif 8454-8454 | Drawing a check is a subclass of using an account |
| (externalImage DrawingACheck "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png") | pictureList.kif 9155-9155 | Drawing a check is a subclass of using an account |
| (externalImage DrawingACheck "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ BritishCheque.png") | pictureList.kif 9156-9156 | Drawing a check is a subclass of using an account |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Drawing DrawingACheck) (patient ?Drawing ?Check) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Drawing) ?DrawingTime) (equal (WhenFn ?Processing) ?ProcessingTime) (meetsTemporally ?DrawingTime ?Time) (meetsTemporally ?Time ?ProcessingTime) (duration ?Time (MeasureFn ?Duration MonthDuration))) (lessThan ?Duration 6)) |
FinancialOntology.kif 157-168 | If All of the following hold: (1) X is an instance of drawing a check (2) Y is a patient of X (3) Z is an instance of processing a check (4) Y is a patient of Z (5) equal the time of existence of X and W (6) equal the time of existence of Z and V (7) W meets U (8) U meets V (9) duration of U is T month duration(s), then T is less than 6 |
| (=> (and (instance ?Drawing DrawingACheck) (patient ?Drawing ?Check) (agent ?Drawing ?Agent) (checkAccount ?Check ?Account)) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 323-329 | If X is an instance of drawing a check, Y is a patient of X, Z is an agent of X, and W is a check account of Y, then Z holds account W |
|