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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Catalog
Catalog(catalog)catalog, catalogue, parts_catalog, parts_catalogue, seed_catalog, seed_catalogue

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


(documentation Catalog EnglishLanguage "a Catalog is a Proposition of the classes of resources that an agent provides or offers") Catalog.kif 32-33
(subclass Catalog Proposition) Catalog.kif 31-31 Catalog is a subclass of proposition

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


(subclass Menu Catalog) Dining.kif 172-172 Menu is a subclass of catalog
(termFormat EnglishLanguage Catalog "catalog") Catalog.kif 34-34

appearance as argument number 3
-------------------------


(domain catalogItem 2 Catalog) Catalog.kif 49-49 The number 2 argument of catalog item is an instance of catalog

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


(=>
    (instance ?CATALOG Catalog)
    (exists (?X)
        (and
            (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