TreeView Knowledge Base Browser

appearance as argument number 1

(documentation SellersItemsFn EnglishLanguage "(SellersItemsFn ?AGENT ?SITE) is a BinaryFunction that returns a Collection of the items for sale by ?AGENT on the WebSite ?SITE")	UXExperimentalTerms.kif 989-990
(domain SellersItemsFn 1 AutonomousAgent)	UXExperimentalTerms.kif 981-981	Le nombre 1 argument de SellersItemsFn est une instance de AutonomousAgent
(domain SellersItemsFn 2 WebSite)	UXExperimentalTerms.kif 983-983	Le nombre 2 argument de SellersItemsFn est une instance de WebSite
(instance SellersItemsFn BinaryFunction)	UXExperimentalTerms.kif 979-979	SellersItemsFn est une instance de fonction binaire
(range SellersItemsFn Collection)	UXExperimentalTerms.kif 985-985	Le domaine de SellersItemsFn est une instance de collection

appearance as argument number 2

(format ChineseLanguage SellersItemsFn "样品对于 sale 由 %1 在 %2 ")	domainEnglishFormat.kif 4482-4482
(format ChineseTraditionalLanguage SellersItemsFn "樣品對於 sale 由 %1 在 %2 ")	domainEnglishFormat.kif 4481-4481
(format EnglishLanguage SellersItemsFn "items for sale by %1 at %2")	domainEnglishFormat.kif 4480-4480
(termFormat EnglishLanguage SellersItemsFn "sellers items")	UXExperimentalTerms.kif 987-987

antecedent

(=>
    (and
        (instance ?COLL Collection)
        (instance ?SITE WebSite)
        (instance ?AGENT AutonomousAgent)
        (instance ?LISTING WebListing)
        (instance ?TIME TimePoint)
        (listingSeller ?LISTING ?AGENT)
        (not
            (member ?LISTING ?COLL))
        (forall (?ITEM ?MEMBER)
            (and
                (=>
                    (and
                        (instance ?ITEM WebListing)
                        (member ?ITEM
                            (SellersItemsFn ?AGENT ?SITE))
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (not
                            (equal ?ITEM ?LISTING)))
                    (member ?ITEM ?COLL))
                (=>
                    (member ?MEMBER ?COLL)
                    (and
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (instance ?MEMBER WebListing))))))
    (equal
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))

UXExperimentalTerms.kif 1033-1060

Collection est une instance de collection WebSite est une instance de WebSite AutonomousAgent est une instance de AutonomousAgent WebListing est une instance de WebListing point temporel est une instance de point temporel listingSeller WebListing and AutonomousAgent WebListing est un membre de collection physique physique
- physique est une instance de WebListing physique est un membre de SellersItemsFn AutonomousAgent and WebSite point temporel est une partie de temps d'existence de physique physique est WebListing
- physique est un membre de collection
- physique est un membre de collection
- point temporel est une partie de temps d'existence de physique physique est une instance de WebListing
SellersOtherItemsFn AutonomousAgent, WebSite, WebListing and point temporel est collection

consequent

(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?SITE WebSite))
    (exists (?COLL)
        (and
            (instance ?COLL Collection)
            (forall (?LISTING)
                (=>
                    (and
                        (instance ?LISTING WebListing)
                        (hostedOn ?LISTING ?SITE)
                        (listingSeller ?LISTING ?AGENT))
                    (member ?LISTING ?COLL)))
            (equal
                (SellersItemsFn ?AGENT ?SITE) ?COLL))))

UXExperimentalTerms.kif 992-1008

AutonomousAgent est une instance de AutonomousAgent WebSite est une instance de WebSite
collection collection est une instance de collection WebListing
- WebListing est une instance de WebListing hostedOn WebListing and WebSite listingSeller WebListing and AutonomousAgent
- WebListing est un membre de collection
SellersItemsFn AutonomousAgent and WebSite est collection

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: