modalAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3857-3861 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17304-17310 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17302-17302 | 语气属性 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17303-17303 | 语气属性 的 2 数量 是 规范属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17298-17298 | 语气属性 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17297-17297 | 语气属性 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17299-17299 | 语气属性 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17300-17300 | 语气属性 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17301-17301 | 语气属性 是 特性 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 590-590 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 594-594 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 353-353 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 192-192 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2100-2100 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 305-305 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 775-775 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 230-230 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 375-375 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 393-393 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38199-38199 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 591-591 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38198-38198 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38197-38197 |
antecedent |
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. | Merge.kif 17416-17418 | 公式 的声明 has 必要性 的语气 若且唯若 那个 公式 的声明 doesn't have 可能性 的语气 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17479-17481 | 公式 的声明 has 义务 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17515-17517 | 公式 的声明 has 禁令 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 772-795 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 44-59 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17312-17316 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13814-13819 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17529-17531 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17420-17422 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17483-17485 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17318-17320 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17537-17539 |
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. | Merge.kif 17416-17418 | 公式 的声明 has 必要性 的语气 若且唯若 那个 公式 的声明 doesn't have 可能性 的语气 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17479-17481 | 公式 的声明 has 义务 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17515-17517 | 公式 的声明 has 禁令 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14079-14089 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 316-322 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6231-6244 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29458-29463 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29431-29435 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5824-5834 | |
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. | Medicine.kif 3984-4004 |
|
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. | Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25748-25761 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26159-26171 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-172 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18446-18451 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13536-13545 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13547-13558 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13486-13497 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13566-13575 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13577-13586 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18429-18434 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
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 法 的语气 |