No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13838-13838 |
例 非法 and DeonticAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13833-13833 |
例 國際法 and DeonticAttribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17510-17510 |
例 法 and DeonticAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13844-13844 |
例 合法 and DeonticAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13809-13809 |
例 立法法案 and DeonticAttribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17497-17497 |
例 義務 and DeonticAttribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17493-17493 |
例 允許 and DeonticAttribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17532-17532 |
例 禁令 and DeonticAttribute |
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 |
|