![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Carpenter
|
|
|
| appearance as argument number 1 |
|
|
| (instance Carpenter OccupationalTrade) | Mid-level-ontology.kif 23022-23022 | Carpenter is an instance of occupational trade |
| (documentation Carpenter EnglishLanguage "Any occupation that involves creating and repairing structural and decorative portions of Buildings that are made chiefly of Wood. This does not include plumbing, roofing, electrical, foundation and site work.") | Mid-level-ontology.kif 23023-23025 | Carpenter is an instance of occupational trade |
| (externalImage Carpenter "http://articulatesoftware.com/SUMOpictures/working/ construction/ workers/ Carpenter_11.png") | pictureList.kif 324-324 | Carpenter is an instance of occupational trade |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?P Carpenter) (hasSkill Carpentry ?P)) |
Mid-level-ontology.kif 23027-23029 | If carpenter is an attribute of X, then X has the skill to do carpentry |