No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1747917481 
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 1751517517 
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 1867918695 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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