No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1145411461 
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 1780917811 
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 1788817890 
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 1793017932 
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 1168211692 

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

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

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

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 11581175 

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

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

No TPTP formula. May not be expressible in strict first order. 
TransportDetail.kif 151169 

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

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

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

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 