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 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17303-17303 | 域 模態屬性, 2 and NormativeAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17298-17298 | 例 模態屬性 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17297-17297 | 例 模態屬性 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17299-17299 | 例 模態屬性 and IrreflexiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17300-17300 | 例 模態屬性 and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17301-17301 | 子關係 模態屬性 and 屬性 |
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 | 模態屬性 Formula and 合法 Formula 模態屬性 Formula and 法 Formula 是 Formula 的 consistent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17416-17418 | 模態屬性 Formula and 必要性 模態屬性 Formula and 可能性 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17479-17481 | 模態屬性 Formula and 義務 模態屬性 Formula and 允許 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17515-17517 | 模態屬性 Formula and 禁令 模態屬性 Formula and 允許 |
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 | 模態屬性 Formula and 合法 Formula 模態屬性 Formula and 法 Formula 是 Formula 的 consistent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17416-17418 | 模態屬性 Formula and 必要性 模態屬性 Formula and 可能性 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17479-17481 | 模態屬性 Formula and 義務 模態屬性 Formula and 允許 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17515-17517 | 模態屬性 Formula and 禁令 模態屬性 Formula and 允許 |
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 and 法 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2407-2407 | 模態屬性 反恐怖主義和有效的死刑法 and 法 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2405-2405 | 模態屬性 移民和國籍法- section219-US and 法 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2402-2402 | 模態屬性 移民和國籍行為 and 法 |