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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Catalog
Catalog

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

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


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

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


(domain catalogItem 2 Catalog) Catalog.kif 49-49

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