No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1331613323 
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 1715617158 
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 1721917221 
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 1725517257 
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 1354513555 

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

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

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

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

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 2511525128 

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

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 1817218177 

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 