Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Welfare(welfare) |  | dole, national_assistance, pogey, pogy, public_assistance, relief, social_assistance, social_insurance, social_welfare, supplementary_benefit, welfare |
| appearance as argument number 1 |
|
|
| (subclass Welfare Funding) | Mid-level-ontology.kif 8539-8539 | Welfare is a subclass of funding |
| (documentation Welfare EnglishLanguage "Any Funding which is provided by a ServiceOrganization to people in need.") | Mid-level-ontology.kif 8540-8541 | Welfare is a subclass of funding |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?W Welfare) (exists (?O) (and (instance ?O ServiceOrganization) (agent ?W ?O)))) |
Mid-level-ontology.kif 8543-8548 | If X is an instance of welfare, then there exists Y such that Y is an instance of service organization and Y is an agent of X |
|