Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - fears
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 8547-8550
(domain fears 1 CognitiveAgent) Mid-level-ontology.kif 8544-8544 The number 1 argument of fears is an instance of cognitive agent
(domain fears 2 Formula) Mid-level-ontology.kif 8545-8545 The number 2 argument of fears is an instance of formula
(instance fears BinaryPredicate) Mid-level-ontology.kif 8546-8546 fears is an instance of binary predicate
(subrelation fears expects) Mid-level-ontology.kif 8543-8543 fears is a subrelation of expects

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 23430-23430
(termFormat ChineseTraditionalLanguage fears "恐懼") domainEnglishFormat.kif 23429-23429
(termFormat EnglishLanguage fears "fears") domainEnglishFormat.kif 23428-23428

antecedent
-------------------------


(=>
    (fears ?AGENT ?FORMULA)
    (not
        (desires ?AGENT ?FORMULA)))		 Mid-level-ontology.kif 8552-8555

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 20876-20879
(=>
    (attribute ?PERSON Happiness)
    (not
        (exists (?PROP)
            (fears ?PERSON ?PROP))))		 Mid-level-ontology.kif 20849-20853


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