No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1063110638 
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 1625916261 
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 1632216324 
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 1635816360 
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 1086010870 

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 2567025675 

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

No TPTP formula. May not be expressible in strict first order. 
ArabicCulture.kif 193212 

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 11601177 

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

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

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 502518 

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

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

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 