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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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"


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


        (checkOutTime ?HOTEL ?TIME)
        (guest ?GUEST ?HOTEL))
    (expects ?HOTEL
        (exists (?T ?C)
                (instance ?T ?TIME)
                (patient ?C ?GUEST)
                (instance ?C CheckOutService)
                (agent ?C ?HOTEL)
                        (WhenFn ?C)) ?T)))))
Hotel.kif 653-664
    (holdsDuring ?TIME
        (attribute ?AGENT Surprise))
    (exists (?PART ?PROP)
            (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