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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalPsychologicalProcess
IntentionalPsychologicalProcess(intentional psychological process)Americanise, Americanize, abase, abash, abhor, abominate, about-face, absorb, abstract, accredit, acerbate, ache, acquaint, acquire, addle, admire, adopt, adore, afflict, affright, aggravate, aggrieve, agitate, agonise, agonize, aim, alarm, alien, alienate, allay, amaze, ambition, analyse, analytic, analytical, analytically, analyze, analyzed, anger, anguish, animate, annoy, answer, anthropomorphise, anthropomorphize, anticipate, apotheose, apotheosise, apotheosize, appal...

VerbNet: other_cos-45.4|americanize, other_cos-45.4|americanize, amuse-31.1|humiliate, amuse-31.1|embarrass, admire-31.2|loathe, admire-31.2|loathe, amuse-31.1|engross, fulfilling-13.4.1|credit, long-32.2|yearn, amalgamate-22.2|muddle, admire-31.2|admire, appoint-29.1|adopt, admire-31.2|adore, amuse-31.1|afflict, force-59|frighten, amuse-31.1|exasperate, amuse-31.1|grieve, amuse-31.1|excite, amuse-31.1|agonize, amuse-31.1|agonize, wish-62|aim, amuse-31.1|horrify, amuse-31.1|alienate, amuse-31.1|alienate, cheat-10.6|ease, amuse-31.1|astound, assessment-34.1|analyse, assessment-34.1|analyse, marvel-31.3|anger, amuse-31.1|pain, engender-27|inspire, pain-40.8.1|bother, amuse-31.1|shock, amuse-31.1|shock, amuse-31.1|placate, investigate-35.4|survey, amuse-31.1|excite, discover-84|ascertain, assessment-34.1|assay, amuse-31.1|placate, conjecture-29.5|presume, amuse-31.1|astound, amuse-31.1|astound, accept-77|repent, amuse-31.1|awe, sight-30.2|savor, marvel-31.3|exult, amuse-31.1|thrill, amuse-31.1|torment, admire-31.2|envy, ...


appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2932-2936
No TPTP formula. May not be expressible in strict first order. Merge.kif 9873-9879
No TPTP formula. May not be expressible in strict first order. Merge.kif 9870-9870 Intentional psychological process is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9871-9871 Intentional psychological process is a subclass of psychological process

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 48-48 Appraisal process is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11227-11227 Calculating is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11158-11158 Classifying is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11221-11221 Comparing is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11132-11132 Discovering is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10121-10121 Interpreting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11113-11113 Learning is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10098-10098 Planning is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11257-11257 Predicting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11166-11166 Reasoning is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11175-11175 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1092-1092
No TPTP formula. May not be expressible in strict first order. english_format.kif 1400-1400


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners