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...

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 9931-9937
No TPTP formula. May not be expressible in strict first order. Merge.kif 9928-9928 Intentional psychological process is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9929-9929 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 11282-11282 Calculating is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11213-11213 Classifying is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11276-11276 Comparing is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11187-11187 Discovering is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10179-10179 Interpreting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11168-11168 Learning is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10156-10156 Planning is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11312-11312 Predicting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11221-11221 Reasoning is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11230-11230 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 3.0 is open source software produced by Articulate Software and its partners