(=>
(and
(instance ?VISITS Collection)
(instance ?PURCHASES Collection)
(subCollection ?PURCHASES ?VISITS)
(forall (?MEMBER)
(=>
(member ?MEMBER ?VISITS)
(instance ?MEMBER AccessingWebPage)))
(forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(and
(instance ?VISITOR Human)
(instance ?BUYING Buying)
(instance ?ACCESSING AccessingWebPage)
(instance ?PAGE WebPage)
(member ?ACCESSING ?VISITS)
(destination ?ACCESSING ?PAGE)
(agent ?BUYING ?VISITOR)
(agent ?ACCESSING ?VISITOR)
(during
(WhenFn ?BUYING)
(WhenFn ?ACCESSING))
(instrument ?BUYING ?PAGE))
(member ?BUYING ?PURCHASES))))
(exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(equal
(SCRFn ?VISITS ?INTERVAL)
(DivisionFn
(CardinalityFn
(KappaFn ?PURCHASE_IN_INTERVAL
(and
(member ?PURCHASE_IN_INTERVAL ?PURCHASES)
(during
(WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(CardinalityFn
(KappaFn ?VISIT_IN_INTERVAL
(and
(member ?VISIT_IN_INTERVAL ?VISITS)
(during
(WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))))))) |
UXExperimentalTerms.kif 3668-3704 |
- Wenn Collection ist ein fall von Collection %n{nicht} und ** Collection ist ein fall von Collection %n{nicht} und ** ** Collection ist eine korrekte teilsammlung von ** Collection %n{nicht} und fuer alle Physical und fuer alle Process, AutonomousAgent,, , ** Process,, , ** Process, and und Object ,
- dann es gibt TimeInterval, entity_IN_INTERVAL, and und ** entity_IN_INTERVAL um SCRFn ** Collection and ** TimeInterval ist gleich die Zahl Faellen in die kategorie die ** entity_IN_INTERVAL beschreibt und die Zahl Faellen in die kategorie die ** ** entity_IN_INTERVAL beschreibt %n{nicht}
|