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

Formal Language: 



KB Term:  Term intersection
English Word: 

  expects

Sigma KEE - expects
expects

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


(documentation expects EnglishLanguage "(holdsDuring ?T1 (expects ?AGENT ?BELIEF)) means (and (holdDuring ?T1 (believes ?AGENT (holdsDuring ?T2 ?BELIEF))) (earlier ?T1 ?T2)).") Mid-level-ontology.kif 7068-7070
(domain expects 1 CognitiveAgent) Mid-level-ontology.kif 7066-7066 expects 的 1 数量 是 有认知的主事instance
(domain expects 2 Formula) Mid-level-ontology.kif 7067-7067 expects 的 2 数量 是 公式instance
(instance expects BinaryPredicate) Mid-level-ontology.kif 7065-7065 expects二元谓语instance

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


(format EnglishLanguage expects "%1 expects %2 will be true") domainEnglishFormat.kif 848-848
(subrelation fears expects) Mid-level-ontology.kif 7090-7090 fearsexpectssubrelation
(subrelation hopes expects) Mid-level-ontology.kif 7102-7102 hopesexpectssubrelation
(termFormat EnglishLanguage expects "expects") domainEnglishFormat.kif 4220-4220 termFormat EnglishLanguage, expects and "expects"

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


(=>
    (holdsDuring ?T1
        (expects ?AGENT ?FORMULA))
    (and
        (holdsDuring ?T1
            (believes ?AGENT
                (holdsDuring ?T2 ?FORMULA)))
        (earlier ?T1 ?T2)))
Mid-level-ontology.kif 7084-7088

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


(=>
    (and
        (checkOutTime ?HOTEL ?TIME)
        (guest ?GUEST ?HOTEL))
    (expects ?HOTEL
        (exists (?T ?C)
            (and
                (instance ?T ?TIME)
                (patient ?C ?GUEST)
                (instance ?C CheckOutService)
                (agent ?C ?HOTEL)
                (before
                    (BeginFn
                        (WhenFn ?C)) ?T)))))
Hotel.kif 653-664
(=>
    (holdsDuring ?TIME
        (attribute ?AGENT Surprise))
    (exists (?PART ?PROP)
        (and
            (temporalPart ?PART
                (PastFn ?TIME))
            (holdsDuring ?PART
                (expects ?AGENT ?PROP))
            (holdsDuring ?TIME
                (truth ?PROP False)))))
Mid-level-ontology.kif 17128-17134


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