Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ArchitectureFirm |
| appearance as argument number 1 |
|
| (documentation ArchitectureFirm EnglishLanguage "An architectural firm is a %&Business which employs one or more licensed %&Architect s and practices the profession of architecture.") | Society.kif 151-151 | |
| (subclass ArchitectureFirm Business) | Society.kif 153-153 | ArchitectureFirm is a subclass of business |
| antecedent |
|
|
| (=> (instance ?AF ArchitectureFirm) (exists (?A) (and (instance ?AF Business) (attribute ?A Architect) (employs ?AF ?A)))) |
Society.kif 155-161 | If X is an instance of ArchitectureFirm, then there exists Y such that X is an instance of business, architect is an attribute of Y, and X employs Y |
| (=> (instance ?AF ArchitectureFirm) (exists (?DATE ?F ?A) (and (attribute ?A Architect) (instance ?F Founding) (instance ?AF Business) (foundingdate ?AF ?DATE) (result ?F ?AF) (agent ?F ?A)))) |
Society.kif 286-295 | If X is an instance of ArchitectureFirm, then All of the following hold: (1) there exist Y, Z (2) W such that architect is an attribute of W (3) Z is an instance of founding (4) X is an instance of business (5) foundingdate X (6) Y (7) X is a result of Z (8) W is an agent of Z |
|