| 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 7049-7051 | |
| (domain expects 1 CognitiveAgent) | Mid-level-ontology.kif 7047-7047 | |
| (domain expects 2 Formula) | Mid-level-ontology.kif 7048-7048 | |
| (instance expects BinaryPredicate) | Mid-level-ontology.kif 7046-7046 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage expects "%1 expects %2 会是事实") | domainEnglishFormat.kif 3359-3359 | |
| (format ChineseTraditionalLanguage expects "%1 expects %2 會是事實") | domainEnglishFormat.kif 3358-3358 | |
| (format EnglishLanguage expects "%1 expects %2 will be true") | domainEnglishFormat.kif 3357-3357 | |
| (subrelation fears expects) | Mid-level-ontology.kif 7071-7071 | |
| (subrelation hopes expects) | Mid-level-ontology.kif 7083-7083 | |
| (termFormat ChineseLanguage expects "预计") | domainEnglishFormat.kif 22792-22792 | |
| (termFormat ChineseTraditionalLanguage expects "預計") | domainEnglishFormat.kif 22791-22791 | |
| (termFormat EnglishLanguage expects "expects") | domainEnglishFormat.kif 22790-22790 |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (expects ?AGENT ?FORMULA)) (and (holdsDuring ?T1 (believes ?AGENT (holdsDuring ?T2 ?FORMULA))) (earlier ?T1 ?T2))) |
Mid-level-ontology.kif 7065-7069 |
| 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 17160-17166 |
|
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