No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5608-5608 |
The number 2 argument of kappa is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2584-2584 |
The number 1 argument of probability is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2125-2125 |
The number 3 argument of attitude for formula is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2822-2822 |
The number 2 argument of believes is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3835-3835 |
The number 1 argument of causes proposition is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3836-3836 |
The number 2 argument of causes proposition is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2594-2594 |
The number 1 argument of conditional probability is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2595-2595 |
The number 2 argument of conditional probability is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4009-4009 |
The number 2 argument of confers norm is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17629-17629 |
The number 1 argument of confers obligation is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17608-17608 |
The number 1 argument of confers right is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2812-2812 |
The number 2 argument of considers is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1378-1378 |
The number 2 argument of contains formula is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2627-2627 |
The number 1 argument of decreases likelihood is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2628-2628 |
The number 2 argument of decreases likelihood is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4031-4031 |
The number 2 argument of deprives norm is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17534-17534 |
The number 1 argument of describes is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2800-2800 |
The number 2 argument of desires is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8606-8606 |
The number 2 argument of disapproves is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8576-8576 |
The number 2 argument of doubts is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 763-763 |
The number 1 argument of entails is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 764-764 |
The number 2 argument of entails is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10728-10728 |
The number 2 argument of expects is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8549-8549 |
The number 2 argument of fears is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3963-3963 |
The number 2 argument of has purpose is an instance of formula |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |