No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16337-16337 |
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 16374-16374 |
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 18244-18244 |
Frightening e' uma sub-classe de Processo Psicologico |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16460-16460 |
GainingConsciousness e' uma sub-classe de Processo Psicologico |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18229-18229 |
Imagining e' uma sub-classe de Processo Psicologico |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10535-10535 |
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 16478-16478 |
LosingConsciousness e' uma sub-classe de Processo Psicologico |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13473-13473 |
Percepcao e' uma sub-classe de Processo Psicologico |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12180-12180 |
Recordar e' uma sub-classe de Processo Psicologico |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18342-18342 |
Sleeping e' uma sub-classe de Processo Psicologico |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16358-16358 |
SoberingUp e' uma sub-classe de Processo Psicologico |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16390-16390 |
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 |