No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5583-5583 |
Le nombre 2 argument de KappaFn est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2573-2573 |
Le nombre 1 argument de ProbabilityFn est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2127-2127 |
Le nombre 3 argument de attitudeForFormula est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2811-2811 |
Le nombre 2 argument de believes est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3822-3822 |
Le nombre 1 argument de causesProposition est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3823-3823 |
Le nombre 2 argument de causesProposition est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2583-2583 |
Le nombre 1 argument de conditionalProbability est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2584-2584 |
Le nombre 2 argument de conditionalProbability est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3993-3993 |
Le nombre 2 argument de confersNorm est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17454-17454 |
Le nombre 1 argument de confersObligation est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17433-17433 |
Le nombre 1 argument de confersRight est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2801-2801 |
Le nombre 2 argument de considers est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1368-1368 |
Le nombre 2 argument de containsFormula est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2616-2616 |
Le nombre 1 argument de decreasesLikelihood est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2617-2617 |
Le nombre 2 argument de decreasesLikelihood est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4015-4015 |
Le nombre 2 argument de deprivesNorm est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16147-16147 |
Le nombre 1 argument de describes est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2789-2789 |
Le nombre 2 argument de desires est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7441-7441 |
Le nombre 2 argument de disapproves est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7411-7411 |
Le nombre 2 argument de doubts est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 770-770 |
Le nombre 1 argument de entails est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 771-771 |
Le nombre 2 argument de entails est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10590-10590 |
Le nombre 2 argument de expects est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3946-3946 |
Le nombre 2 argument de hasPurpose est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3962-3962 |
Le nombre 2 argument de hasPurposeForAgent est une instance de formule |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |