Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GeniusBar(Genius Bar) |
| appearance as argument number 1 |
|
| (subclass GeniusBar StationaryArtifact) | ComputingBrands.kif 2994-2994 | Genius Bar is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GeniusBar "Genius Bar") | domainEnglishFormat.kif 64932-64932 |
| antecedent |
|
|
| (=> (instance ?G GeniusBar) (hasPurpose ?G (exists (?M ?CS) (and (employs ?M AppleComputerCorporation) (instance ?CS CustomerSupport) (agent ?CS ?M) (located ?CS ?G))))) |
ComputingBrands.kif 2995-3003 | If X is an instance of Genius Bar, then X has the purpose there exist Y, Z such that Y employs Apple, Z is an instance of customer support, Y is an agent of Z, and Z is located at X |
|