No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1317613183 
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 1672416726 
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 1678716789 
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 1682316825 
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 1340513415 

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 58845897 

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

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

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 2497024983 

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

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 1772917734 

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 