Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Page(page) |  | foldout, gatefold, page, sports_page |
| appearance as argument number 1 |
|
|
| (instance Page UnitOfInformation) | Mid-level-ontology.kif 15269-15269 | Page is an instance of unit of information |
| (documentation Page EnglishLanguage "A single page of Text.") | Mid-level-ontology.kif 15270-15270 | Page is an instance of unit of information |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (userDatabase ?DATABASE ?WEBSITE) (exists (?PART ?USERS) (and (instance ?USERS Collection) (part ?PART ?DATABASE) (represents ?PART ?USERS) (forall (?MEMBER) (=> (member ?MEMBER ?USERS) (and (instance ?MEMBER AutonomousAgent) (exists (?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (patient ?ACCESSING Page) (agent ?ACCESSING AutonomousAgent) (component ?PAGE ?WEBSITE))))))))) |
UXExperimentalTerms.kif 2174-2192 | If X is the user database for Y, then All of the following hold: (1) there exist Z (2) W such that W is an instance of collection (3) Z is a part of X (4) Z expresses W (5) V V is a member of WV is an instance of agent (6) there exist U (7) T such that U is an instance of accessing web page (8) T is an instance of web page (9) page is a patient of U (10) agent is an agent of U (11) T is a component of Y |
|