No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1119411201 
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 1767117673 
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 1775017752 
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 1779217794 
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 1142211432 

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

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

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

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 2322323236 

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

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 1869318698 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 213222 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 223234 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 168176 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 242251 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 253262 

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

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 184193 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 194205 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 151159 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 