|
|
  Page
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Page EnglishLanguage "A single page of Text.") | Mid-level-ontology.kif 13702-13702 | |
| (instance Page UnitOfInformation) | Mid-level-ontology.kif 13701-13701 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Page "页") | domainEnglishFormat.kif 43970-43970 | |
| (termFormat ChineseTraditionalLanguage Page "頁") | domainEnglishFormat.kif 43969-43969 | |
| (termFormat EnglishLanguage Page "page") | domainEnglishFormat.kif 43968-43968 |
| 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 2173-2191 |
|
|
|