| 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 7069-7071 | |
| (domain expects 1 CognitiveAgent) | Mid-level-ontology.kif 7067-7067 | |
| (domain expects 2 Formula) | Mid-level-ontology.kif 7068-7068 | |
| (instance expects BinaryPredicate) | Mid-level-ontology.kif 7066-7066 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage expects "%1 expects %2 会是事实") | domainEnglishFormat.kif 3355-3355 | |
| (format ChineseTraditionalLanguage expects "%1 expects %2 會是事實") | domainEnglishFormat.kif 3354-3354 | |
| (format EnglishLanguage expects "%1 expects %2 will be true") | domainEnglishFormat.kif 3353-3353 | |
| (subrelation fears expects) | Mid-level-ontology.kif 7091-7091 | |
| (subrelation hopes expects) | Mid-level-ontology.kif 7103-7103 | |
| (termFormat ChineseLanguage expects "预计") | domainEnglishFormat.kif 22723-22723 | |
| (termFormat ChineseTraditionalLanguage expects "預計") | domainEnglishFormat.kif 22722-22722 | |
| (termFormat EnglishLanguage expects "expects") | domainEnglishFormat.kif 22721-22721 |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (expects ?AGENT ?FORMULA)) (and (holdsDuring ?T1 (believes ?AGENT (holdsDuring ?T2 ?FORMULA))) (earlier ?T1 ?T2))) |
Mid-level-ontology.kif 7085-7089 |
| 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 657-668 | |
| (=> (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 17129-17135 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners