No TPTP formula. May not be expressible in strict first order. 
Merge.kif 53505350 
The number 2 argument of kappa is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24852485 
The number 1 argument of probability is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
emotion.kif 21352135 
The number 3 argument of attitudeForFormula is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 27232723 
The number 2 argument of believes is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 36993699 
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 37003700 
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 24952495 
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 24962496 
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 38703870 
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 1684616846 
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 1682516825 
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 27132713 
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 25282528 
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 25292529 
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 38923892 
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 1554115541 
The number 1 argument of describes is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 27012701 
The number 2 argument of desires is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 70917091 
The number 2 argument of disapproves is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 70617061 
The number 2 argument of doubts is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 735735 
The number 1 argument of entails is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 736736 
The number 2 argument of entails is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 70227022 
The number 2 argument of expects is an instance of formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 38233823 
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 38393839 
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 