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

Formal Language: 



KB Term:  Term intersection
English Word: 

  catalogItem

Sigma KEE - catalogItem
catalogItem

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


(documentation catalogItem EnglishLanguage "(catalogItem ?OBJ ?CATALOG) means that an instance of ?OBJ is a member of ?CATALOG") Catalog.kif 46-47
(domain catalogItem 2 Catalog) Catalog.kif 49-49
(domainSubclass catalogItem 1 Entity) Catalog.kif 48-48
(instance catalogItem BinaryRelation) Catalog.kif 44-44
(instance catalogItem PartialValuedRelation) Catalog.kif 45-45

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


(format EnglishLanguage catalogItem "%1 is in %2") domainEnglishFormat.kif 751-751

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


(=>
    (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
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINSTANCE ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINSTANCE ?OBJ))
    (capabilityDuring ?PROCESS agent ?AGENT ?TIMEINT))
Catalog.kif 136-145
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process))
    (capabilityDuring ?CLASS agent ?AGENT ?TIMEINT))
Catalog.kif 129-134

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


(=>
    (instance ?MENU AlcoholMenu)
    (forall (?X)
        (=>
            (catalogItem ?X ?MENU)
            (subclass ?MEMB AlcoholicBeverage))))
Dining.kif 217-222
(=>
    (instance ?MENU BeverageMenu)
    (forall (?X)
        (=>
            (catalogItem ?X ?MENU)
            (subclass ?MEMB Beverage))))
Dining.kif 205-210
(=>
    (instance ?MENU Menu)
    (forall (?X)
        (=>
            (catalogItem ?X ?MENU)
            (subclass ?X
                (FoodForFn Human)))))
Dining.kif 181-186
(=>
    (instance ?MENU WineMenu)
    (forall (?X)
        (=>
            (catalogItem ?X ?MENU)
            (subclass ?MEMB WineMenu))))
Dining.kif 229-234


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