Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Dressmaker(dressmaker) |  | dressmaker, modiste, needlewoman, seamstress, sempstress |
| appearance as argument number 1 |
|
|
| (instance Dressmaker SkilledOccupation) | Society.kif 1428-1428 | Dressmaker is an instance of skilled occupation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Dressmaker "dressmaker") | domainEnglishFormat.kif 64793-64793 |
| antecedent |
|
|
| (=> (attribute ?PERSON Dressmaker) (hasSkill Sewing ?PERSON)) |
Society.kif 1429-1431 | If dressmaker is an attribute of X, then X has the skill to do sewing |
|