No TPTP formula. May not be expressible in strict first order. 
Merge.kif 54915491 
The number 2 argument of kappa is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 25212521 
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 attitudeForFormula is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 27592759 
The number 2 argument of believes is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 37493749 
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 37503750 
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 25312531 
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 25322532 
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 39203920 
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 1720117201 
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 1718017180 
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 27492749 
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 25642564 
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 25652565 
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 39423942 
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 1564315643 
The number 1 argument of describes is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 27372737 
The number 2 argument of desires is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 71567156 
The number 2 argument of disapproves is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 71267126 
The number 2 argument of doubts is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 761761 
The number 1 argument of entails is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 762762 
The number 2 argument of entails is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 70867086 
The number 2 argument of expects is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 38733873 
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 38893889 
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 