| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13839-13839 |
非法 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13834-13834 |
国际法 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17488-17488 |
法 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13845-13845 |
合法 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13810-13810 |
立法法案 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17475-17475 |
义务 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17471-17471 |
允许 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17510-17510 |
禁令 是 道义属性 的 instance |
| 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 |
|
DeonticAttribute