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 10653-10659
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1683-1688
No TPTP formula. May not be expressible in strict first order. Merge.kif 10650-10650 Intentional psychological process is a subclass of intentional process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10651-10651 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 12264-12264 Calculating is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12134-12134 Classifying is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12258-12258 Comparing is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12108-12108 Discovering is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10996-10996 Interpreting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12089-12089 Learning is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10973-10973 Planning is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12294-12294 Predicting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12142-12142 Reasoning is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12151-12151 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1092-1092 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. english_format.kif 1395-1395 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. french_format.kif 770-770 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 302-302 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. terms-it.txt 305-305 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2454-2454 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 722-722 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 341-341 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. terms-de.txt 600-600 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 791-791 Selecting is a subclass of intentional psychological process
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 306-306 Selecting is a subclass of intentional psychological process

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3987-4007


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