![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
ListFn__7Fn__0En1En2Re3Ra4En5En6In7InFn
|
|
|
| appearance as argument number 1 |
|
|
| (instance Accountant Profession) | Mid-level-ontology.kif 23345-23345 | Accountant is an instance of profession |
| (documentation Accountant EnglishLanguage "The Profession of being an Accountant.") | Mid-level-ontology.kif 23346-23346 | Accountant is an instance of profession |
| (externalImage Accountant "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ Fuggerkontor.jpg") | pictureList.kif 9869-9869 | Accountant is an instance of profession |
| (externalImage Accountant "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Haushaltsbuch_1933.jpg") | pictureList.kif 10353-10353 | Accountant is an instance of profession |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?X Accountant) (capability Calculating agent ?X)) |
Mid-level-ontology.kif 23348-23350 | If accountant is an attribute of X, then X is capable of doing calculating as a agent |