| 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 7072-7075 | |
| (instance fears BinaryPredicate) | Mid-level-ontology.kif 7071-7071 | |
| (subrelation fears expects) | Mid-level-ontology.kif 7070-7070 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage fears "%1 fears %2 ") | domainEnglishFormat.kif 3431-3431 | |
| (format ChineseTraditionalLanguage fears "%1 fears %2 ") | domainEnglishFormat.kif 3430-3430 | |
| (format EnglishLanguage fears "%1 fears %2") | domainEnglishFormat.kif 3429-3429 | |
| (termFormat ChineseLanguage fears "恐惧") | domainEnglishFormat.kif 23353-23353 | |
| (termFormat ChineseTraditionalLanguage fears "恐懼") | domainEnglishFormat.kif 23352-23352 | |
| (termFormat EnglishLanguage fears "fears") | domainEnglishFormat.kif 23351-23351 |
| antecedent |
|
|
| (=> (fears ?AGENT ?FORMULA) (not (desires ?AGENT ?FORMULA))) |
Mid-level-ontology.kif 7077-7080 |
| consequent |
|
|
| (=> (and (holdsDuring ?T1 (attribute ?P InternallyDisplacedPerson)) (instance ?T1 TimeInterval)) (exists (?SITUATION) (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 17123-17126 | |
| (=> (attribute ?PERSON Happiness) (not (exists (?PROP) (fears ?PERSON ?PROP)))) |
Mid-level-ontology.kif 17096-17100 |
|
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