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 1521815234 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 1741317419 

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