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

Formal Language: 



KB Term:  Term intersection
English Word: 

  powerComponent

Sigma KEE - offersAtTime
offersAtTime

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


(documentation offersAtTime EnglishLanguage "(%&offersAtTime ?AGENT ?CATALOG ?TIMEINT) means that ?AGENT offers items of ?CATALOG to its customer only during the specified ?TIMEINT") Catalog.kif 121-123
(domain offersAtTime 1 Agent) Catalog.kif 125-125
(domain offersAtTime 2 Entity) Catalog.kif 126-126
(domain offersAtTime 3 TimeInterval) Catalog.kif 127-127
(instance offersAtTime TernaryPredicate) Catalog.kif 124-124

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


(format EnglishLanguage offersAtTime "%1 offers items for sale in %2 during %3") domainEnglishFormat.kif 1014-1014

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


(=>
    (and
        (offersAtTime ?AGENT ?ATTR ?TIMEINT)
        (instance ?ATTR Attribute))
    (holdsDuring ?TIMEINT
        (offers ?AGENT ?ATTR)))
Catalog.kif 147-152
(=>
    (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


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