Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 10393-10393 Psychological process is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16337-16337 Becoming drunk is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16358-16358 Sobering up is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16374-16374 Falling asleep is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16390-16390 Waking up is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16460-16460 Gaining consciousness is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16478-16478 Losing consciousness is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18229-18229 Imagining is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18244-18244 Frightening is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10535-10535 Intentional psychological process is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12180-12180 Remembering is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13473-13473 Perception is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 18342-18342 Sleeping is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. emotion.kif 117-117 Emotional behavioral process is a subclass of psychological process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4446-4446 Forgetting is a subclass of psychological process


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