No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1627016272 
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 1630616308 
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 1637416390 

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

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

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

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

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

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

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

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

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

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

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

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

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 1416814180 

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 1627416276 

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

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