| Law(法)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3909-3910 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17489-17492 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2591-2591 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2482-2482 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2592-2592 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2590-2590 | |
| 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. | Merge.kif 17487-17487 | 法 是 义务 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3170-3170 | AmericansWithDisabilitiesAct-US 的声明 has 法 的语气 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2407-2407 | 反恐怖主义和有效的死刑法 的声明 has 法 的语气 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2405-2405 | 移民和国籍法- section219-US 的声明 has 法 的语气 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2402-2402 | 移民和国籍行为 的声明 has 法 的语气 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13835-13835 | 国际法 是 法 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33539-33539 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33538-33538 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33537-33537 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13814-13819 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13850-13857 | 公式 的声明 has 合法 的语气 若且唯若 不存在 另一个 公式 这样 那个 另外 公式 的声明 has 法 的语气 和 那个 另外 公式 不 是 那个 公式 的 consistent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 875-879 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 995-1000 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13826-13832 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16227-16239 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13862-13869 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 871-873 |
|
|
|