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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PsychologicalProcess
PsychologicalProcess(processus psychologique)

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 10409-10411
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 10407-10407 Processus psychologique est une sous-classe de processus biologique

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16365-16365 BecomingDrunk est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. emotion.kif 117-117 EmotionalBehavioralProcess est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16402-16402 FallingAsleep est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4446-4446 Forgetting est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18272-18272 Frightening est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16488-16488 GainingConsciousness est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18257-18257 Imagining est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. Merge.kif 10547-10547 Processus psycholoqique intentionnel est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16506-16506 LosingConsciousness est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. Merge.kif 13497-13497 Perception est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. Merge.kif 12204-12204 Se rappeler est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. Merge.kif 18399-18399 Sleeping est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16386-16386 SoberingUp est une sous-classe de processus psychologique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16418-16418 WakingUp est une sous-classe de processus psychologique
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 10413-10418

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2041-2041 ThinkingDifficulty est une sous-classe de ImpairmentFn processus psychologique


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