TreeView Knowledge Base Browser

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	fears 是 expects 的 subrelation
(subrelation hopes expects)	Mid-level-ontology.kif 7102-7102	hopes 是 expects 的 subrelation
(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

如果 expects 实体 and 另一个实体在时距 holdsDuring，
然后那个实体 believes 那个另外实体在另一个时距 holdsDuring 在那个时距 holdsDuring 和那个时距比那个另外时距发生的earlier

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	如果 checkOutTime 有认知的主事 and 时点和 guest 另一个有认知的主事 and 那个有认知的主事，然后 expects 那个有认知的主事 and 有存在实体和另一个实体这样那个实体是那个时点的 instance 和那个另外有认知的主事是那个另外实体的 patient 和那个另外实体是 CheckOutService 的 instance 和那个有认知的主事是那个另外实体的 agent 和那个另外实体出现的 time 的开始%n在那个实体 before发生
(=> (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	如果 Surprise 是实体的 attribute 在时间位置 holdsDuring，然后有存在另一个时间位置和另一个实体这样那个另外时间位置时段是那个时间位置 before 时段的一 part 和 expects 那个实体 and 那个另外实体在那个另外时间位置 holdsDuring 和那个另外实体是 False 在那个时间位置 holdsDuring

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: