Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Architect(architect) |  | landscape_architect, landscape_gardener, landscaper, landscapist |
| appearance as argument number 1 |
|
|
| (instance Architect Profession) | Biography.kif 385-385 | Architect is an instance of profession |
| (documentation Architect EnglishLanguage "An architect is a person trained in Architecture, the planning, design and oversight of the construction of Buildings.") | Biography.kif 386-386 | Architect is an instance of profession |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?PERSON Architect) (hasExpertise ?PERSON Architecture)) |
Biography.kif 388-390 | If architect is an attribute of X, then architecture has an expertise in X |
| consequent |
|
|
| (=> (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 |
|