No TPTP formula. May not be expressible in strict first order. 
Merge.kif 55835583 
The number 2 argument of kappa is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25732573 
The number 1 argument of probability is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
emotion.kif 21272127 
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 28112811 
The number 2 argument of believes is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 38223822 
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 38233823 
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 25832583 
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 25842584 
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 39933993 
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 1745417454 
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 1743317433 
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 28012801 
The number 2 argument of considers is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 13681368 
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 26162616 
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 26172617 
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 40154015 
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 1614716147 
The number 1 argument of describes is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 27892789 
The number 2 argument of desires is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 74417441 
The number 2 argument of disapproves is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 74117411 
The number 2 argument of doubts is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 770770 
The number 1 argument of entails is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 771771 
The number 2 argument of entails is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1059010590 
The number 2 argument of expects is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 39463946 
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 39623962 
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 