TreeView Knowledge Base Browser

appearance as argument number 1

(documentation objectOfBid EnglishLanguage "A CaseRole of Bidding identifying the instance of Physical being bid on.")	UXExperimentalTerms.kif 1440-1441
(domain objectOfBid 1 Bidding)	UXExperimentalTerms.kif 1437-1437	objectOfBid の数値 1 引数は Bidding の instance では
(domain objectOfBid 2 Physical)	UXExperimentalTerms.kif 1438-1438	objectOfBid の数値 2 引数は物理の instance では
(instance objectOfBid BinaryPredicate)	UXExperimentalTerms.kif 1436-1436	objectOfBid は 2進述語の instance では

appearance as argument number 2

(format ChineseLanguage objectOfBid "%1 是个 bid 对于 %2 ")	domainEnglishFormat.kif 4010-4010
(format ChineseTraditionalLanguage objectOfBid "%1 是個 bid 對於 %2 ")	domainEnglishFormat.kif 4009-4009
(format EnglishLanguage objectOfBid "%1 is a bid for %2")	domainEnglishFormat.kif 4008-4008
(termFormat EnglishLanguage objectOfBid "object of bidding")	UXExperimentalTerms.kif 1439-1439

antecedent

(=>
    (and
        (instance ?BIDDING Bidding)
        (instance ?OBJECT Physical)
        (instance ?AMOUNT CurrencyMeasure)
        (instance ?AGENT ?AGENT)
        (objectOfBid ?BIDDING ?OBJECT)
        (amountOfBid ?BIDDING ?AMOUNT)
        (agent ?BIDDING ?AGENT))
    (bidPrice ?OBJECT ?AMOUNT ?AGENT))

UXExperimentalTerms.kif 1416-1425

Bidding は Bidding の instance ではオブジェクトは物理の instance では通貨測定は通貨測定の instance では AutonomousAgent は AutonomousAgent の instance では objectOfBid Bidding and オブジェクト amountOfBid Bidding and 通貨測定 AutonomousAgent は Bidding の agent では
bidPrice オブジェクト, 通貨測定 and AutonomousAgent

consequent

(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (exists (?BIDDING ?ITEM ?LISTING ?BIDDING) (equal (CardinalityFn (KappaFn ?BIDDING (and (instance ?ITEM Physical) (instance ?LISTING WebListing) (instance ?BIDDING Bidding) (member ?LISTING ?COLL) (objectOfBid ?BIDDING ?ITEM) (patient ?LISTING ?ITEM)))) (BidCountFn ?COLL))))	UXExperimentalTerms.kif 2922-2940	コレクションはコレクションの instance では物理物理はコレクションの member では物理は WebListing の instance では記号文字列エンティティー, エンティティー and 記号文字列 equal 記号文字列で記述される class の instances の数 and BidCountFn コレクション
(=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT))))	UXExperimentalTerms.kif 1407-1414	bidPrice オブジェクト, 通貨測定 and AutonomousAgent Bidding Bidding は Bidding の instance では objectOfBid Bidding and オブジェクト amountOfBid Bidding and 通貨測定 AutonomousAgent は Bidding の agent では

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

KB Term:			Term intersection

English Word: