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 7388-7391 | |
(instance fears BinaryPredicate) | Mid-level-ontology.kif 7387-7387 | 例 恐懼 and BinaryPredicate |
(subrelation fears expects) | Mid-level-ontology.kif 7386-7386 | 子關係 恐懼 and 預計 |
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 7393-7396 |
|
consequent |
(=> (and (holdsDuring ?T1 (attribute ?P InternallyDisplacedPerson)) (instance ?T1 TimeInterval)) (exists (?SITUATION ?T0) (and (earlier ?T0 ?T1) (causesProposition (holdsDuring ?T0 (fears ?P ?SITUATION)) (holdsDuring ?T1 (attribute ?P InternallyDisplacedPerson)))))) |
MilitaryPersons.kif 101-111 |
|
(=> (attribute ?PERSON Anxiety) (exists (?PROP) (fears ?PERSON ?PROP))) |
Mid-level-ontology.kif 19316-19319 |
|
(=> (attribute ?PERSON Happiness) (not (exists (?PROP) (fears ?PERSON ?PROP)))) |
Mid-level-ontology.kif 19289-19293 |
|