No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5583-5583 |
The number 2 argument of kappa is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2573-2573 |
The number 1 argument of probability is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2127-2127 |
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 2811-2811 |
The number 2 argument of believes is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3822-3822 |
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 3823-3823 |
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 2583-2583 |
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 2584-2584 |
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 3993-3993 |
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 17476-17476 |
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 17455-17455 |
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 2801-2801 |
The number 2 argument of considers is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1368-1368 |
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 2616-2616 |
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 2617-2617 |
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 4015-4015 |
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 16146-16146 |
The number 1 argument of describes is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2789-2789 |
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 7440-7440 |
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 7410-7410 |
The number 2 argument of doubts is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 770-770 |
The number 1 argument of entails is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 771-771 |
The number 2 argument of entails is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10612-10612 |
The number 2 argument of expects is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3946-3946 |
The number 2 argument of has purpose is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3962-3962 |
The number 2 argument of has purpose for agent is an instance of formula |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |