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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PsychologicalProcess

 Sigma KEE - PsychologicalProcess
PsychologicalProcess(Processo Psicologico)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2920-2921
No TPTP formula. May not be expressible in strict first order. Merge.kif 10373-10375
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1669-1670
No TPTP formula. May not be expressible in strict first order. Merge.kif 10371-10371 Processo Psicologico e' uma sub-classe de Processo Biologico

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16338-16338 BecomingDrunk e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. emotion.kif 117-117 EmotionalBehavioralProcess e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16375-16375 FallingAsleep e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4446-4446 Forgetting e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18245-18245 Frightening e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16461-16461 GainingConsciousness e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18230-18230 Imagining e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Merge.kif 10513-10513 Processo Psicologico Intencional e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16479-16479 LosingConsciousness e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Merge.kif 13451-13451 Percepcao e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Merge.kif 12158-12158 Recordar e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Merge.kif 18320-18320 Sleeping e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16359-16359 SoberingUp e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16391-16391 WakingUp e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1086-1086
No TPTP formula. May not be expressible in strict first order. english_format.kif 1383-1383
No TPTP formula. May not be expressible in strict first order. french_format.kif 764-764
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 296-296
No TPTP formula. May not be expressible in strict first order. terms-it.txt 299-299
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2448-2448
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 716-716
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 335-335
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 785-785
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 300-300

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10377-10382

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2041-2041 ThinkingDifficulty e' uma sub-classe de ImpairmentFn Processo Psicologico


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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