Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InsuranceCompany(insurance company) |  | insurance_company, insurance_firm, insurance_underwriter, insurer, underwriter |
| appearance as argument number 1 |
|
|
| (subclass InsuranceCompany Business) | Mid-level-ontology.kif 8462-8462 | Insurance company is a subclass of business |
| (documentation InsuranceCompany EnglishLanguage "A Business that insures Agents for the payment of a premium or premiums.") | Mid-level-ontology.kif 8463-8464 | Insurance company is a subclass of business |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?I InsuranceCompany) (exists (?C) (insured ?C ?I))) |
Mid-level-ontology.kif 8466-8469 | If X is an instance of insurance company, then there exists Y such that X is an insured of Y |
|