No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1151211519 
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 1619016192 
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 1625316255 
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 1628916291 
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 1174011750 

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 2766327668 

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

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 2372923742 

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

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 1704917054 

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

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

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

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

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

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

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 1117011181 

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 