| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 383-383 |
AuthorizationOfTransaction est une sous-classe de processus de r�gulation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13930-13930 |
LawEnforcement est une sous-classe de processus de r�gulation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 860-860 |
Punishing est une sous-classe de processus de r�gulation |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1105-1105 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1427-1427 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 783-783 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 315-315 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 318-318 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2467-2467 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 735-735 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 354-354 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 804-804 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 319-319 |
|
