No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1146011467 
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 1618016182 
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 1624316245 
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 1627916281 
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 1168811698 

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 2761127616 

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

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 2367723690 

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

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 1703917044 

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

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 