No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1387713884 
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 1748717489 
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 1755017552 
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 1758617588 
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 1410614116 

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

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

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

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

No TPTP formula. May not be expressible in strict first order. 
Medicine.kif 58245834 

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. 
Medicine.kif 39844004 

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 2578125794 

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

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

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 1852518530 

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 