No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1385013857 
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 1741617418 
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 1747917481 
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 1751517517 
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 1407914089 

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 62316244 

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

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

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 2574825761 

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

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 1844618451 

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 