No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2515-2515 |
Ally est une instance de deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13866-13866 |
Illegal est une instance de deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13861-13861 |
InternationalLaw est une instance de deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17559-17559 |
Law est une instance de deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13872-13872 |
Legal est une instance de deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13837-13837 |
LegislativeBill est une instance de deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17546-17546 |
Obligation est une instance de deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17542-17542 |
Permission est une instance de deontic attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17581-17581 |
Prohibition est une instance de 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 |
|