No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 383-383 |
Authorization of transaction is a subclass of regulatory process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13903-13903 |
Law enforcement is a subclass of regulatory process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 867-867 |
Punishing is a subclass of regulatory process |
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 |
|