Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Bicep
|
|
|
| appearance as argument number 1 |
|
|
| (subclass HealthInsuranceCompany InsuranceCompany) | FinancialOntology.kif 428-428 | Health insurance company is a subclass of insurance company |
| (documentation HealthInsuranceCompany EnglishLanguage "A Business that insures Agents against health care costs for the payment of a premium or premiums.") | FinancialOntology.kif 429-430 | Health insurance company is a subclass of insurance company |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?I HealthInsuranceCompany) (customer ?I ?C)) (hasPurposeForAgent ?I ?C (exists (?D ?P) (and (or (instance ?D DiagnosticProcess) (instance ?D TherapeuticProcess)) (experiencer ?D ?C) (instance ?P Payment) (agent ?P ?I) (refers ?P ?D))))) |
FinancialOntology.kif 432-445 | If X is an instance of health insurance company and Y is a customer of X, then X has the purpose Y for there exist Z, W such that Z is an instance of diagnostic process or Z is an instance of therapeutic process, Y experiences Z, W is an instance of payment, X is an agent of W, and W includes a reference to Z |
|