| 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 8551-8554 | |
| (domain fears 1 CognitiveAgent) | Mid-level-ontology.kif 8548-8548 | |
| (domain fears 2 Formula) | Mid-level-ontology.kif 8549-8549 | |
| (instance fears BinaryPredicate) | Mid-level-ontology.kif 8550-8550 | |
| (subrelation fears expects) | Mid-level-ontology.kif 8547-8547 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage fears "%1 fears %2 ") | domainEnglishFormat.kif 3428-3428 | |
| (format ChineseTraditionalLanguage fears "%1 fears %2 ") | domainEnglishFormat.kif 3427-3427 | |
| (format EnglishLanguage fears "%1 fears %2") | domainEnglishFormat.kif 3426-3426 | |
| (termFormat ChineseLanguage fears "恐惧") | domainEnglishFormat.kif 23431-23431 | |
| (termFormat ChineseTraditionalLanguage fears "恐懼") | domainEnglishFormat.kif 23430-23430 | |
| (termFormat EnglishLanguage fears "fears") | domainEnglishFormat.kif 23429-23429 |
| antecedent |
|
|
| (=> (fears ?AGENT ?FORMULA) (not (desires ?AGENT ?FORMULA))) |
Mid-level-ontology.kif 8556-8559 |
| 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 20887-20890 | |
| (=> (attribute ?PERSON Happiness) (not (exists (?PROP) (fears ?PERSON ?PROP)))) |
Mid-level-ontology.kif 20860-20864 |
|
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