| 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 7048-7050 | |
| (domain expects 1 CognitiveAgent) | Mid-level-ontology.kif 7046-7046 | |
| (domain expects 2 Formula) | Mid-level-ontology.kif 7047-7047 | |
| (instance expects BinaryPredicate) | Mid-level-ontology.kif 7045-7045 |
| 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 7070-7070 | |
| (subrelation hopes expects) | Mid-level-ontology.kif 7082-7082 | |
| (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 7064-7068 |
| 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 17155-17161 |
|
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 3.0 is open source software produced by Articulate Software and its partners