objectOfBid - Sigma 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	Die Zahl 1 Argument von objectOfBid ist ein fall von Bidding %n{nicht}
(domain objectOfBid 2 Physical)	UXExperimentalTerms.kif 1438-1438	Die Zahl 2 Argument von objectOfBid ist ein fall von Physical %n{nicht}
(instance objectOfBid BinaryPredicate)	UXExperimentalTerms.kif 1436-1436	objectOfBid ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage objectOfBid "%1 是个 bid 对于 %2 ")	domainEnglishFormat.kif 4006-4006
(format ChineseTraditionalLanguage objectOfBid "%1 是個 bid 對於 %2 ")	domainEnglishFormat.kif 4005-4005
(format EnglishLanguage objectOfBid "%1 is a bid for %2")	domainEnglishFormat.kif 4004-4004
(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

Wenn Bidding ist ein fall von Bidding %n{nicht} und Object ist ein fall von Physical %n{nicht} und CurrencyMeasure ist ein fall von CurrencyMeasure %n{nicht} und AutonomousAgent ist ein fall von ** AutonomousAgent %n{nicht} und objectOfBid ** Bidding and ** Object und amountOfBid ** Bidding and ** CurrencyMeasure und ** Bidding ist der agent von ** AutonomousAgent %n{nicht},
dann bidPrice ** Object, ** CurrencyMeasure 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	Wenn Collection ist ein fall von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von WebListing %n{nicht} , dann es gibt SymbolicString, entity,, , entity, and und SymbolicString um die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich BidCountFn ** Collection %n{nicht}
(=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT))))	UXExperimentalTerms.kif 1407-1414	Wenn bidPrice Object, CurrencyMeasure and AutonomousAgent, dann es gibt Bidding um Bidding ist ein fall von Bidding %n{nicht} und objectOfBid Bidding and Object und amountOfBid Bidding and CurrencyMeasure und Bidding ist der agent von ** AutonomousAgent %n{nicht}

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: