TreeView Knowledge Base Browser

appearance as argument number 1

(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
(domain listingBidder 1 WebListing)	UXExperimentalTerms.kif 101-101	Il numero 1 argomenti di listingBidder è un istanza di WebListing
(domain listingBidder 2 AutonomousAgent)	UXExperimentalTerms.kif 102-102	Il numero 2 argomenti di listingBidder è un istanza di AutonomousAgent
(instance listingBidder BinaryPredicate)	UXExperimentalTerms.kif 100-100	listingBidder è un' istanza di PredicatoBinario

appearance as argument number 2

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

antecedent

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

UXExperimentalTerms.kif 109-115

listingBidder WebListing and AutonomousAgent Oggetto è un' istanza di Oggetto Oggetto è un paziente di WebListing
MisuraMonetaria bidPrice Oggetto, MisuraMonetaria and AutonomousAgent

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

KB Term:			Term intersection

English Word: