No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1632216324 
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 1635816360 
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 1637916395 

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

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

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

No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 25732582 

No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 25242533 

No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 25402549 

No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 24592475 

No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 25082517 

No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 25572566 

No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 24362452 

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

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

No TPTP formula. May not be expressible in strict first order. 
naics.kif 1137911391 

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

No TPTP formula. May not be expressible in strict first order. 
Law.kif 382384 

No TPTP formula. May not be expressible in strict first order. 
Law.kif 378380 

No TPTP formula. May not be expressible in strict first order. 
Law.kif 394396 

No TPTP formula. May not be expressible in strict first order. 
Government.kif 650658 

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

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

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