Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OpenService(open service) |
| appearance as argument number 1 |
|
| (instance OpenService ServiceAttribute) | FinancialOntology.kif 4012-4012 | Open service is an instance of service attribute |
| (contraryAttribute OpenService ClosedService) | FinancialOntology.kif 4013-4013 | Open service is the opposite of closed service |
| (documentation OpenService EnglishLanguage "The attribute which describes services that are ready to transact business.") | FinancialOntology.kif 4014-4015 | Open service is the opposite of closed service |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?Transaction FinancialTransaction) (destination ?Transaction ?Agent)) (and (instance ?Service CommercialService) (agent ?Service ?Agent) (attribute ?Service OpenService))) |
FinancialOntology.kif 4017-4024 | If X is an instance of financial transaction and X ends up at Y, then Z is an instance of commercial service, Y is an agent of Z, and open service is an attribute of Z |
|