Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - offers

appearance as argument number 1

(documentation offers EnglishLanguage "(offers ?AGENT ?CATALOG) means that ?AGENT offers items of ?CATALOG to its customers") Catalog.kif 79-80
(domain offers 1 AutonomousAgent) Catalog.kif 82-82 The number 1 argument of offers is an instance of agent
(domain offers 2 Abstract) Catalog.kif 83-83 The number 2 argument of offers is an instance of abstract
(instance offers BinaryPredicate) Catalog.kif 81-81 offers is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage offers "%1 offers 拍卖样品在 %2 ") domainEnglishFormat.kif 4018-4018
(format ChineseTraditionalLanguage offers "%1 offers 拍賣樣品在 %2 ") domainEnglishFormat.kif 4017-4017
(format EnglishLanguage offers "%1 offers items for sale in %2") domainEnglishFormat.kif 4016-4016
(termFormat EnglishLanguage offers "offers") Catalog.kif 84-84


        (instance ?MENU SetMenu)
        (offers ?AGENT ?MENU)
        (catalogItem ?CLASS ?MENU)
        (subclass ?CLASS PreparedFood)
        (instance ?X ?VLASS)
        (instance ?Y ?CLASS)
            (equal ?X ?Y))
        (price ?X ?PRICE1 ?AGENT1)
        (price ?Y ?PRICE2 ?AGENT2))
    (equal ?PRICE1 ?PRICE2))
Dining.kif 189-201
        (offers ?AGENT ?ATTR)
        (instance ?ATTR Attribute))
        (exists (?OBJ ?SELL)
                (instance ?SELL Selling)
                (attribute ?OBJ ?ATTR)
                (patient ?SELL ?OBJ)
                (agent ?SELL ?AGENT))) Possibility))
Catalog.kif 109-119
        (offers ?AGENT ?CATALOG)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINST ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINST ?OBJ))
    (capability ?PROCESS agent ?AGENT))
Catalog.kif 98-107
        (offers ?AGENT ?CATALOG)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process))
    (capability ?CLASS agent ?AGENT))
Catalog.kif 88-93
        (offers ?AGENT ?CATALOG)
        (catalogItem ?OBJ ?CATALOG)
        (subclass ?OBJ Physical))
        (exists (?S ?X)
                (instance ?X ?OBJ)
                (instance ?S Selling)
                (agent ?S ?AGENT)
                (patient ?S ?X))) Possibility))
Catalog.kif 51-62
        (offers ?AGENT ?CATALOG)
        (catalogItem ?PROP ?CATALOG)
        (subclass ?PROP Proposition))
        (exists (?P ?S ?X)
                (instance ?P ?PROP)
                (realization ?X ?P)
                (instance ?S Selling)
                (patient ?S ?X)
                (agent ?S ?AGENT))) Possibility))
Catalog.kif 64-76
        (offers ?HOTEL ?MP)
        (instance ?MP MealPlan)
        (includedMeal ?MP ?ATTR)
        (attribute ?HOTEL TravelerAccommodation)
        (guest ?GUEST ?HOTEL)
        (buys ?GUEST ?HOTEL ?MP))
            (guest ?GUEST ?HOTEL))
        (exists (?TI)
            (holdsDuring ?TI
                (exists (?MEAL)
                        (attribute ?MEAL ?ATTR)
                        (hasPurpose ?MEAL
                            (exists (?E)
                                    (instance ?E Eating)
                                    (agent ?E ?GUEST)
                                    (patient ?E ?MEAL))))))))))
Hotel.kif 1558-1578


        (offersAtTime ?AGENT ?ATTR ?TIMEINT)
        (instance ?ATTR Attribute))
    (holdsDuring ?TIMEINT
        (offers ?AGENT ?ATTR)))
Catalog.kif 152-157
    (instance ?CATALOG Catalog)
    (exists (?X)
            (instance ?X AutonomousAgent)
            (offers ?X ?CATALOG))))
Catalog.kif 36-41

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