expects |
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)).") | Merge.kif 10591-10593 | |
(domain expects 1 CognitiveAgent) | Merge.kif 10589-10589 | 域 預計, 1 and CognitiveAgent |
(domain expects 2 Formula) | Merge.kif 10590-10590 | 域 預計, 2 and Formula |
(instance expects BinaryPredicate) | Merge.kif 10588-10588 | 例 預計 and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage expects "%1 expects %2 会是事实") | domainEnglishFormat.kif 3354-3354 | |
(format ChineseTraditionalLanguage expects "%1 expects %2 會是事實") | domainEnglishFormat.kif 3353-3353 | |
(format EnglishLanguage expects "%1 expects %2 will be true") | domainEnglishFormat.kif 3352-3352 | |
(subrelation fears expects) | Mid-level-ontology.kif 7386-7386 | 子關係 恐懼 and 預計 |
(subrelation hopes expects) | Mid-level-ontology.kif 7398-7398 | 子關係 希望 and 預計 |
(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)) (exists (?T2) (and (holdsDuring ?T1 (believes ?AGENT (holdsDuring ?T2 ?FORMULA))) (earlier ?T1 ?T2)))) |
Merge.kif 10595-10603 |
|
consequent |