No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1209112098 
The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1660716609 
The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1667016672 
The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1670616708 
The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1232012330 

No TPTP formula. May not be expressible in strict first order. 
Music.kif 313319 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 56515664 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2741627421 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2738927393 

No TPTP formula. May not be expressible in strict first order. 
ArabicCulture.kif 193212 

No TPTP formula. May not be expressible in strict first order. 
ArabicCulture.kif 125134 

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 11601177 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2370823721 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2411824130 

No TPTP formula. May not be expressible in strict first order. 
TransportDetail.kif 153171 

No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 502518 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1758917594 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1178811797 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1179911810 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1173811748 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1181811827 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1182911838 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1757317578 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1175711766 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1176811779 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 