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

Formal Language: 



KB Term:  Term intersection
English Word: 

  offers

Sigma KEE - offers
offers

appearance as argument number 1
-------------------------


(documentation offers EnglishLanguage "(offers ?AGENT ?CATALOG) means that ?AGENT offers items of ?CATALOG to its customers") Catalog.kif 78-79
(domain offers 1 Agent) Catalog.kif 81-81
(domain offers 2 Abstract) Catalog.kif 82-82
(instance offers BinaryPredicate) Catalog.kif 80-80

appearance as argument number 2
-------------------------


(format EnglishLanguage offers "%1 offers items for sale in %2") domainEnglishFormat.kif 1013-1013
(termFormat EnglishLanguage offers "offers") Catalog.kif 83-83

antecedent
-------------------------


(=>
    (and
        (instance ?MENU SetMenu)
        (offers ?AGENT ?MENU))
    (price ?MENU ?PRICE ?AGENT))
Dining.kif 193-197
(=>
    (and
        (offers ?AGENT ?ATTR)
        (instance ?ATTR Attribute))
    (modalAttribute
        (exists (?OBJ ?SELL)
            (and
                (instance ?SELL Selling)
                (attribute ?OBJ ?ATTR)
                (patient ?SELL ?OBJ)
                (agent ?SELL ?AGENT))) Possibility))
Catalog.kif 108-118
(=>
    (and
        (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 97-106
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process))
    (capability ?CLASS agent ?AGENT))
Catalog.kif 87-92
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?OBJ ?CATALOG)
        (subclass ?OBJ Physical))
    (modalAttribute
        (exists (?S ?X)
            (and
                (instance ?X ?OBJ)
                (instance ?S Selling)
                (agent ?S ?AGENT)
                (patient ?S ?X))) Possibility))
Catalog.kif 51-62
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?PROP ?CATALOG)
        (subclass ?PROP Proposition))
    (modalAttribute
        (exists (?S ?X)
            (and
                (realization ?X ?PROP)
                (instance ?S Selling)
                (patient ?S ?X)
                (agent ?S ?AGENT))) Possibility))
Catalog.kif 64-75
(=>
    (and
        (offers ?HOTEL ?MP)
        (instance ?MP MealPlan)
        (includedMeal ?MP ?ATTR)
        (attribute ?HOTEL TravelerAccommodation)
        (guest ?GUEST ?HOTEL)
        (buys ?GUEST ?HOTEL ?MP))
    (holdsDuring
        (WhenFn
            (guest ?GUEST ?HOTEL))
        (exists (?TI)
            (holdsDuring ?TI
                (exists (?MEAL)
                    (and
                        (attribute ?MEAL ?ATTR)
                        (hasPurpose ?MEAL
                            (exists (?E)
                                (and
                                    (instance ?E Eating)
                                    (agent ?E ?GUEST)
                                    (patient ?E ?MEAL))))))))))
Hotel.kif 1502-1522

consequent
-------------------------


(=>
    (and
        (offersAtTime ?AGENT ?ATTR ?TIMEINT)
        (instance ?ATTR Attribute))
    (holdsDuring ?TIMEINT
        (offers ?AGENT ?ATTR)))
Catalog.kif 147-152
(=>
    (instance ?CATALOG Catalog)
    (exists (?X)
        (and
            (subclass ?X Agent)
            (offers ?X ?CATALOG))))
Catalog.kif 36-41


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners