No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1382213829 
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 1738617388 
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 1744917451 
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 1748517487 
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 1405114061 

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 62036216 

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

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

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 2568025693 

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

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 1841618421 

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 