| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13838-13838 |
非法 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13833-13833 |
国际法 是 道义属性 的 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. |
Mid-level-ontology.kif 13844-13844 |
合法 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13809-13809 |
立法法案 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17497-17497 |
义务 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17493-17493 |
允许 是 道义属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17532-17532 |
禁令 是 道义属性 的 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