![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3907-3908 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17498-17499 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17497-17497 | 义务 是 道义属性 的 instance |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17509-17509 | 法 是 义务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17516-17516 | 诺言 是 义务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41548-41548 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41547-41547 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41546-41546 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17501-17503 | 公式 的声明 has 义务 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14078-14088 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 339-341 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17505-17507 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 134-143 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13210-13214 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 311-324 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 513-526 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 347-349 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 492-505 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 653-661 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14116-14120 |
![]() |
![]() |