property |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1712-1713 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1711-1713 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 315-317 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1708-1708 | 特性 的 1 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1709-1709 | 特性 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1707-1707 | 特性 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 177-177 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 178-178 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 108-108 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 235-235 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1937-1937 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 60-60 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 72-72 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 223-223 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 273-273 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 127-127 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 113-113 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 427-427 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1617-1617 | 抽象层次 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | 属于 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1514-1514 | 复杂 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1373-1373 | 设计模式 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 459-459 | 环境属性 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1470-1470 | 适应形式 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1731-1731 | 形式 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17301-17301 | 语气属性 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25575-25575 | shape 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 796-796 | 状态 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1553-1553 | 严格 是 特性 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1342-1342 | 系统行为 是 特性 的 subrelation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2680-2690 | 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 476-484 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2056-2060 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 343-347 | |
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. | Weather.kif 2090-2094 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2754-2766 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2768-2780 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2443-2457 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2365-2384 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22248-22252 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 241-246 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1165-1169 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1159-1163 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1137-1141 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1131-1135 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 403-409 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 453-458 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 427-433 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 435-441 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2359-2363 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2191-2205 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2096-2114 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 484-496 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 349-366 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3260-3266 | 协议 employs 另一个 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事 有 雇用 的 attribute 和 那个 协议 是 那个 有认知的主事 的 party 协议 和 那个 另外 协议 是 那个 有认知的主事 的 party 协议 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 989-992 | 有存在 电脑程序 这样 电脑程序 是 那个 电脑程序 的执行 program 若且唯若 那个 电脑程序 有 可执行 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 411-413 | 实体 是 宽轨铁路 的 instance 若且唯若 那个 实体 有 宽规 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 469-471 | 实体 是 DualGaugeRailway 的 instance 若且唯若 那个 实体 有 双轨铁路 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 460-462 | 实体 是 窄轨铁路 的 instance 若且唯若 那个 实体 有 窄规 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 443-445 | 实体 是 标准轨距铁路 的 instance 若且唯若 那个 实体 有 标准规 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14055-14058 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14016-14021 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17332-17345 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 476-484 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1162-1171 | |
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. | QoSontology.kif 1165-1169 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1159-1163 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1137-1141 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1131-1135 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 501-517 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2712-2716 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2130-2143 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20823-20836 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1214-1218 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 267-272 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 260-265 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 326-331 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 63-67 | |
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. | Mid-level-ontology.kif 30567-30567 | Cheetah 有 VulnerableSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30543-30543 | Crocodile 有 LeastConcernSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30584-30584 | Ferret 有 LeastConcernSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30602-30602 | GuineaPig 有 LeastConcernSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30614-30614 | Hamster 有 LeastConcernSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30473-30473 | Lemur 有 CriticallyEndangeredSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30374-30374 | Lion 有 VulnerableSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30503-30503 | Octopus 有 LeastConcernSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30490-30490 | Panda 有 VulnerableSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30456-30456 | Parrot 有 LeastConcernSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30525-30525 | 驯鹿 有 VulnerableSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30433-30433 | Rhinoceros 有 濒危物种 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30413-30413 | Tiger 有 濒危物种 的 attribute |