No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1369613703 
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 1727017272 
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 1733317335 
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 1736917371 
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 1392513935 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 