No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13839-13839 |
Illegal is an instance of deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13834-13834 |
International law is an instance of deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17488-17488 |
Law is an instance of deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13845-13845 |
Legal is an instance of deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13810-13810 |
Legislative bill is an instance of deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17475-17475 |
Obligation is an instance of deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17471-17471 |
Permission is an instance of deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17510-17510 |
Prohibition is an instance of deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1246-1246 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1713-1713 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 924-924 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 458-458 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 461-461 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2608-2608 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 876-876 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 497-497 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 945-945 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 462-462 |
|