| 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, 1 and CognitiveAgent |
| (domain expects 2 Formula) | Mid-level-ontology.kif 7068-7068 | domain expects, 2 and Formula |
| (instance expects BinaryPredicate) | Mid-level-ontology.kif 7066-7066 | instance expects and BinaryPredicate |
| 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 fears and expects |
| (subrelation hopes expects) | Mid-level-ontology.kif 7103-7103 | subrelation hopes and expects |
| (termFormat ChineseLanguage expects "预计") | domainEnglishFormat.kif 22717-22717 | |
| (termFormat ChineseTraditionalLanguage expects "預計") | domainEnglishFormat.kif 22716-22716 | |
| (termFormat EnglishLanguage expects "expects") | domainEnglishFormat.kif 22715-22715 |
| 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 17130-17136 |
|
|
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