fears |
appearance as argument number 1 |
(documentation fears EnglishLanguage "(fears ?AGENT ?FORMULA) means that ?AGENT fears that the proposition ?FORMULA will be true, i.e. he/ she believes that it will come to pass in the future and that it will be undesirable for ?AGENT.") | Mid-level-ontology.kif 7415-7418 | |
(instance fears BinaryPredicate) | Mid-level-ontology.kif 7414-7414 | fears e' uma instancia de Predicado Binario |
(subrelation fears expects) | Mid-level-ontology.kif 7413-7413 | fears e' uma sub-relacao de expects |
appearance as argument number 2 |
(format ChineseLanguage fears "%1 fears %2 ") | domainEnglishFormat.kif 3430-3430 | |
(format ChineseTraditionalLanguage fears "%1 fears %2 ") | domainEnglishFormat.kif 3429-3429 | |
(format EnglishLanguage fears "%1 fears %2") | domainEnglishFormat.kif 3428-3428 | |
(termFormat ChineseLanguage fears "恐惧") | domainEnglishFormat.kif 23428-23428 | |
(termFormat ChineseTraditionalLanguage fears "恐懼") | domainEnglishFormat.kif 23427-23427 | |
(termFormat EnglishLanguage fears "fears") | domainEnglishFormat.kif 23426-23426 |
antecedent |
(=> (fears ?AGENT ?FORMULA) (not (desires ?AGENT ?FORMULA))) |
Mid-level-ontology.kif 7420-7423 |
|
consequent |