![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LiteracyAttribute(literacy attribute) |
| appearance as argument number 1 |
|
|
| (subclass LiteracyAttribute TraitAttribute) | Mid-level-ontology.kif 16581-16581 | Literacy attribute is a subclass of trait attribute |
| (documentation LiteracyAttribute EnglishLanguage "If an individual has the attribute LiteracyAttribute, that individual is able to read and write.") | Mid-level-ontology.kif 16582-16583 | Literacy attribute is a subclass of trait attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 16575-16579 | Literacy attribute is an attribute of X if, only if X has the skill to do reading, and X has the skill to do writing |