No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1148511492 
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 1620716209 
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 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 1171311723 

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 2763627641 

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

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 2370223715 

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

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 1706617071 

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

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 