Page |
appearance as argument number 1 |
(documentation Page EnglishLanguage "A single page of Text.") | Mid-level-ontology.kif 13674-13674 | |
(instance Page UnitOfInformation) | Mid-level-ontology.kif 13673-13673 |
appearance as argument number 2 |
(termFormat ChineseLanguage Page "页") | domainEnglishFormat.kif 43968-43968 | |
(termFormat ChineseTraditionalLanguage Page "頁") | domainEnglishFormat.kif 43967-43967 | |
(termFormat EnglishLanguage Page "page") | domainEnglishFormat.kif 43966-43966 |
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 |