No TPTP formula. May not be expressible in strict first order. 
Merge.kif 56625662 
The number 2 argument of kappa is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 27182718 
The number 1 argument of probability is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
emotion.kif 20192019 
The number 3 argument of attitudeForFormula is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 29812981 
The number 2 argument of believes is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 39143914 
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 39153915 
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 27302730 
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 27312731 
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 41064106 
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 1771617716 
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 1769017690 
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 29702970 
The number 2 argument of considers is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Law.kif 2222 
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 27682768 
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 27692769 
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 41234123 
The number 2 argument of deprives norm is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1353513535 
The number 1 argument of describes is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 29562956 
The number 2 argument of desires is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 71407140 
The number 2 argument of disapproves is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 71117111 
The number 2 argument of doubts is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 789789 
The number 1 argument of entails is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 790790 
The number 2 argument of entails is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 70637063 
The number 2 argument of expects is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 40504050 
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 40714071 
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 