No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5170-5170 |
The number 2 argument of kappa is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2473-2473 |
The number 1 argument of probability is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2024-2024 |
The number 3 argument of attitudeForFormula is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2712-2712 |
The number 2 argument of believes is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3560-3560 |
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 3561-3561 |
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 2484-2484 |
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 2485-2485 |
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 3729-3729 |
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 16125-16125 |
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 16104-16104 |
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 2702-2702 |
The number 2 argument of considers is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 22-22 |
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 2517-2517 |
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 2518-2518 |
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 3751-3751 |
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 13794-13794 |
The number 1 argument of describes is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2690-2690 |
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 7145-7145 |
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 7116-7116 |
The number 2 argument of doubts is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 736-736 |
The number 1 argument of entails is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 737-737 |
The number 2 argument of entails is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7068-7068 |
The number 2 argument of expects is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3682-3682 |
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 3698-3698 |
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 |