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 | Le nombre 1 argument de expects est une instance de agent cognitif |
(domain expects 2 Formula) | Merge.kif 10590-10590 | Le nombre 2 argument de expects est une instance de formule |
(instance expects BinaryPredicate) | Merge.kif 10588-10588 | expects est une instance de pr�dicat binaire |
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 | fears est une sous-relation de expects |
(subrelation hopes expects) | Mid-level-ontology.kif 7398-7398 | hopes est une sous-relation de expects |
(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 |