No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1148711494 
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 1624416246 
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 1630716309 
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 1634316345 
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 1171511725 

No TPTP formula. May not be expressible in strict first order. 
Music.kif 313319 

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

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

No TPTP formula. May not be expressible in strict first order. 
ArabicCulture.kif 193210 

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 11541171 

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

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

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 498514 

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

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

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 