TreeView Knowledge Base Browser

appearance as argument number 1

(instance listingBidder BinaryPredicate)	UXExperimentalTerms.kif 100-100	listing bidder is an instance of binary predicate
(domain listingBidder 1 WebListing)	UXExperimentalTerms.kif 101-101	The number 1 argument of listing bidder is an instance of web listing
(domain listingBidder 2 AutonomousAgent)	UXExperimentalTerms.kif 102-102	The number 2 argument of listing bidder is an instance of agent
(documentation listingBidder EnglishLanguage "(listingBidder ?LISTING ?AGENT) means that ?AGENT bid on the Object which is the patient of the webListing ?LISTING - i.e. if ?OBJECT is the patient of ?LISTING, there exists some ?MONEY where (bidPrice ?OBJECT ?MONEY ?AGENT)")	UXExperimentalTerms.kif 105-107	The number 2 argument of listing bidder is an instance of agent

appearance as argument number 2

(termFormat EnglishLanguage listingBidder "listing bidder")	UXExperimentalTerms.kif 103-103
(format EnglishLanguage listingBidder "%2 bids for %1")	domainEnglishFormat.kif 3770-3770
(format ChineseTraditionalLanguage listingBidder "%2 對 %1 bids ")	domainEnglishFormat.kif 3771-3771
(format ChineseLanguage listingBidder "%2 對 %1 bids ")	domainEnglishFormat.kif 3772-3772

antecedent

(=>
    (and
        (listingBidder ?LISTING ?AGENT)
        (instance ?OBJ Object)
        (patient ?LISTING ?OBJ))
    (exists (?MONEY)
        (bidPrice ?OBJ ?MONEY ?AGENT)))

UXExperimentalTerms.kif 109-115

If X bids for Y, Z is an instance of object, and Z is a patient of Y, then there exists W such that X bids W for Z

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

KB Term:			Term intersection

English Word: